@inproceedings{2cbd75b34fb648b69037adacf3893f7d,
title = "Modeling Interaction-Oriented Architectures using Choreographies",
abstract = "The Software architecture of a system can be regarded as a consistent set of views to describe the system. This paper focuses on the interaction between components in a system. These can be modeled as choreographies, capturing all allowed interactions between the components. In this paper, we show that it is feasible to analyze a composed set of these choreographies: a tree of choreographies in which each member may refer to another. The two major components of the analysis are correctness by structure: a choreography needs to follow strict rules to guarantee soundness. Otherwise, the choreography is transformed into a Petri net which is checked by an external tool. This paper shows the theoretical techniques to verify a composed choreography, and implements the solutions into a single educational modeler tool: INORA2.",
keywords = "Petri nets, Software architecture, Model-checking, Choreographies, BPMN",
author = "Kyle Dingenouts and Mitchell Klijs and {van der Werf}, {Jan Martijn}",
note = "Publisher Copyright: {\textcopyright} 2023 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).",
year = "2023",
language = "English",
volume = "3430",
series = "CEUR Workshop Proceedings",
publisher = "CEUR WS",
pages = "126--142",
editor = "K{\"o}hler-Bussmeier, {Michael } and Moldt, {Daniel } and R{\"o}lke, {Heiko }",
booktitle = "Petri Nets and Software Engineering 2023",
}