The Community for Technology Leaders
Green Image
Issue No. 10 - Oct. (2013 vol. 24)
ISSN: 1045-9219
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
ABSTRACT
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.
INDEX TERMS
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
CITATION
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. , pp. 2090-2099, Oct. 2013, doi:10.1109/TPDS.2012.313
286 ms
(Ver 3.1 (10032016))