文脈自由プロセスに対するプロトコル合成の一手法

• Item type: SIG Technical Reports(1)
• 公開日: 1999-01-21
• タイトル: 文脈自由プロセスに対するプロトコル合成の一手法
• タイトル / 言語: en
• タイトル: A Protocol Synthesis Method for Context - Free Processes
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 広島市立大学情報科学部情報数理学科
• 著者所属: 大阪大学大学院基礎工学研究科情報数理系専攻
• 著者所属: 大阪大学大学院基礎工学研究科情報数理系専攻
• 著者所属(英): en
• 著者所属(英): Dept. of Computer Science, Faculty of Information Sciences, Hiroshima City University
• 著者所属(英): en
• 著者所属(英): Dept. Information and Computer Sciences, Faculty of Engineering Science, Osaka University
• 著者所属(英): en
• 著者所属(英): Dept. Information and Computer Sciences, Faculty of Engineering Science, Osaka University
• 著者名: 中田, 明夫; 東野, 輝夫; 谷口, 健一
• 著者名(英): Akio, Nakata; Teruo, Higashino; Kenichi, Taniguchi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では文脈自由プロセスのクラスで記述された分散システムのサービス仕様からプロトコル仕様を合成する一手法を提案する．文脈自由プロセスとはISOによって標準化された分散システムの形式仕様記述言語LOTOSの部分クラスの一つで，プロセス定義式が文脈自由文法の形式をしているものを指す．まず，文脈自由プロセスで記述されたサービス仕様に記述されたすべてのイベントに対してイベントIDと呼ぶ一意の名前を割り振る．イベントIDは文脈自由プロセスの記述の構文木から機械的に導出される有限長の記号列である．次に，文脈自由プロセスの各部分プロセスが最初および最後に実行可能なイベントのIDの集合が正規言語であることを示し，各イベントの実行順序の関係（イベント構造）を正規表現を用いて有限的に表現できることを示す．最後に，得られたイベント構造の有限表現を用いて，与えられた文脈自由プロセスのクラスのサービス仕様からプロトコル仕様を合成する方法を与える．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we propose a protocol synthesis method for the class of context-free processes. First, we assign a unique name called an event ID to every executable event in a given service specification written in context-free processes. The event ID is a finite sequence of symbols derived from the context-free process. Then we show that the sets of the first and last executable events in each subprocess can be expressed by regular expressions on the symbols, and that the partial order of events (called event structures) can be finitely represented by a set of relations among the regular expressions. Finally, we present a method to derive a protocol specification which implements a given service specification on distributed nodes, by using the obtained finite representation of event structures.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10116224
• 書誌情報: 情報処理学会研究報告マルチメディア通信と分散処理（DPS）; 巻 1999, 号 4(1998-DPS-091), p. 103-108, 発行日 1999-01-21
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会