Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Deriving Specifications for Composite Web Services
Año:2012
Áreas de investigación
  • Ingenierías
Datos
Descripción
We address the problem of synthesizing specifi- cations for composite Web services, starting from those of their component services. Unlike related work in programming languages, we assume the definition of the component services (i.e. their code) to be unavailable ? at best, they are known by a specification which (safely) approximates their functional behavior. Within this scenario, we deduce general formula schemes to derive specifications for basic constructs such as sequential, parallel compositions and conditionals and provide details on how to handle the special cases of loops and asynchronous execution. The resulting specifications facilitate service verification and service evolution as well as auditing processes, promoting trust between the involved partners
Internacional
Si
Nombre congreso
Computer Software and Applications Conference
Tipo de participación
960
Lugar del congreso
Izmir, Turkey
Revisores
Si
ISBN o ISSN
0730-3157
DOI
10.1109/COMPSAC.2012.64
Fecha inicio congreso
16/07/2012
Fecha fin congreso
20/07/2012
Desde la página
432
Hasta la página
437
Título de las actas
Computer Software and Applications Conference (COMPSAC), 2012 IEEE 36th Annual
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Manuel Carro Liñares (UPM)
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)
S2i 2021 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)