Japanese

CSCB Tools †

cscb_e.png

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 have proposed 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.-, 2014.
↑

Developed Environment †

↑

Download †

トップ   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS