Model Driven QoS Analyses of Composed Web Services

The problem of composing services to deliver integrated business solutions has been widely studied in the last years. Besides addressing functional requirements, services compositions should also provide agreed service levels. Our goal is to support model-based analysis of service compositions, with a focus on the assessment of non-functional quality attributes, namely performance and reliability. We propose a model-driven approach, which automatically selects the set of available services, transforms a design model of service composition into an analysis model, which then feeds a probabilistic model checker for quality prediction. To bring this approach to fruition, we developed a prototype tool and we show the results which can be achieved with a simple example.

[1]  Amit P. Sheth,et al.  Meteor-s web service annotation framework , 2004, WWW '04.

[2]  Luciano Baresi,et al.  Playing with time in publish-subscribe using a domain-specific model checker , 2007, SAVCBS '07.

[3]  Danilo Ardagna,et al.  Adaptive Service Composition in Flexible Processes , 2007, IEEE Transactions on Software Engineering.

[4]  Carlo Ghezzi,et al.  Quality Prediction of Service Compositions through Probabilistic Model Checking , 2008, QoSA.

[5]  Anne H. H. Ngu,et al.  QoS-aware middleware for Web services composition , 2004, IEEE Transactions on Software Engineering.

[6]  H. Kunzi,et al.  Lectu re Notes in Economics and Mathematical Systems , 1975 .

[7]  Jana Koehler,et al.  Web Service Composition - Current Solutions and Open Problems , 2003 .

[8]  Marc Roubens,et al.  Multiple criteria decision making , 1994 .

[9]  Athman Bouguettaya,et al.  Efficient access to Web services , 2004, IEEE Internet Computing.

[10]  Amit P. Sheth,et al.  Performance Analysis and Simulation of Composite Web Services , 2003, Electron. Mark..

[11]  Ching-Lai Hwang,et al.  Multiple Attribute Decision Making: Methods and Applications - A State-of-the-Art Survey , 1981, Lecture Notes in Economics and Mathematical Systems.

[12]  Luciano Baresi,et al.  Validation of web service compositions , 2007, IET Softw..

[13]  Clemens A. Szyperski,et al.  Software Architectures, Components, and Applications, Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers , 2008, QoSA.

[14]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[15]  Tao Yu,et al.  Efficient algorithms for Web services selection with end-to-end QoS constraints , 2007, TWEB.

[16]  Daniel A. Menascé,et al.  Utility-based QoS Brokering in Service Oriented Architectures , 2007, IEEE International Conference on Web Services (ICWS 2007).

[17]  Luciano Baresi,et al.  On Accurate Automatic Verification of Publish-Subscribe Architectures , 2007, 29th International Conference on Software Engineering (ICSE'07).

[18]  Quan Z. Sheng,et al.  Interleaving Web Services Composition and Execution Using Software Agents and Delegation , 2003 .

[19]  Raffaela Mirandola,et al.  Performance Prediction of Web Service Workflows , 2007, QoSA.

[20]  Gunter Bolch,et al.  Queueing Networks and Markov Chains , 2005 .

[21]  Maria Luisa Villani,et al.  QoS-aware replanning of composite Web services , 2005, IEEE International Conference on Web Services (ICWS'05).

[22]  Jorge S. Cardoso,et al.  Complexity analysis of BPEL Web processes , 2007, Softw. Process. Improv. Pract..

[23]  Dimitri P. Bertsekas,et al.  Data networks (2nd ed.) , 1992 .

[24]  Dimitri P. Bertsekas,et al.  Data Networks , 1986 .

[25]  Gunter Bolch,et al.  Queueing Networks and Markov Chains - Modeling and Performance Evaluation with Computer Science Applications, Second Edition , 1998 .

[26]  Reiner R. Dumke,et al.  Performance Modeling of WS-BPEL-Based Web Service Compositions , 2006, 2006 IEEE Services Computing Workshops.

[27]  Matthew B. Dwyer,et al.  Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework , 2005, CAV.

[28]  Vincenzo Grassi,et al.  A Framework for Optimal Service Selection in Broker-Based Architectures with Multiple QoS Classes , 2006, 2006 IEEE Services Computing Workshops.

[29]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .