RIGHT:[[English>CSCB(Eng)]] * CSCB Tools [#ke7d1029] #ref(cscb_j.png,right,wrap,around,70%) CSCB(Construct State machine Cutting Bridges method) Toolsは，SOA(Service Oriented Architecture)に基づくシステムの設計・開発・検証をサポートすることを目的として，当研究室で開発しているソフトウェアです． SOAとはサービスの連携により全体システムを構築するという考え方です． 全体を俯瞰してサービスがどのように連携するのかを記述したものをコレオグラフィとよびます． これに対して，個々のサービスがどのように振る舞うのかを記述したものをサービス実装とよびます． コレオグラフィからサービス実装を求める問題はコレオグラフィ実現問題として知られています． また，サービス実装がコレオグラフィを満足するのかを調べる問題はコレオグラフィ一致問題として知られています． 我々は，コレオグラフィ実現問題に関するソフトウェアツールとしてCSCB Toolsを開発しています． コレオグラフィやサービス実装を記述するためのUMLサブセットとしてcbUMLを提案しています． cbUMLでは，コレオグラフィはコミュニケーション図を用いて記述されます． また，サービス実装は状態機械を用いて記述されます． 文献[[[1]>http://dx.doi.org/10.1587/transinf.E97.D.1171]]では，コレオグラフィから状態機械を自動合成するアルゴリズムを提案しています． 現時点では自動合成機能しか実装していませんが，今後機能を追加していく予定です． 文献： :[[[1]>http://dx.doi.org/10.1587/transinf.E97.D.1171]]|Toshiyuki Miyamoto, Yasuwa Hasegawa, and Hiroyuki Oimura, ``An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets,'' IEICE Trans. Inf. & Syst., Vol.E97-D, No.5, pp.1171-1180, 2014. ** 動作環境 [#qdd61db7] - IBM社のRational Software Architectのプラグインとして開発しています．&br;(認定された機関であれば[[IBMアカデミック・イニシアティブ>http://www.ibm.com/developerworks/jp/university/academicinitiative/]]に登録することにより無償で利用できます．) - 実装済みの機能： --コミュニケーション図から状態機械の合成 ** ダウンロード [#o3167fd9] - [[こちらより>http://is.eei.eng.osaka-u.ac.jp/miyamoto/CSCBTools/jp.ac.osaka-u.eng.eei.cscb_0.1.0.jar]]よりダウンロードできます． - [[こちらより>http://is.eei.eng.osaka-u.ac.jp/miyamoto/CSCBTools/jp.ac.osaka-u.eng.eei.cscb_0.2.0.201601131641.jar]]よりダウンロードできます． ** インストール [#j6f7ec86] - RSAのインストール先下の pluginsフォルダにファイルを入れて下さい． ** 使い方 [#j1d2dc68] - コミュニケーション図から状態機械の合成 --[[例１(全て非同期通信の場合)>Synthesis(Jpn)]] --[[例２(同期通信が含まれる場合)>Synthesis2(Jpn)]]