Authors:
Paola Giannini
1
;
Anna-Lena Lamprecht
2
and
Tiziana Margaria
2
Affiliations:
1
University of Piemonte Orientale, Italy
;
2
University of Limerick, Ireland
Keyword(s):
Choreography, Global Types, Orchestration, jABC, Workflow, Extreme Modeling Framework.
Related
Ontology
Subjects/Areas/Topics:
Business and Social Applications
;
e-Business
;
Enterprise Information Systems
;
MetaModeling
;
Methodologies, Processes and Platforms
;
Model-Driven Software Development
;
Models
;
Paradigm Trends
;
Society, e-Business and e-Government
;
Software Engineering
;
Web Information Systems and Technologies
;
Workflow Management Systems
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.