Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alves, A., et al.: Web service business process execution language version 2.0. Committee Draft (May 17, 2006)
Ardagna, D., Mirandola, R.: Service Selection Policies for the execution of Autonomic Services, note = Politecnico di Milano, Dipartimento di Elettronica e Informazione Technical report number 2008.13 (July 2008)
Ardagna, D., Pernici, B.: Adaptive service composition in flexible processes. IEEE Trans. on Software Engineering (June 2007)
Atkinson, C., Kuhne, T.: Model-driven development: A metamodeling foundation. IEEE Software 20(5), 36–41 (2003)
Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.: Validation of web service compositions. IET Software 1(6), 219–232 (2007)
Baresi, L., Gerosa, G., Ghezzi, C., Mottola, L.: Playing with time in publish-subscribe using a domain-specific model checker. In: SAVCBS 2007: Proceedings of the 2007 conference on Specification and verification of component-based systems, pp. 55–62. ACM, New York (2007)
Baresi, L., Ghezzi, C., Mottola, L.: On accurate automatic verification of publish-subscribe architectures. In: ICSE 2007: Proceedings of the 29th International Conference on Software Engineering, pp. 199–208. IEEE Computer Society, Washington (2007)
Bertsekas, D., Gallager, R.: Data Networks, 2nd edn. Prentice Hall, Englewood Cliffs (1991)
Bolch, G., Greiner, S., de Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains. J. Wiley, Chichester (1998)
Canfora, G., di Penta, M., Esposito, R., Villani, M.L.: QoS-Aware Replanning of Composite Web Services. In: ICWS 2005 Proc., Orlando (2005)
Cardellini, V., Casalicchio, E., Grassi, V., Mirandola, R.: A framework for optimal service selection in broker-based architectures with multiple QoS classes. In: Services computing workshops, SCW 2006, pp. 105–112. IEEE computer society, Los Alamitos (2006)
Cardoso, J.: Complexity analysis of bpel web processes. Software Process: Improvement and Practice 12(1), 35–49 (2007)
Chandrasekaran, S., Miller, J.A., Silver, G., Arpinar, I.B., Sheth, A.P.: Performance Analysis and Simulation of Composite Web Services. Electronic Market: The Intl. Journal of Electronic Commerce and Business Media 13(2), 120–132 (2003)
Dwyer, M.B., Hatcliff, J., Hoosier, M., Robby.: Building your own software model checker using the bogor extensible model checking framework. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 148–152. Springer, Heidelberg (2005)
Gallotti, S., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Quality prediction of service compositions through probabilistic model checking (2008)
Hwang, C.L., Yoon, K.: Multiple Criteria Decision Making. Lecture Notes in Economics and Mathematical Systems. Springer, Heidelberg (1981)
Maamar, Z., Sheng, Q.Z., Benatallah, B.: Interleaving web services composition and execution using software agents and delegation. In: WSABE 2003, Melbourne (2003)
Marzolla, M., Mirandola, R.: Performance prediction of web service workflows. In: Overhage, S., Szyperski, C., Reussner, R., Stafford, J.A. (eds.) QoSA 2007. LNCS, vol. 4880, pp. 127–144. Springer, Heidelberg (2008)
Menascé, D.A., Dubey, V.: Utility-based qos brokering in service oriented architectures. In: ICWS (2007)
Ouzzani, M., Bouguettaya, A.: Efficient Access to Web Services. IEEE Internet Comp. 37(3), 34–44 (2004)
Patil, A.A., Oundhakar, S.A., Sheth, A.P., Verma, K.: METEOR-S web service annotation framework. In: WWW 2004 Proc., New York, pp. 553–562 (2004)
PRISM, Probabilistic Model Checker, http://www.prismmodelchecker.org/
Rud, D., Schmietendorf, A., Dumke, R.: Performance modeling of ws-bpel-based web service compositions. Scw 0, 140–147 (2006)
SNOPT, Software for Large-Scale Nonlinear Programming
Srivastava, B., Koehler, J.: Web service composition — current solutions and open problems. In: ICAPS 2003 Proc. (2003)
Yu, T., Zhang, Y., Lin, K.-J.: Efficient algorithms for web services selection with end-to-end qos constraints. ACM Trans. Web 1(1), 1–26 (2007)
Zeng, L., Benatallah, B., Dumas, M., Kalagnamam, J., Chang, H.: QoS-aware middleware for web services composition. IEEE Trans. on Software Engineering 30(5) (May 2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ardagna, D., Ghezzi, C., Mirandola, R. (2008). Model Driven QoS Analyses of Composed Web Services. In: Mähönen, P., Pohl, K., Priol, T. (eds) Towards a Service-Based Internet. ServiceWave 2008. Lecture Notes in Computer Science, vol 5377. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89897-9_26
Download citation
DOI: https://doi.org/10.1007/978-3-540-89897-9_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89896-2
Online ISBN: 978-3-540-89897-9
eBook Packages: Computer ScienceComputer Science (R0)