- バックアップ一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- CSCB(Eng) へ行く。
- 1 (2014-04-14 (月) 11:35:02)
- 2 (2014-04-14 (月) 11:58:33)
- 3 (2014-06-04 (水) 13:36:51)
- 4 (2014-06-05 (木) 16:56:46)
CSCB Tools †
 |
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).
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.
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], we propose a method for converting a communication diagram into a set of state machines.
References:
[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.1171-1180, 2014.
Developed Environment †
- CSCB Tools is a plugin for Rational Software Architect by IBM.
(People in at accredited institutions can use the RSA without charge by registering as a member of IBM Academic Initiative. - Implemented:
Download †
- You can download jar file from here.
Install †
- Put the jar file in plugins folder of RSA.
