Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
Deriving Specifications for Composite Web Services
Year:2012
Research Areas
  • Engineering
Information
Abstract
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
International
Si
Congress
Computer Software and Applications Conference
960
Place
Izmir, Turkey
Reviewers
Si
ISBN/ISSN
0730-3157
10.1109/COMPSAC.2012.64
Start Date
16/07/2012
End Date
20/07/2012
From page
432
To page
437
Computer Software and Applications Conference (COMPSAC), 2012 IEEE 36th Annual
Participants
  • Autor: Manuel Carro Liñares (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
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)