Deterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow

Today there are many techniques for web service compositions. evaluation of quality parameters has great impact on evaluation of final product. business process execution language (bpel) is one of those techniques that several researches have been done on its evaluation. however, there are few researches on evaluation of quality of service (qos) in eflow. this research tries to evaluate performance and reliability of eflow and bpel through mapping them to explicit colored petri net. to achieve this goal, colored petri net was enhanced with a new block of immediate transition, called pick split/join. then, a transformation table was proposed to show the mapping rules from basic and structured activities in eflow and bpel to colored petri net. finally, theory of probability was applied on the model to measure qos. web servie evaluation tool (wset), a case tool in java programming language, was developed for further simulation.