From Visual Choreographies to Flexible Information Protocols

Lichtenstein, Tom and Chopra, Amit K. and Singh, Munindar P. and Weske, Mathias (2024) From Visual Choreographies to Flexible Information Protocols. In: Service-Oriented Computing : 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I. Lecture Notes in Computer Science . Springer, Cham, pp. 354-369. ISBN 9789819608041

Text (protocols-icsoc-24)
ICSOC_24.pdf - Accepted Version
Available under License Creative Commons Attribution.
Download (776kB)

Abstract

Choreographies enable the coordination of interactions between business partners. Established modeling languages such as BPMN focus on a visual notation that may facilitate design but lacks formal semantics. Moreover, such notations encourage the explicit ordering of interactions, which often results in over-constrained models. In contrast, information protocols provide a precise and flexible operational model for interaction. This paper contributes a tool-supported, semi-automated mapping from object-aware BPMN choreography diagrams to information protocols. Our approach enables business experts to tailor the flexibility of the resulting protocols to their requirements.