Work

Generating Event Structure from Set of Acyclic Relations in Choreography Realization

Year: 2024

Type: article

Abstract: 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.

Source: IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences

DOI: 10.1587/transfun.2024map0004

Authors: Toshiyuki MIYAMOTO, Hiroki AKAMATSU

Institutions: Osaka Institute of Technology, The University of Osaka

Language: English

Topic: Service-Oriented Architecture and Web Services

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Japan Society for the Promotion of Science

Award: Automatic Synthesis of Behavior Models for Multiple Scenarios Based on Reconstructible Decomposition of Event Structures