面向Web服务编排端口、流程结构与行为相容性判定  

Compatibility Determination for Choreography-oriented Port Process Structure and Behavior of Web Service

作　　者：申利民[1,2] 刘芳[1,2] 尤殿龙[1,2] 

机构地区：[1]燕山大学信息科学与工程学院,河北秦皇岛066004 [2]河北省计算机虚拟技术与系统集成重点实验室,河北秦皇岛066004

出　　处：《小型微型计算机系统》2014年第7期1543-1549,共7页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(61272125)资助;教育部博士点专项基金项目(20121333110014)资助;高等学校科学技术研究重点项目(ZH2011115)资助

摘　　要：成员服务彼此相容是Web服务组合正确执行的必要条件.服务组合演化阶段各成员服务不再将业务过程控制权委托给集成合作方,使服务相容性判定成为难点.将服务编排层的端口、流程结构与行为作为服务相容性判定要素,提出适用于演化阶段的相容性判定机制,每个成员服务分别作为执行者,判定自身与其伙伴服务构成的组合的相容性,使所有服务协同参与相容性判定过程.最后,通过完整的实例描述了相容性判定的过程,使用π演算建模工具MWB验证行为相容性判定的有效性.The compatibility of component services is a requirement for the implementation of service composition. The control over the business process will no longer be authorized to integrated partners during the composition evolution stage,which makes the compatibility determination a difficult point. Three factors will be used as the service determination elements,namely,the port,process structure and behavior of service choreography layer. Propose the compatibility determination mechanism which is applicable to evolutional stage. In this mechanism,all the component services are involved coordinately in the compatibility determination process by applying each component service,as the executor individually,determines the compatibility between self and the composition that is composed of its partners. As a result,the compatibility determination process is described by providing complete example and the effectiveness of behavior compatibility determination will be verified by the calculus modeling tool MWB.

关 键 词：服务组合 面向编排 演化 相容性判定 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]