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

为解决服务组合中的Web服务可替换性问题,在工作流网、开放网等Petri网模型的基础上,提出一种适合面向服务系统的Petri网模型——WS_Net。该模型包含了Web服务的两部分内容内部流程和外部接口。WS_Net可以准确描述顺序、循环、并发、调用、选择五种常见的服务组合方式。在Petri网互模拟等价的基础上定义了WS_Net内网的关于接口变迁的互模拟等价关系,关于接口变迁互模拟等价的WS_Net可以实现上下文无关的相互替换并保证替换前后组合服务的行为是一致的。在Petri网化简技术的基础上提出了WS_Net的化简规则,证明了这些化简规则能够保持WS_Net化简前后的接口互模拟等价特性。在实际应用中能够通过化简的方法降低Web服务可替换性分析的复杂度。