- 追加された行はこの色です。
- 削除された行はこの色です。
#menu(Menu)
RIGHT:[[Japanese>CSCB]]
* CSCB Tools [#ke7d1029]
#ref(cscb_e.png,right,wrap,around,70%)
CSCB(Construct State machine Cutting Bridges method) Toolsは，SOA(Service Oriented Architecture)に基づくシステムの設計・開発・検証をサポートするためのシステムとして，当研究室で開発しているソフトウェアです．
CSCB (Construct State machine Cutting Bridges method) Tools are developed in this laboratory for supporting the design, development, and verification of a system based on SOA (Service Oriented Architecture).
SOAとはサービスの連携により全体システムを構築するという考え方です．
全体を俯瞰してサービスがどのように連携するのかを記述したものをコレオグラフィとよびます．
これに対して，個々のサービスがどのように振る舞うのかを記述したものをサービス実装とよびます．
コレオグラフィからサービス実装を求める問題はコレオグラフィ実現問題として知られています．
また，サービス実装がコレオグラフィを満足するのかを調べる問題はコレオグラフィ一致問題として知られています．
In SOA, an information system is built by
composing independent software units called services.
The problem of synthesizing a concrete model
from an abstract specification is known as the choreography realization problem (CRP). The abstract specification,
called choreography; the concrete model
is called service implementation, which defines the behavior of the service.
我々は，コレオグラフィ実現問題に関するソフトウェアツールとしてCSCB Toolsを開発しています．
コレオグラフィやサービス実装を記述するためのUMLサブセットとしてcbUMLを提案しています．
cbUMLでは，コレオグラフィはコミュニケーション図を用いて記述されます．
また，サービス実装は状態機械を用いて記述されます．
文献[1]では，コレオグラフィから状態機械を自動合成するアルゴリズムを提案しています．
現時点では自動合成機能しか実装していませんが，今後機能を追加していく予定です．
We develops a software tool, which is called CSCB Tools, on the CRP.
We proposed a subset of UML, which is called cbUML, to describe choreography and service implementations.
In cbUML, a choreography is represented by a communication diagram; a service implementation is represented by a state machine.
In [[[1]>http://dx.doi.org/10.1587/transinf.E97.D.1171]], we propose a method for converting a communication diagram into a set of state machines.
文献：
[1] An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets
Toshiyuki Miyamoto, Yasuwa Hasegawa, and Hiroyuki Oimura
IEICE Trans. Inf. & Syst., Vol.E97-D, No.5, pp.-, 2014.
References:
:[[[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.
** CSCB Toolsの動作環境 [#qdd61db7]
- IBM社のRational Software Architectのプラグインとして開発しています．&br;(認定された期間であれば[[IBMアカデミック・イニシアティブ>http://www.ibm.com/developerworks/jp/university/academicinitiative/]]に登録することにより無償で利用できます．)
- 実装済みの機能：
--コミュニケーション図から状態機械の合成
** Developed Environment [#x23850ec]
- CSCB Tools is a plugin for Rational Software Architect by IBM.
&br;(People in at accredited institutions can use the RSA without charge by registering as a member of [[IBM Academic Initiative>http://www.ibm.com/developerworks/jp/university/academicinitiative/]].
- Implemented:
--[[Synthesizing state machine from communication diagram>Synthesis(Eng)]]
** Download [#n163fdee]
** CSCB Toolsのダウンロード [#o3167fd9]
- You can download jar file from [[here>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.1.0.jar]]よりダウンロードすることが出来ます．
** Install [#xa22fc33]
- Put the jar file in ''plugins'' folder of RSA.
** Instruction [#lde01dc6]
- Synthesizing state machine from communication diagram
-- [[Example1(asynchronous communications)>Synthesis(Eng)]]
-- [[Example2(synchronous and asynchronous communications)>Synthesis2(Eng)]]
