| 基于π演算的异构Web服务组合的互操作 |
| |
| 引用本文： | 廖志军,高春鸣.基于π演算的异构Web服务组合的互操作[J].中国科技信息,2007(6):130-132,135. |
| |
| 作者姓名： | 廖志军 高春鸣 |
| |
| 作者单位： | 湖南师范大学数学与计算机科学学院,410081 |
| |
| 基金项目： | 湖南省科技攻关项目;湖南省自然科学基金 |
| |
| 摘 要： | 采用针对Web服务组合协议的扩充π-演算,形式化地描述了Wab服务流程的行为,在抽象的形式化层次上描述了由不同Web服务组合协议构成的流程之间互操作的中间适配规范,适配器生成规范和由规范制导的适配器生成方法.通过适配器生成过程的形式化描述可以自动生成该适配器.通过实例具体实现了BPEL4WS和WSCI互操作的适配器形式化描述,以此说明可以在抽象层次上实现不同Web服务组合协议描述的服务流程之间的互操作.
|
| 关 键 词： | 异构Web服务组合 π-演算 适配器 |
The Interoperation Between Heterogeneous Web Service Compositions Based on π-calculus |
| |
| LIAO Zhijun,GAO Chunming.The Interoperation Between Heterogeneous Web Service Compositions Based on π-calculus[J].CHINA SCIENCE AND TECHNOLOGY INFORMATION,2007(6):130-132,135. |
| |
| Authors: | LIAO Zhijun GAO Chunming |
| |
| Institution: | College of Mathematics and Computer Science; Hunan Normal University; Changsha 410081 |
| |
| Abstract: | |
| |
| Keywords: | BPEL4WS WSCI |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
