Generating Event Structure from Set of Acyclic Relations in Choreography Realization

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.