2024-03-28T21:09:30Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001842412023-04-27T10:00:04Z01164:02592:09018:09281
2つのコミュニケーション図からの状態機械合成アルゴリズムの構築と実装Development and Implementation of an Algorithm to Synthesize State Machines from Two Communication Diagramsjpnhttp://id.nii.ac.jp/1001/00184153/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=184241&item_no=1&attribute_id=1&file_no=1Copyright (c) 2017 by the Institute of Electronics, Information and Communication Engineers This SIG report is only available to those in membership of the SIG.大阪大学大学院工学研究科大阪大学大学院工学研究科冨永, 一矢木下, 聖基宮本, 俊幸サービス指向アーキテクチャにおいて, コレオグラフィと呼ばれるシステムの抽象的な仕様から具体的な振る舞いモデルを合成する問題はコレオグラフィ実現問題と呼ばれる.我々はコレオグラフィ実現問題に対する手法として CSCB 法を提案し,ツール (CSCB Tools) を開発している. しかし,これまでの CSCB Tools はコレオグラフイが 1 つのシナリオによって与えられる場合にしか対応していなかった.本論文では,コレオグラフイが 2 つのシナリオで与えられる場合に対応したアルゴリズムを提案する.また,提案アルゴリズムを CSCB Tools に実装したので,これを報告する.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.AN1009593X研究報告アルゴリズム(AL)2017-AL-16526162017-11-092188-85662017-11-08