Models of Web Services Composition Based on Timed Color Petri Nets
Ping Chen · 2010
BPEL is often used to describe the composition of Web Services,but it is lack of sound formal semantic.Web services were prone errors.Based on Timed Color Petri Net,transitions from Web Services which was described using BPEL to Timed Color Petri Net models were proposed,while BPEL activities execute ways and environments were considered.The models we get are more exacter and can be used to verify and test Web Service.An instance of this transition were given.