CSCB tools: Tool for supporting the design of systems based on SOA

A service-oriented architecture builds the entire system using a combination of independent software components. The problem of synthesizing service implementation models from choreography representing the overall specifications of service interaction is known as the choreography realization problem. We proposed a semi-formal method, which is called CSCB method, for synthesizing hierarchical state machine models for the choreography realization problem. This paper shows a prototype tool that has been implemented as a plug-in of Rational Software Architect.