Exploring the potential of global types for adding a choreography perspective to the jABC framework

Paola Giannini, Anna Lena Lamprecht, Tiziana Margaria

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationMODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development
EditorsSlimane Hammoudi, Luis Ferreira Pires, Bran Selic, Philippe Desfray
PublisherSciTePress
Pages368-376
Number of pages9
ISBN (Electronic)9789897581687
DOIs
Publication statusPublished - 2016
Event4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016 - Rome, Italy
Duration: 19 Feb 201621 Feb 2016

Publication series

NameMODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development

Conference

Conference4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016
Country/TerritoryItaly
CityRome
Period19/02/1621/02/16

Keywords

  • Choreography
  • Extreme Modeling Framework
  • Global Types
  • JABC
  • Orchestration
  • Workflow

Fingerprint

Dive into the research topics of 'Exploring the potential of global types for adding a choreography perspective to the jABC framework'. Together they form a unique fingerprint.

Cite this