From Visual Choreographies to Flexible Information Protocols

Tom Lichtenstein; Amit K. Chopra; Munindar P. Singh; Mathias Weske

doi:10.1007/978-981-96-0805-8_25

From Visual Choreographies to Flexible Information Protocols

Tom Lichtenstein, Amit K. Chopra, Munindar P. Singh, Mathias Weske

Computing and Communications

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

21 Downloads (Pure)

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.

Original language	English
Title of host publication	Service-Oriented Computing
Subtitle of host publication	22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I
Editors	Walid Gaaloul, Michael Sheng, Qi Yu, Sami Yangui
Place of Publication	Cham
Publisher	Springer
Pages	354-369
Number of pages	16
ISBN (Electronic)	9789819608058
ISBN (Print)	9789819608041
DOIs	https://doi.org/10.1007/978-981-96-0805-8_25
Publication status	Published - 7/12/2024

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	15404
ISSN (Print)	0302-9743

Access to Document

10.1007/978-981-96-0805-8_25

protocols-icsoc-24Accepted author manuscript, 759 KBLicence: CC BY: Creative Commons Attribution 4.0 International License

https://link.springer.com/chapter/10.1007/978-981-96-0805-8_25

Cite this

Lichtenstein, T., Chopra, A. K., Singh, M. P., & Weske, M. (2024). From Visual Choreographies to Flexible Information Protocols. In W. Gaaloul, M. Sheng, Q. Yu, & S. Yangui (Eds.), Service-Oriented Computing : 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I (pp. 354-369). (Lecture Notes in Computer Science ; Vol. 15404). Springer. https://doi.org/10.1007/978-981-96-0805-8_25

Lichtenstein, Tom ; Chopra, Amit K. ; Singh, Munindar P. et al. / From Visual Choreographies to Flexible Information Protocols. Service-Oriented Computing : 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I. editor / Walid Gaaloul ; Michael Sheng ; Qi Yu ; Sami Yangui. Cham : Springer, 2024. pp. 354-369 (Lecture Notes in Computer Science ).

@inproceedings{594a0ca4916b439cbe592081503f9fd6,

title = "From Visual Choreographies to Flexible Information Protocols",

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.",

author = "Tom Lichtenstein and Chopra, {Amit K.} and Singh, {Munindar P.} and Mathias Weske",

year = "2024",

month = dec,

day = "7",

doi = "10.1007/978-981-96-0805-8_25",

language = "English",

isbn = "9789819608041",

series = "Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "354--369",

editor = "Walid Gaaloul and Sheng, {Michael } and Qi Yu and Sami Yangui",

booktitle = "Service-Oriented Computing",

}

Lichtenstein, T, Chopra, AK, Singh, MP & Weske, M 2024, From Visual Choreographies to Flexible Information Protocols. in W Gaaloul, M Sheng, Q Yu & S Yangui (eds), Service-Oriented Computing : 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I. Lecture Notes in Computer Science , vol. 15404, Springer, Cham, pp. 354-369. https://doi.org/10.1007/978-981-96-0805-8_25

From Visual Choreographies to Flexible Information Protocols. / Lichtenstein, Tom; Chopra, Amit K.; Singh, Munindar P. et al.
Service-Oriented Computing : 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I. ed. / Walid Gaaloul; Michael Sheng; Qi Yu; Sami Yangui. Cham: Springer, 2024. p. 354-369 (Lecture Notes in Computer Science ; Vol. 15404).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

TY - GEN

T1 - From Visual Choreographies to Flexible Information Protocols

AU - Lichtenstein, Tom

AU - Chopra, Amit K.

AU - Singh, Munindar P.

AU - Weske, Mathias

PY - 2024/12/7

Y1 - 2024/12/7

N2 - 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.

AB - 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.

U2 - 10.1007/978-981-96-0805-8_25

DO - 10.1007/978-981-96-0805-8_25

M3 - Conference contribution/Paper

SN - 9789819608041

T3 - Lecture Notes in Computer Science

SP - 354

EP - 369

BT - Service-Oriented Computing

A2 - Gaaloul, Walid

A2 - Sheng, Michael

A2 - Yu, Qi

A2 - Yangui, Sami

PB - Springer

CY - Cham

ER -

Lichtenstein T, Chopra AK, Singh MP, Weske M. From Visual Choreographies to Flexible Information Protocols. In Gaaloul W, Sheng M, Yu Q, Yangui S, editors, Service-Oriented Computing : 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I. Cham: Springer. 2024. p. 354-369. (Lecture Notes in Computer Science ). doi: 10.1007/978-981-96-0805-8_25