The Community for Technology Leaders
RSS Icon
Issue No.10 - Oct. (2013 vol.24)
pp: 2090-2099
Dario Bruneo , Università di Messina, Messina
Salvatore Distefano , Politecnico di Milano, Milano
Francesco Longo , Università di Messina, Messina
Marco Scarpa , Università di Messina, Messina
WS-BPEL language has become the industrial standard to design and orchestrate modular applications, formalizing service compositions and business relationships among providers and consumers. Once service level agreements (SLAs) among the parties are established, effective tools for evaluating appropriate measurements have to be developed to meet the requirements. However, the design of quality of service (QoS)-guaranteed composed Web services (WSes) still requires several efforts. This work aims at proposing a complete method to study the QoS of a composed WS at design time, i.e., when the process is specified by using WS-BPEL. Starting from the nonfunctional properties of the WS to compose, we propose a technique to derive non-Markovian stochastic Petri net (NMSPN) models from WS-BPEL processes, with the final goal of evaluating parameters such as the service time distribution and the service reliability. To demonstrate the effectiveness of the proposed method and to validate the obtained model, a nontrivial example implementing a travel agency flight reservation process, exposed as a synchronous composed WS, is investigated.
Quality of service, Stochastic processes, Business, Unified modeling language, Simple object access protocol, Reliability, Standards, stochastic Petri nets, Business processes, WS-BPEL, service-oriented architecture, performance, reliability
Dario Bruneo, Salvatore Distefano, Francesco Longo, Marco Scarpa, "Stochastic Evaluation of QoS in Service-Based Systems", IEEE Transactions on Parallel & Distributed Systems, vol.24, no. 10, pp. 2090-2099, Oct. 2013, doi:10.1109/TPDS.2012.313
[1] "Web Services Business Process Execution Language Version 2.0," OASIS WS-BPEL TC, OASIS, Apr. 2007.
[2] S.G.H. Tabatabaei, W. Kadir, and S. Ibrahim, "A Comparative Evaluation of State-of-the-Art Approaches for Web Service Composition," Proc. Int'l Conf. Software Eng. Advances, pp. 488-493, 2008.
[3] D. Ardagna and B. Pernici, "Adaptive Service Composition in Flexible Processes," IEEE Trans. Software Eng., vol. 33, no. 6, pp. 369-384, June 2007.
[4] L. Zeng, B. Benatallah, A.H. Ngu, M. Dumas, J. Kalagnanam, and H. Chang, "QoS-Aware Middleware for Web Services Composition," IEEE Trans. Software Eng., vol. 30, no. 5, pp. 311-327, May 2004.
[5] K.S. Trivedi, A. Bobbio, G. Ciardo, R. German, A. Puliafito, and M. Telek, "Non-Markovian Petri Nets," SIGMETRICS Performance Evaluation Rev., vol. 23, no. 1, pp. 263-264, 1995.
[6] D. Bruneo, S. Distefano, F. Longo, and M. Scarpa, "QoS Assessment of WS-BPEL Processes through Non-Markovian Stochastic Petri Nets," Proc. IEEE 24th Int'l Symp. Parallel and Distributed Processing (IPDPS '10), pp. 1-12, Apr. 2010,
[7] C. Ouyang, E. Verbeek, W. van der Aalst, S. Breutel, M. Dumas, and A.t. Hofstede, "Formal Semantics and Analysis of Control Flow in WS-BPEL," Science of Computer Programming, vol. 67, nos. 2/3, pp. 162-198, 2007.
[8] Y. He, L. Zhao, Z. Wu, and F. Li, "Formal Modeling of Transaction Behavior in WS-BPEL," Proc. Int'l Conf. Computer Science and Software Eng., pp. 490-494, 2008.
[9] P. Xiong, Y. Fan, and M. Zhou, "QoS-Aware Web Service Configuration," IEEE Trans. Systems, Man and Cybernetics, Part A: Systems and Humans, vol. 38, no. 4, pp. 888-895, July 2008.
[10] L. Chen, Z. Shao, G. Fan, and H. Ma, "A Method for Analyzing and Predicting Reliability of BPEL Process," J. Software, vol. 4, no. 1, pp. 11-18, 2009.
[11] J. Bi, Z. Zhu, H. Yuan, Y. Fan, and M. Tie, "A Petri Net Based Hybrid Optimal Controller for Deadlock Prevention in Web Service Composition," Proc. IEEE Int'l Conf. Web Services, pp. 718-719, July 2011.
[12] D. Karastoyanova and F. Leymann, "Bpel 'n' Aspects: Adapting Service Orchestration Logic," Proc. IEEE Int'l Conf. Web Services, pp. 222-229, 2009.
[13] F. Rosenberg, C. Enzi, A. Michlmayr, C. Platzer, and S. Dustdar, "Integrating Quality of Service Aspects in Top-Down Business Process Development Using WS-CDL and WS-BPEL," Proc. IEEE 11th Enterprise Distributed Object Computing Conf., p. 15. 2007.
[14] M. Marzolla and R. Mirandola, "Performance Prediction of Web Service Workflows," Proc. Third Conf. Software Architectures, Components, and Applications, pp. 127-144, 2007.
[15] A. Bobbio, A. Puliafito, M. Scarpa, and M. Telek, "Webspn: A Web-Accessible Petri Net Tool," Proc. Conf. Web-Based Modeling and Simulation, http://mdslab.unime.itwebspn, 1998.
[16] G. Bucci, L. Carnevali, L. Ridi, and E. Vicario, "Oris: A Tool for Modeling, Verification and Evaluation of Real-Time Systems," Int'l J. Software Tools for Technology Transfer, vol. 12, pp. 391-403, 2010.
[17] A. Zimmermann, M. Knoke, A. Huck, and G. Hommel, "Towards Version 4.0 of Timenet," Proc. Conf. Measurement, Modeling, and Evaluation of Computer and Comm. Systems, pp. 477-480, Mar. 2006.
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool