QoS assessment of WS-BPEL processes through non-Markovian stochastic Petri nets

TitleQoS assessment of WS-BPEL processes through non-Markovian stochastic Petri nets
Publication TypeConference Proceedings
Year of Conference2010
AuthorsBruneo, D., S. Distefano, F. Longo, and M. Scarpa
Conference NameProceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing (IPDPS)
PublisherIEEE Computer Society
Conference LocationAtlanta, GA, United States, 19-23 April 2010
ISBN Number9781424464432
KeywordsAutomatic tools, Business relationships, Computer software, Design, Design phase, Distributed parameter networks, Effective tool, Formal definition, Graph theory, Industrial standards, Information services, Internet-based services, Non-Markovian, Novel techniques, Operating condition, Petri nets, Quality of service, Service oriented architecture (SOA), Service reliability, Service time distribution, Software applications, Software engineers, Software paradigm, Software solution, Stochastic Petri Nets, Stochastic systems, Value added service, Web services, WS-BPEL

Service Oriented Architecture (SOA) is the most important and effective software paradigm to design Internet-based services. Using the SOA technology, value-added services can be easily deployed as a combination of existing Web services. In this context, WS-BPEL language has become the SOA industrial standard. To allow services to be composed, business relationships between providers and consumers have to be adequately managed. This implies that a formal definition of Quality of Service (QoS) is agreed and that effective tools for its measurement have to be developed. However, the design ofQoS guaranteed composed Web services still requires several efforts due to the highly distributed nature ofsuch software applications. This work aims at proposing a methodology to evaluate Web service performance at the earliest design phase. We present a novel technique to translate WS-BPEL processes into non-Markovian stochastic Petri nets with the final goal to evaluate parameters such as service time distribution and service reliability. The obtained model can be numerically solved through automatic tools, allowing to investigate the service behavior under different operating conditions and thus helping software engineers to develop QoS-guaranteed software solutions. © 2010 IEEE.