並行システムの仕様の時区間表現を含むモデル表現とその設計、生成への応用

• Item type: SIG Technical Reports(1)
• 公開日: 1992-12-14
• タイトル: 並行システムの仕様の時区間表現を含むモデル表現とその設計、生成への応用
• タイトル / 言語: en
• タイトル: MODEL REPRESENTATION OF CONCURRENT SYSTEM SPECIFICATIONS WITH TIME INTERVAL REPRESENTATION AND ITS APPLICATIONS TO DESIGN AND GENERATION OF PROGRAMS
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 電子技術総合研究所
• 著者所属(英): en
• 著者所属(英): Electro Technical Laboratory
• 著者名: 間野, 暢興
• 著者名(英): Nobuoki, Mano
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では、並行システムの仕様を記述するオブジェクト指向のモデルとして、プロセスと事象をベースとした時区間表現を用いるモデルを提案する．時区間表現を用いることは次に述べる事柄を容易するメリットがある : （） 時間の流れ図によるプロセスどうしの交信と大局的状態の変化の表示、（） 時区間どうしの関係 (ring、overlapsなど） の使用による問題の仕様の記述、（） 時区間どうしの関係の、推移関係や継承の処理、メソッドの付加、それらの設計への応用、（） 設計において問題仕様と部品仕様の間を埋めるための知識の活用．時区間表現の有効性を示すために、並行システムにおける仕様記述への使用例について説明する．さらに、設計およびプログラム生成への時区間の応用として、時間の流れ図の融合、その他について述べる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, I propose a model using representation of time interval based on the concepts of processes and events, as an object-oriented model for describing the specifications of concurrent systems. Time interval representation brings us the merits of making the following easy : (1) displaying the communication sequence between processes and the changing process of global states by time-flow diagrams, (2) describing specifications of problems by using the relationships between time intervals such as 'during' and 'overlaps', (3) processing the transitivity and inheritance between the relation ships between time intervals, attachment of methods to these relationships, and application of them to program design, (4) use of knowledge to fill the gap between the specifications of problems and those of program-parts. To show the effectiveness of time-interval representation, I will explain about some examples describing specifications in concurrent systems. Further I will describe some applications of the representation of time interval to system design and program generation : merging some time-flow diagrams into a single diagram, and so on.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 1992, 号 100(1992-SE-089), p. 17-24, 発行日 1992-12-14
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会