@inproceedings{5279cb43f90043e88fda3b080ca23621,
title = "Exploring the potential of global types for adding a choreography perspective to the jABC framework",
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.",
keywords = "Choreography, Extreme Modeling Framework, Global Types, JABC, Orchestration, Workflow",
author = "Paola Giannini and Lamprecht, {Anna Lena} and Tiziana Margaria",
note = "Publisher Copyright: {\textcopyright} Copyright 2016 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.; 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016 ; Conference date: 19-02-2016 Through 21-02-2016",
year = "2016",
doi = "10.5220/0005799303680376",
language = "English",
series = "MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development",
publisher = "SciTePress",
pages = "368--376",
editor = "Slimane Hammoudi and Pires, {Luis Ferreira} and Bran Selic and Philippe Desfray",
booktitle = "MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development",
}