Modeling and Verifying Composite Semantic Web Service Based on Colored Petri Nets. - Yong-shang Cheng; Zhijian Wang; Congming Wang; Long-ye Tang; Ling Shang (ALPIT, 2007)

Research on Web Service Composition and Verification. - Yong-shang Cheng; Zhijian Wang; Xiaofeng Zhou (SKG, 2007)