Stochastic-petri-net-based approach to modeling and performance evaluation of choreography-based service composition
LIU Yi,XUE Hongchao,XIA Yunni,YANG Jun
DOI: https://doi.org/10.3778/j.issn.1002-8331.2011.22.062
2011-01-01
Abstract:Web service composition refers to the creation of new services by combining functionalities provided by existing ones.Current Web service choreography proposals,such as WSCI,WS-CDL and BPEL,provide notations for describing the message flows in Web service collaborations.The kernel of WSCI consists of simple communication primitives that may be combined using control-flow constructs expressing sequence,branching,parallelism,synchronization,etc.Many efforts have been made on functional formalization and property verification of WSCI-based service compositions.However,performance facet of WSCI-based service composition is yet to be given,the importance it deserves.In this paper,a stochastic-Petri-net-based approach is introduced to predict the performance of Web service choreographed using WSCI.This approach translates WSCI-based composition into general stochastic Petri net and obtains analytical estimation of process-completion-time based on the continuous-time Markov chain derived from the Petri net.In the case study,the Monte-carlo experiments and confidence interval analysis are used to validate theoretical evaluations.