Models of BPEL''s flow activity based on color Petri nets
基于有色Petri网的BP EL中flow活动建模

BPEL is often used to describe the composition of Web services, but it is lack of sound formal semantic. Web ser-vices are prone errors. Flow activity is very complicated in BPEL, but it plays an important role in describing Web services. Based on color Petri net, proposed transitions from flow activity to color Petri net models, while considered BPEL activities execute ways and environments. These models are more exacter and can be used to verify and test Web services.