講演名 | 2001/1/15 動作定義と外部イベント集合からの並列プロセス自動生成法 喜家村 奨, 高田 喜朗, 関 浩之, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 並列処理システムの要求仕様から実装レベル仕様を自動生成する一手法を提案する.仕様は, プロセスと環境間のインタフェイス情報と, 各成分プロセスの動作定義からなると考えられる.インタフェイス情報とは, 成分プロセスの総数および各成分プロセスごとにその入出力イベントの集合(アルファベット)を定めたものである.一方, プロセスの動作定義は遷移システム(LTS)で与えるものとする.本稿では, 要求仕様, および実装レベル仕様におけるインタフェイス情報が与えられたとき, 各実装プロセスの動作定義を与えるLTSを自動生成する方法を提案する.また, 要求仕様と生成された実装レベル仕様の動作の等価性を証明する.更に, 実装レベル仕様において, プロセス間の同期のための内部メッセージ数および各成分プロセスの状態数を減らす手法についても考察する. |
抄録(英) | A method of generating an implementation level specification (abberviated as an implementation) of a parallel system is proposed. We consider a specification consists of an interface condition and a behavior definition. For each component process, an interface condition specifies the set of events which the process should participate in. A behavior definition of a component process is given by a labeled transition system (LTS). In this paper, for a given automatically generating a behavior definition (LTS) of an implementation is proposed. The behavioral equivalence (weak bisimulation) between a requirements specification and the generated implementation is also proved. Furthermore, a method of decreasign the number of internal messages in the implementation as well as decreasing thenumber of process states is presented. |
キーワード(和) | 並列システム / 遷移システム(LTS) / 要求仕様 / 実装レベル仕様 / 双模倣等価 |
キーワード(英) | Parallel System / Labeled Transition System (LTS) / Requirements Specification / Implementation Level Specification / Bisimulation |
資料番号 | SS2000-39 |
発行日 |
研究会情報 | |
研究会 | SS |
---|---|
開催期間 | 2001/1/15(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Software Science (SS) |
---|---|
本文の言語 | JPN |
タイトル(和) | 動作定義と外部イベント集合からの並列プロセス自動生成法 |
サブタイトル(和) | |
タイトル(英) | An Automatic Generation of Parallel Processes from a Behavior Definition and Event Sets |
サブタイトル(和) | |
キーワード(1)(和/英) | 並列システム / Parallel System |
キーワード(2)(和/英) | 遷移システム(LTS) / Labeled Transition System (LTS) |
キーワード(3)(和/英) | 要求仕様 / Requirements Specification |
キーワード(4)(和/英) | 実装レベル仕様 / Implementation Level Specification |
キーワード(5)(和/英) | 双模倣等価 / Bisimulation |
第 1 著者 氏名(和/英) | 喜家村 奨 / Susumu Kiyamura |
第 1 著者 所属(和/英) | 奈良先端科学技術大学院大学 情報科学研究科 Graduate School of Information Science, Nara Institute of Science and Technology |
第 2 著者 氏名(和/英) | 高田 喜朗 / Yoshiaki Takata |
第 2 著者 所属(和/英) | 奈良先端科学技術大学院大学 情報科学研究科 Graduate School of Information Science, Nara Institute of Science and Technology |
第 3 著者 氏名(和/英) | 関 浩之 / Hiroyuki Seki |
第 3 著者 所属(和/英) | 奈良先端科学技術大学院大学 情報科学研究科 Graduate School of Information Science, Nara Institute of Science and Technology |
発表年月日 | 2001/1/15 |
資料番号 | SS2000-39 |
巻番号(vol) | vol.100 |
号番号(no) | 569 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |