SAVVY-WS at a glance: Supporting verifiable dynamic service compositions

Author

Bianculli, Domenico ; Ghezzi, Carlo

Author_Institution

Fac. of Inf., Univ. of Lugano, Lugano

fYear

2008

fDate

15-16 Sept. 2008

Firstpage

49

Lastpage

56

Abstract

Service-oriented architectures support the development of distributed and evolvable applications that live in an open world. We focus on Web service compositions through which new added-value services are provisioned by integrating pre-existing services through a workflow. We assume that such pre-existing services can be selected and bound at run time to support continuous evolution and contextual adaptive policies. We illustrate a methodology and a set of tools supporting both design-time and run-time verification of service compositions.

Keywords

Web services; program verification; software architecture; Web service; added-value services; design-time verification; run-time verification; service-oriented architectures; verifiable dynamic service compositions; Application software; Computer architecture; Context-aware services; Contracts; Formal verification; Informatics; Quality of service; Runtime; Service oriented architecture; Web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM International Conference on

Conference_Location

L´Aquila

Print_ISBN

978-1-4244-2776-5

Type

conf

DOI

10.1109/ASEW.2008.4686293

Filename

4686293