Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework
Paola Giannini, Anna-Lena Lamprecht, Tiziana Margaria
2016
Abstract
We discuss how global types, aka multiparty session types, provide a complementary perspective on workflow models within the jABC modeling framework. On a reference example from the Semantic Web Services Challenge we show how the service orchestrations of jABC workflow applications can be expressed as service choreographies based on global types. Roles, identified with sets of logically related Service-Independent Building Blocks (SIBs), bridge between the two ways of looking at the behavior of systems. We compare the degree of declarativity and robustness in the face of changes of the reference example modeled with the jABC framework with as a global types specification.
DownloadPaper Citation
in Harvard Style
Giannini P., Lamprecht A. and Margaria T. (2016). Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework . In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 368-376. DOI: 10.5220/0005799303680376
in Bibtex Style
@conference{modelsward16,
author={Paola Giannini and Anna-Lena Lamprecht and Tiziana Margaria},
title={Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2016},
pages={368-376},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005799303680376},
isbn={978-989-758-168-7},
}
in EndNote Style
TY - CONF
JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework
SN - 978-989-758-168-7
AU - Giannini P.
AU - Lamprecht A.
AU - Margaria T.
PY - 2016
SP - 368
EP - 376
DO - 10.5220/0005799303680376