Activities per year
We address the problem of synthesizing specifications 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.
|Title of host publication||2012 IEEE 36th Annual Computer Software and Applications Conference (COMPSAC)|
|Number of pages||6|
|Publication status||Published - 14 Nov 2012|
|Event||36th IEEE Annual International Computer Software and Applications Conference - Izmir, Turkey|
Duration: 16 Jul 2012 → 20 Jul 2012
Conference number: 36
|Conference||36th IEEE Annual International Computer Software and Applications Conference|
|Abbreviated title||COMPSAC 2012|
|Period||16/07/12 → 20/07/12|
FingerprintDive into the research topics of 'Deriving Specifications for Composite Web Services'. Together they form a unique fingerprint.
- 1 Oral presentation
Deriving Specifications for Composite Web Services
Georgios Bargiannis (Speaker), Dimitris Plexousakis (Speaker) & Manuel Carro (Speaker)19 Jul 2012
Activity: Talk or presentation types › Oral presentationFile