Sound Multi-party Business Protocols for Service Networks

Authors:
Michele Mancioppi;Manuel Carro;Willem-Jan Heuvel;Mike P. Papazoglou
Affiliations:
INFOLAB, Dept. of Information Systems and Management, Tilburg University, The Netherlands;Universidad Politécnica de Madrid,;INFOLAB, Dept. of Information Systems and Management, Tilburg University, The Netherlands;INFOLAB, Dept. of Information Systems and Management, Tilburg University, The Netherlands
Venue:
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Year:
2008

Citing 8
Cited 2

A theory of timed automata

Theoretical Computer Science
Protocol specifications and component adaptors

ACM Transactions on Programming Languages and Systems (TOPLAS)
Finding Trading Partners to Establish Ad-hoc Business Processes

On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
An Evaluation of Formalisms for Negotiations in E-commerce

DCW '00 Proceedings of the Third International Workshop on Distributed Communities on the Web
Representing, analysing and managing web service protocols

Data & Knowledge Engineering - Special issue: ER 2004
A framework for managing the evolution of business protocols in web services

APCCM '07 Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67
Fine-grained compatibility and replaceability analysis of timed web service protocols

ER'07 Proceedings of the 26th international conference on Conceptual modeling
BPELlight

BPM'07 Proceedings of the 5th international conference on Business process management

Towards a quality model for choreography

ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Service composition

Service research challenges and solutions for the future internet

Quantified Score

Hi-index	0.00

Visualization

Abstract

Service networks comprise large numbers of long-running, highly dynamic complex end-to-end service interactions reflecting asynchronous message flows that typically transcend several organizations and span several geographical locations. At the communication level, service network business protocols can be flexible ranging from conventional inter-organizational point-to-point service interactions to fully blown dynamic multi-party interactions of global reach within which each participant may contribute its activities and services. In this paper we introduce a formal framework enriched with temporal constraints to describe multi-party business protocols for service networks. We extend this framework with the notion of multi-party business protocol soundness and show how it is possible to execute a multi-party protocol consistently in a completely distributed manner while guaranteeing eventual termination.