基于Petri网的Web服务描述及其可替换性分析

摘要：

　　Web服务成为一种具有良好互操作性的新的分布式计算模型，Web服务组合是实现良好互操作性的基础。本文基于WS_Net描述Web服务的接口信息和内部行为特征,给出了WS_Net互模拟等价的定义。用WS_Net描述的Web服务满足接口互模拟等价, 则两个Web服务可以实现上下文无关的相互替换。提出了WS_Net的化简规则,证明了这些化简规则能够保持WS_Net化简前后的接口互模拟等价特性。通过化简的方法简化Web服务可替换性分析的复杂度, 克服了现有方法的不足。

关键词： 计算机网络 网络服务 分布式计算 程序设计

作者: 郭峰 赵会群

作者单位: 北方工业大学信息工程学院 北京 100144

会议类型: 国内会议

会议名称: 2011年中国计算机学会服务计算学术会议(CCF NCSC2011)

会议地点: 济南

会议语种:中文

页码: 1-8

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