Sound Multi-party Business Protocols for Service Networks

  • Michele Mancioppi
  • Manuel Carro
  • Willem-Jan van den Heuvel
  • Mike P. Papazoglou
Conference paper

DOI: 10.1007/978-3-540-89652-4_24

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5364)
Cite this paper as:
Mancioppi M., Carro M., van den Heuvel WJ., Papazoglou M.P. (2008) Sound Multi-party Business Protocols for Service Networks. In: Bouguettaya A., Krueger I., Margaria T. (eds) Service-Oriented Computing – ICSOC 2008. ICSOC 2008. Lecture Notes in Computer Science, vol 5364. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Michele Mancioppi
    • 1
  • Manuel Carro
    • 2
  • Willem-Jan van den Heuvel
    • 1
  • Mike P. Papazoglou
    • 1
  1. 1.INFOLAB, Dept. of Information Systems and ManagementTilburg UniversityThe Netherlands
  2. 2.Universidad Politécnica de MadridSpain

Personalised recommendations