论文部分内容阅读
成员服务彼此相容是Web服务组合正确执行的必要条件.服务组合演化阶段各成员服务不再将业务过程控制权委托给集成合作方,使服务相容性判定成为难点.将服务编排层的端口、流程结构与行为作为服务相容性判定要素,提出适用于演化阶段的相容性判定机制,每个成员服务分别作为执行者,判定自身与其伙伴服务构成的组合的相容性,使所有服务协同参与相容性判定过程.最后,通过完整的实例描述了相容性判定的过程,使用π演算建模工具MWB验证行为相容性判定的有效性.
Member services are compatible with each other is a necessary condition for the correct implementation of Web services.Every member service in the evolution stage of service composition will no longer entrust the business process control to the integration partner, making the service compatibility decision becomes difficult.Services layer layer of the port , Process structure and behavior as the determinants of service compatibility, and put forward the compatibility decision mechanism applicable to the evolution stage. Each member service as the performer, to determine the compatibility of its own and its partner service composition, so that all services Collaboratively participate in the process of compatibility determination.Finally, the process of consistency determination is described by a complete example, and the validity of the behavioral compatibility determination is verified by using MWB modeling tool MWB.