Issue No. 10 - Oct. (2013 vol. 24)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TPDS.2012.313
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
D. Bruneo, S. Distefano, F. Longo and M. Scarpa, "Stochastic Evaluation of QoS in Service-Based Systems," in IEEE Transactions on Parallel & Distributed Systems, vol. 24, no. , pp. 2090-2099, 2013.