Generating Event Structure from Set of Acyclic Relations in Choreography Realization
Toshiyuki Miyamoto, Hiroki AKAMATSU · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences · 2024
Service-Oriented Architecture (SOA) is an information system architecture. In SOA, the problem of synthesizing the concrete model from an abstract specification is known as the Choreography Realization Problem (CRP). So far, we proposed to use event structures as a modeling formalism; we studied conflict reduction of event structures to check the realizability of a choreography. In this paper, we study the method to generate event structure from choreography.