2つのコミュニケーション図からの状態機械合成アルゴリズムの構築と実装

• Item type: SIG Technical Reports(1)
• 公開日: 2017-11-09
• タイトル: 2つのコミュニケーション図からの状態機械合成アルゴリズムの構築と実装
• タイトル / 言語: en
• タイトル: Development and Implementation of an Algorithm to Synthesize State Machines from Two Communication Diagrams
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 大阪大学大学院工学研究科
• 著者所属: 大阪大学大学院工学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Engineering, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Engineering, Osaka University
• 著者名: 冨永, 一矢; 木下, 聖基; 宮本, 俊幸
• 著者名(英): Kazuya, Tominaga; Toshiki, Kinoshita; Toshiyuki, Miyamoto
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: サービス指向アーキテクチャにおいて， コレオグラフィと呼ばれるシステムの抽象的な仕様から具体的な振る舞いモデルを合成する問題はコレオグラフィ実現問題と呼ばれる．我々はコレオグラフィ実現問題に対する手法として CSCB 法を提案し，ツール (CSCB Tools) を開発している． しかし，これまでの CSCB Tools はコレオグラフイが 1 つのシナリオによって与えられる場合にしか対応していなかった．本論文では，コレオグラフイが 2 つのシナリオで与えられる場合に対応したアルゴリズムを提案する．また，提案アルゴリズムを CSCB Tools に実装したので，これを報告する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model, for each service configuring the system from an abstract specification, which is reffered to as choreography, is known as the choreography realization problem. We have proposed CSCB Method for choreography realization problem and developed CSCB Tools. However, CSCB tools support only if choreography is defined by one scenario so far. In this paper, we propose an algorithm supporting choreography defined by two scenarios. We also report the implementation of the proposed algorithm in the CSCB Tools.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN1009593X
• 書誌情報: 研究報告アルゴリズム（AL）; 巻 2017-AL-165, 号 26, p. 1-6, 発行日 2017-11-09
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8566
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会