サービスインタラクションの解決のためのサービス仕様からのプロトコル仕様の合成

• Item type: SIG Technical Reports(1)
• 公開日: 1993-03-11
• タイトル: サービスインタラクションの解決のためのサービス仕様からのプロトコル仕様の合成
• タイトル / 言語: en
• タイトル: Synthesis of Protocol Specifications from Service Specifications for Solving Service Interactions
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 大阪大学基礎工学部情報工学科
• 著者所属: 大阪大学基礎工学部情報工学科
• 著者所属: 大阪大学基礎工学部情報工学科
• 著者所属: 大阪大学基礎工学部情報工学科
• 著者所属(英): en
• 著者所属(英): Dept. of Information and Computer Sciences Faculty of Engineering Science, Osaka University
• 著者所属(英): en
• 著者所属(英): Dept. of Information and Computer Sciences Faculty of Engineering Science, Osaka University
• 著者所属(英): en
• 著者所属(英): Dept. of Information and Computer Sciences Faculty of Engineering Science, Osaka University
• 著者所属(英): en
• 著者所属(英): Dept. of Information and Computer Sciences Faculty of Engineering Science, Osaka University
• 著者名: 浅田, 宏幸; 五十嵐, 裕孝; 角田, 良明; 菊野, 亨
• 著者名(英): Hiroyuki, Asada; Hirotaka, Igarashi; Yoshiaki, Kakuda; Tohru, Kikuno
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では，全ての通信サービスは同時に開発されるのではなく，順次開発されていくことに着目する．そして，サービス仕様の段階でサービスインタラクションを除去するのではなく，プロトコル仕様の段階でサービスインタラクシションを解決する方法を提案する．提案する方法では，（）サービス仕様をSTR手法で記述し，（）そのサービス仕様からプリミティブ実行系列を生成し，（）実行系列からプロトコル合成法を応用してプロトコル仕様を得る．（）最後に，サービスインタラクションを解決するための条件分岐機能を挿入する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper proposes a method for solving the service interactions in the protocol specifications. The procedures of the proposed method consist of (1) service specifications are described by the STR (State Transition Rules) method, (2) execution sequences of service primitives are generated from the service specifications, (3) protocol specifications are derived from the execution sequences of service primitives using the protocol synthesis method, and (4) Conditional branch functions for solving the service interactions are insterted into the protocol specifications.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10096105
• 書誌情報: 情報処理学会研究報告計算機アーキテクチャ（ARC）; 巻 1993, 号 20(1992-ARC-099), p. 109-116, 発行日 1993-03-11
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会