DocumentCode :
1967881
Title :
Deriving Specifications for Composite Web Services
Author :
Baryannis, George ; Carro, Manuel ; Plexousakis, Dimitris
Author_Institution :
Dept. of Comput. Sci., Univ. of Crete, Heraklion, Greece
fYear :
2012
fDate :
16-20 July 2012
Firstpage :
432
Lastpage :
437
Abstract :
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.
Keywords :
Web services; formal specification; formal verification; programming languages; auditing process; component services; composite Web services; programming languages; service evolution; service verification; specifications; Approximation methods; Computer science; Educational institutions; Electronic mail; Semantics; Web services; inference of specifications; service composition; specification of service compositions;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference (COMPSAC), 2012 IEEE 36th Annual
Conference_Location :
Izmir
ISSN :
0730-3157
Print_ISBN :
978-1-4673-1990-4
Electronic_ISBN :
0730-3157
Type :
conf
DOI :
10.1109/COMPSAC.2012.64
Filename :
6340193
Link To Document :
بازگشت