Research on Web service composition and verification

摘要：

The modeling techniques are desired for reliable Web service composition. In this paper, a modeling method based on CP-nets (colored Petri nets) is described. In order to model Web service composition, 5 kinds of main patterns for composing services are presented and the relatives of the composite services are described in detail. After discussing the verification of the composite service model, an algorithm is given to test the dead transition of the composite service model. Finally, the advantages of modeling using CP-nets are clearly showed through an instance.

作者: CHENG Yongshang WANG Zhijian ZHOU Xiaofeng

作者单位: Computer and Information Engineering College, Hohai University, 210098, Nanjing, China

会议类型: 国际会议

会议名称: 2007年第三届语义和知识网格国际会议(Third International Conference on Semantics,Knowledge,and Grid)(SKG 2007)

会议地点: 西安

会议语种:英文

在线出版日期: 2007-10-29（万方平台首次上网日期，不代表论文的发表时间）