A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions

  • Authors:

  • Domenico Bianculli;Carlo Ghezzi;Paola Spoletini;Luciano Baresi;Sam Guinea

  • Affiliations:

  • Faculty of Informatics, University of Lugano, Lugano, Switzerland CH-6900;Politecnico di Milano, DEEP-SE Group - Dipartimento di Elettronica e Informazione, Milano, Italy I-20133;Dipartimento di Scienze della Cultura, Politiche e dell'Informazione, Università dell'Insubria, Como, Italy I-22100;Politecnico di Milano, DEEP-SE Group - Dipartimento di Elettronica e Informazione, Milano, Italy I-20133;Politecnico di Milano, DEEP-SE Group - Dipartimento di Elettronica e Informazione, Milano, Italy I-20133

  • Venue:
  • Advances in Software Engineering
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Service-Oriented Architectures are emerging as a promising solution to the problem of developing distributed and evolvable applications that live in an open world. We contend that developing these applications not only requires adopting a new architectural style, but more generally requires re-thinking the whole life-cycle of an application, from development time through deployment to run time. In particular, the traditional boundary between development time and run time is blurring. Validation, which traditionally pertains to development time, must now extend to run time. In this paper, we provide a tutorial introduction to SAVVY-WS, a methodology that aims at providing a novel integrated approach for design-time and run-time validation. SAVVY-WS has been developed in the context of Web service-based applications, composed via the BPEL workflow language.