Realizability of Choreography Given by Two Scenarios

Toshiki KINOSHITA  Toshiyuki MIYAMOTO  

IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E101-A   No.2   pp.345-356
Publication Date: 2018/02/01
Online ISSN: 1745-1337
DOI: 10.1587/transfun.E101.A.345
Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
SOA,  model-based development,  communication diagram,  state machine,  choreography realization problem,  

Full Text: PDF(1.3MB)
>>Buy this Article

For a service-oriented architecture-based system, the problem of synthesizing a concrete model (i.e., behavioral model) for each peer configuring the system from an abstract specification-which is referred to as choreography-is known as the choreography realization problem. A flow of interaction of peers is called a scenario. In our previous study, we showed conditions and an algorithm to synthesize concrete models when choreography is given by one scenario. In this paper, we extend the study for choreography given by two scenarios. We show necessary and sufficient conditions on the realizability of choreography under both cases where there exist conflicts between scenarios and no conflicts exist.