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 |