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

发布时间：2018-06-23 01:31

本文选题：Web服务 + Petri网　；参考：《计算机集成制造系统》2013年06期

【摘要】：为解决服务组合中的Web服务可替换性问题,在工作流网、开放网等Petri网模型的基础上,提出一种适合面向服务系统的Petri网模型———WS_Net。该模型包含了Web服务的两部分内容:内部流程和外部接口。WS_Net可以准确描述顺序、循环、并发、调用、选择五种常见的服务组合方式。在Petri网互模拟等价的基础上定义了WS_Net内网的关于接口变迁的互模拟等价关系,关于接口变迁互模拟等价的WS_Net可以实现上下文无关的相互替换并保证替换前后组合服务的行为是一致的。在Petri网化简技术的基础上提出了WS_Net的化简规则,证明了这些化简规则能够保持WS_Net化简前后的接口互模拟等价特性。在实际应用中能够通过化简的方法降低Web服务可替换性分析的复杂度。
[Abstract]:In order to solve the problem of Web service substitutability in service composition, based on Petri net models such as workflow net and open net, a Petri net model for service-oriented system (-WSNET) is proposed. The model includes two parts of Web services: internal flow and external interface. WSNet can accurately describe the order, loop, concurrency, invocation, and select five common service composition methods. On the basis of petri net mutual simulation equivalence, the mutual simulation equivalence relation about interface transition of WSSP net is defined. On the interface transition mutual simulation equivalent WSStat net can implement context-independent substitution and ensure that the behavior of the composite services before and after the replacement is consistent. Based on the technology of Petri net simplification, the simplification rules of WSS net are put forward, and it is proved that these simplification rules can maintain the equivalent characteristics of interface simulation before and after the reduction of WSSP net. In practical application, the complexity of Web service substitutability analysis can be reduced by means of simplification.
【作者单位】：北方工业大学信息工程学院;
【基金】：国家自然科学基金资助项目(61070030,61111130121)~~
【分类号】：TP393.09

【参考文献】