Model-Driven Dependability Analysis of WebServices - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2004

Model-Driven Dependability Analysis of WebServices


This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML representation for the architecture specification of composite Web services. The proposed representation is built upon BPEL and introduces necessary extensions to support the second step of the methodology, which comprises the specification of properties, characterizing the failure behavior of the elements that constitute the composite Web services. The automated mapping of this extended UML model to Block Diagrams and Markov models is introduced as the third step of the methodology. A comparative analysis of the aforementioned dependability analysis techniques in terms of precision and complexity is also performed.
Fichier principal
Vignette du fichier
ZarrasVI04.pdf (394.06 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00414800 , version 1 (10-09-2009)


  • HAL Id : inria-00414800 , version 1


Apostolos Zarras, Panos Vassiliadis, Valérie Issarny. Model-Driven Dependability Analysis of WebServices. OTM confederated international conferences CoopIS, DOA, and ODBASE 2004, 2004, Agia Napa, Cyprus. pp.1608-1625. ⟨inria-00414800⟩


63 View
155 Download


Gmail Facebook Twitter LinkedIn More