Web服务业务流程执行语言交互兼容性判定  

Determination of interaction compatibility for WS-BPEL

作　　者：胡强[1,2] 杜玉越[2,3] 

机构地区：[1]青岛科技大学信息科学与技术学院,山东青岛266061 [2]山东科技大学信息科学与工程学院,山东青岛266510 [3]同济大学嵌入式系统与服务计算教育部重点实验室,上海200092

出　　处：《计算机集成制造系统》2012年第6期1337-1343,共7页Computer Integrated Manufacturing Systems

基　　金：国家973计划资助项目(2010CB328101);国家自然科学基金资助项目(61170078);山东省科技攻关资助项目(2011GGX10114)~~

摘　　要：为验证两个Web服务业务流程执行语言描述的Web服务是否交互兼容,提出了一种基于Petri网对服务进行建模和交互兼容性判定的方法。基于Petri网模型定义了服务网,给出了WS-BPEL控制结构到服务网模型的映射规则,将服务之间的交互兼容性的判定转换为对服务组合网的接口匹配和结构属性的判定,提出了一种基于服务网路径进行服务交互兼容性判定的方法,并设计了相关算法。通过实例验证了该方法的有效性。To verify whether two Web services described by Web service Business Process Execution Language（WS- BPEL） were interactively compatible, a method to model Web services and judge their interaction compatibility based on Petri net was proposed. A service net was defined to describe WS-BPEL based on Petri net, and the map- ping rules between control structures of WS-BPEL and service net were presented. Determination of interaction com- patibility for WS-BPEL was converted into judging the interface matching and structure properties of service net. Based on service net path, a decision theorem to judge interaction compatibility was put forward. The algorithm was designed and examples were given to demonstrate the efficiency of this method.

关 键 词：WEB服务 交互 兼容性 PETRI网 服务网 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]