Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
Sound Multi-Party Business Protocols for Service Networks
Year:2008
Research Areas
  • Programming language
Information
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.
International
Si
JCR
No
Title
Service Oriented Computing
ISBN
0302-9743
Impact factor JCR
0
Impact info
Volume
5364/2008
10.1007/978-3-540-89652-4_24
Journal number
5364
From page
302
To page
304
Month
ENERO
Ranking
Participants
  • Autor: Michele Mancioppi (U. of Tillburg)
  • Autor: Mike P. Papazoglou (U. of Tillburg)
  • Autor: Manuel Carro Liñares (UPM)
  • Autor: Willem-Jan van der Heuvel (U. of Tillburg)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2019 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)