Home > Research > Publications & Outputs > From Visual Choreographies to Flexible Informat...

Electronic data

  • protocols-icsoc-24

    Accepted author manuscript, 759 KB, PDF document

    Available under license: CC BY: Creative Commons Attribution 4.0 International License

Links

Text available via DOI:

View graph of relations

From Visual Choreographies to Flexible Information Protocols

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Close
Publication date7/12/2024
Host publicationService-Oriented Computing : 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I
EditorsWalid Gaaloul, Michael Sheng, Qi Yu, Sami Yangui
Place of PublicationCham
PublisherSpringer
Pages354-369
Number of pages16
ISBN (electronic)9789819608058
ISBN (print)9789819608041
<mark>Original language</mark>English

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume15404
ISSN (Print)0302-9743

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.