Summary
International Technical Conference on Circuits/Systems, Computers and Communications
2016
Session Number:M3-1
Session:
Number:M3-1-1
A Study on Synthesizing State Machines from Multiple Communication Diagrams
Toshiki Kinoshita, Toshiyuki Miyamoto ,
pp.269-272
Publication Date:2016/7/10
Online ISSN:2188-5079
Summary:
For a service-oriented architecture based system, the problem of synthesizing a concrete model for each service configuring the system from an abstract specification, which is referred to as choreography, is known as the choreography realization problem. In this paper, we assume that choreography is given by two acyclic relations. We study the conditions for acyclic relations to synthesize concrete models.