Sound Multi-Party Business Protocols for Service Networks

Mancioppi, Michele; Carro Liñares, Manuel; Van den Heuvel, Willem-Jan y 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.

Descripción

Título: Sound Multi-Party Business Protocols for Service Networks
Autor/es:
  • Mancioppi, Michele
  • Carro Liñares, Manuel
  • Van den Heuvel, Willem-Jan
  • Papazoglou, Mike P.
Tipo de Documento: Artículo
Título de Revista/Publicación: Lecture Notes In Computer Science
Fecha: Noviembre 2008
Volumen: 5364
Materias:
Palabras Clave Informales: Sound multi-party business, protocol, networks.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (479kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 2902
Identificador DC: http://oa.upm.es/2902/
Identificador OAI: oai:oa.upm.es:2902
Identificador DOI: 10.1007/978-3-540-89652-4_24
URL Oficial: http://www.springer.com/computer/lncs?SGWID=0-164-0-0-0
Depositado por: Memoria Investigacion
Depositado el: 26 Abr 2010 10:45
Ultima Modificación: 20 Abr 2016 12:31
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM