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