Data flow-based validation of Web services compositions: perspectives and examples (Articolo in rivista)

Type

• Articolo in rivista (Classe)
• Prodotto della ricerca (Classe)

Label

• Data flow-based validation of Web services compositions: perspectives and examples (Articolo in rivista) (literal)

Anno

• 2008-01-01T00:00:00+01:00 (literal)

Alternative label

• Bartolini C.; Bertolino A.; Marchetti E.; Parissis I. (2008)
  Data flow-based validation of Web services compositions: perspectives and examples
  in Lecture notes in computer science
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Bartolini C.; Bertolino A.; Marchetti E.; Parissis I. (literal)

Pagina inizio

• 298 (literal)

Pagina fine

• 325 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 5135 (literal)

Rivista

• Lecture notes in computer science (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• In: Architecting Dependable Systems V. pp. 298 - 325. R. de Lemos, F. Di Giandomenico, H. Muccini, C. Gacek, M. Vieira (eds.). (Lecture Notes in Computer Science, vol. 5135). Berlin/Heidelberg: Springer, 2008. (literal)

Note

• ISI Web of Science (WOS) (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Scuola Superiore S. Anna - Pisa, CNR-ISTI, Pisa, Laboratoire d'Informatique de Grenoble (literal)

Titolo

• Data flow-based validation of Web services compositions: perspectives and examples (literal)

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 models, 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. (literal)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.001) (Modulo)

Autore CNR

• EDA MARCHETTI (Unità di personale interno)
• ANTONIA BERTOLINO (Persona)
• CESARE BARTOLINI (Unità di personale esterno)

Insieme di parole chiave

• Parole chiave di "Data flow-based validation of Web services compositions: perspectives and examples" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• ANTONIA BERTOLINO (Persona)
• EDA MARCHETTI (Unità di personale interno)
• CESARE BARTOLINI (Unità di personale esterno)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.001) (Modulo)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Lecture notes in computer science (Rivista)

Insieme di parole chiave di

• Parole chiave di "Data flow-based validation of Web services compositions: perspectives and examples" (Insieme di parole chiave)