Memorias de investigación
Artículos en revistas:
Sound Multi-Party Business Protocols for Service Networks
Año:2008
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
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.
Internacional
Si
JCR del ISI
No
Título de la revista
Service Oriented Computing
ISSN
0302-9743
Factor de impacto JCR
0
Información de impacto
Volumen
5364/2008
DOI
10.1007/978-3-540-89652-4_24
Número de revista
5364
Desde la página
302
Hasta la página
304
Mes
ENERO
Ranking
Esta actividad pertenece a memorias de investigación
Participantes
  • 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
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • 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