CNR Institutional Research Information System

Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attracting great attention. The standardization of BPEL as a composition language and of WSDL as a WS interface definition language has led researchers to investigate verification and validation techniques mainly focusing on the sequence of events in the composition, while minor attention has been paid to the validation of the data flow exchange. In this chapter we study the potential of using data flow modelling for testing composite WSs. After an exhaustive exploration of the issues on testing based on data-related bmodels, we schematically settle future research issues on the perspectives opened by data flow-based validation and present examples for some of them, illustrated on the case study of a composite WS that we have developed, the Virtual Scientific Book Store.

Data flow-based validation of web services compositions: perspectives and examples

Bartolini C.;Bertolino A.;Marchetti E.;
2008

Abstract

Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attracting great attention. The standardization of BPEL as a composition language and of WSDL as a WS interface definition language has led researchers to investigate verification and validation techniques mainly focusing on the sequence of events in the composition, while minor attention has been paid to the validation of the data flow exchange. In this chapter we study the potential of using data flow modelling for testing composite WSs. After an exhaustive exploration of the issues on testing based on data-related bmodels, we schematically settle future research issues on the perspectives opened by data flow-based validation and present examples for some of them, illustrated on the case study of a composite WS that we have developed, the Virtual Scientific Book Store.
2008
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
R. de Lemos, F. Di Giandomenico, H. Muccini, C. Gacek, M. Vieira (eds.)
Architecting Dependable Systems V
298
325
28
354085570X
https://link.springer.com/chapter/10.1007/978-3-540-85571-2_13
Springer-Verlag Berlin
Heidelberg
GERMANIA
Sì
Data Flow
Coverage Testing
Web Services
This state-of-the-art survey contains expanded and peer-reviewed papers based on the carefully selected contributions to two workshops: the Workshop on Architecting Dependable Systems (WADS 2007), organized at the 2007 International Conference on Dependable Systems and Networks (DSN 2007), held in Edinburgh, UK, in June 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA 2007), organized as part of a federated conference on Component-Based Software Engineering and Software Architecture (CompArch 2007), held in Medford, MA, USA, in July 2007. It also contains invited papers written by recognized experts in the area. The 14 papers are organized in topical sections on critical infrastructures, rigorous design/fault tolerance, and verification and validation.
2-s2.0-52049104038
Elettronico
4
02 Contributo in Volume::02.01 Contributo in volume (Capitolo o Saggio)
268
restricted
Bartolini, C.; Bertolino, A.; Marchetti, E.; Parissis, I.
info:eu-repo/semantics/bookPart
File in questo prodotto:
File Dimensione Formato  
prod_180435-doc_18648.pdf

solo utenti autorizzati

Descrizione: Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Tipologia: Versione Editoriale (PDF)
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 427.83 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
427.83 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/13694
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 31
  • ???jsp.display-item.citation.isi??? ND
social impact