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

基于 Petri 网的Web 服务描述及其可替换性分析 郭峰 赵会群 （北方工业大学信息工程学院 北京 100144 ） 摘 要 Web 服务成为一种具有良好互操作性的新的分布式计算模型，Web 服务组合是实现良好互操作性的基础。基于 WS_Net 描述 Web 服务的接口信息和内部行为特征,给出了 WS_Net 互模拟等价的定义. 用 WS_Net 描述的 Web 服务满足接 口互模拟等价, 则两个Web 服务可以实现上下文无关的相互替换. 提出了WS_Net 的化简规则,证明了这些化简规则能够保持 WS_Net 化简前后的接口互模拟等价特性. 通过化简的方法简化 Web 服务可替换性分析的复杂度, 克服了现有方法的不足. 关键词 Web 服务，服务可替换性，互模拟 中图法分类号 TP301 文献标识码 A Analyzing of Web Services Description and Substitution Based on Petri nets GUO Feng ZHAO Huiqun (School of Information and Engineering, North China University of Technology, Beijing 100144,China) Abstract Web service has become a new distributed computing model with good interoperability. Service composition is the basis to achieve the interoperability. A Petri net based model –WS_Net is presented which suited for modeling the information about behaviour and interface of Web services. Then the Web services composition methods are proposed. The definition of bisimulation equivalence between two WS_Nets is presented. Two web services which are modeled by WS_Net can substitute each other when they are bisimulation equivalence. Reduction rules are presented which suited for WS_Net and the WS_Nets before and after the reduction are bisimulation equivalence. The reduction methods can reducing the complexity of analyzing the substitution of web services and overcome the shortcomings of existing methods. Keywords Web Services ， Services Substitution，Bisimulation 网描述Web服务的内部流程和接口信息。 1 绪言 Web 服务在投入运行之后,很可能由于需求的变更等原 Web服务成为一种新的分布式计算模型,成为实现SOA的 因进行修改, 或者由于网络故障等原因需要选择另外一个 主流技术,和以往的分布式计算模型,如对象