By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Bianculli, D. ; Fac. of Inf., Univ. of Lugano, Lugano ; Ghezzi, C.

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.

Published in:

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

Date of Conference:

15-16 Sept. 2008