基于π演算的异构Web服务组合的互操作  

The Interoperation Between Heterogeneous Web Service Compositions Based on π-calculus

作　　者：廖志军[1] 高春鸣[1] 

机构地区：[1]湖南师范大学数学与计算机科学学院,410081

出　　处：《中国科技信息》2007年第6期130-132,135,共4页China Science and Technology Information

基　　金：湖南省重点科技攻关项目(编号:05GK2002);湖南省自然科学基金项目(编号:03JJY6023)

摘　　要：采用针对Web服务组合协议的扩充π-演算,形式化地描述了Web服务流程的行为,在抽象的形式化层次上描述了由不同Web服务组合协议构成的流程之间互操作的中间适配规范、适配器生成规范和由规范制导的适配器生成方法。通过适配器生成过程的形式化描述可以自动生成该适配器。通过实例具体实现了BPEL4WS和WSCI互操作的适配器形式化描述,以此说明可以在抽象层次上实现不同Web服务组合协议描述的服务流程之间的互操作。In this paper ,we use the expanded π-calculus, which is used to formalize the behavior of the Web Service composition abstractly. We describe the middle adapting specification for interoperating between the processes described by different Web Service composition language, generating specification of adaptor and adaptor generating navigated by the specification . With the formal description of the adaptor generating process, we can automatically generate the adaptor. Also, we realize the formal description of the adaptor for the interoperation between BPEL4WS and WSCI with an instance,so that it shows the interoperation between the processes described by different Web Service composition language can be feasible on the adstract level.

关 键 词：异构Web服务组合 BPEL4WS WSCI Π-演算 适配器 

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