Sound Multi-Party Business Protocols for Service Networks

Mancioppi, Michele and Carro Liñares, Manuel and Van den Heuvel, Willem-Jan and Papazoglou, Mike P. (2008). Sound Multi-Party Business Protocols for Service Networks. "Lecture Notes In Computer Science", v. 5364 ; pp. 302-316. ISSN 0302-9743. https://doi.org/10.1007/978-3-540-89652-4_24.

Description

Title: Sound Multi-Party Business Protocols for Service Networks
Author/s:
  • Mancioppi, Michele
  • Carro Liñares, Manuel
  • Van den Heuvel, Willem-Jan
  • Papazoglou, Mike P.
Item Type: Article
Título de Revista/Publicación: Lecture Notes In Computer Science
Date: November 2008
ISSN: 0302-9743
Volume: 5364
Subjects:
Freetext Keywords: Sound multi-party business, protocol, networks.
Faculty: Facultad de Informática (UPM)
Department: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (479kB) | Preview

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 multiparty 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.

More information

Item ID: 2902
DC Identifier: http://oa.upm.es/2902/
OAI Identifier: oai:oa.upm.es:2902
DOI: 10.1007/978-3-540-89652-4_24
Official URL: http://www.springer.com/computer/lncs?SGWID=0-164-0-0-0
Deposited by: Memoria Investigacion
Deposited on: 26 Apr 2010 10:45
Last Modified: 20 Apr 2016 12:31
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM