Protocol Compatibility Verification for Web Services Interaction

摘要：

In this paper, a formal service behavior model called Service-Net based on Colored Petri Net (CP-Net) has been presented. Service-Net can be used to describe not only the control dependency and data dependency among inner operations of Web services, but also the message interactions of services with outer environments as an independent communication system. The correctness of interaction protocol is the key to assuring the success of services interactions. Based on Service-Net of services participating the interaction, the construct of the formal protocol model of services interaction called has further defined. Finally, the correctness justification criteria of protocol model as well as the corresponding verification method based on CP-Net theory has been given.

关键词： Web service behavior modeling interaction modeling protocol compatibility verification

作者: Yanping Yang Mingan Zhang Xiqing Ye Houwu Chen Xinke Lian

作者单位: Naval Academy of Armament, Beijing, P.R.China

会议类型: 国际会议

会议名称: Fifth International Conference on Semantics,Knowledge and Grid(第五届语义、知识与网格国际会议 SKG 2009)

会议地点: 珠海

会议语种:英文

页码: 106-112

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