Reasoning about interaction patterns in choreography

Authors:
Roberto Gorrieri;Claudio Guidi;Roberto Lucchi
Affiliations:
Dipartimento di Scienze dell'Informazione, Università degli Studi di Bologna, Bologna, Italy;Dipartimento di Scienze dell'Informazione, Università degli Studi di Bologna, Bologna, Italy;Dipartimento di Scienze dell'Informazione, Università degli Studi di Bologna, Bologna, Italy
Venue:
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Year:
2005

Citing 3
Cited 9

Supporting e-commerce systems formalization with choreography languages

Proceedings of the 2005 ACM symposium on Applied computing
Towards a formal framework for Choreography

WETICE '05 Proceedings of the 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise
Formalizing Web Service Choreographies

Electronic Notes in Theoretical Computer Science (ENTCS)

Towards trace semantics for WS-CDL with alignments

Proceedings of the 2008 ACM symposium on Applied computing
Algorithms Based on Pattern Analysis for Verification and Adapter Creation for Business Process Composition

OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
A Denotational Model for Web Services Choreography

ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM

Electronic Notes in Theoretical Computer Science (ENTCS)
Web services choreography validation

Service Oriented Computing and Applications
Formalizing service interactions

BPM'06 Proceedings of the 4th international conference on Business Process Management
Choreography and orchestration: a synergic approach for system design

ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Choreography and orchestration conformance for system design

COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Algorithms for checking channel passing in web service choreography

Frontiers of Computer Science: Selected Publications from Chinese Universities

Quantified Score

Hi-index	0.00

Visualization

Abstract

Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is the interaction between two peers which are of two kinds: request and request-respond. WS-CDL, which is the most representative choreography language, supports a pattern for programming the request interaction and two patterns for the request-respond one. Furthermore, it allows to specify if an interaction is aligned or not whose meaning is related to the possibility to control when the interaction completes. In this paper we reason about interaction patterns by analyzing their adequacy when considering the fact that they have to support the alignment property. We show the inadequacy of the two patterns supporting the request-respond interaction; one of them because it does not permit to reason on alignment at the right granularity level and the other one for some expressiveness lacks.