| 基于Pi-演算的BPEL4WS Web服务组合形式化模型 |
| |
| 引用本文： | 辜希武,卢正鼎.基于Pi-演算的BPEL4WS Web服务组合形式化模型[J].计算机科学,2007,34(3):69-74. |
| |
| 作者姓名： | 辜希武 卢正鼎 |
| |
| 作者单位： | 华中科技大学计算机科学技术学院,武汉,430074 |
| |
| 基金项目： | 国家自然科学基金
,
湖北省自然科学基金
,
软件工程重点实验室开放基金 |
| |
| 摘 要： | Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合，如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了P-演算的基本语法，针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言（Business Process Execution Language for Web Services，BPEL4WS），定义了Pi-演算和BPEL4WS之间的概念映射，并给出了BPEL4WS的基于P-演算的形式化模型，最后通过一个案例给出了模型验证的方法。
|
| 关 键 词： | Pi-演算 Web服务 Web服务组合 Web服务商业流程执行语言 |
A Pi-calculus Based Formal Model for BPEL4WS Web Service Composition |
| |
| GU Xi-Wu,LU Zheng-Ding.A Pi-calculus Based Formal Model for BPEL4WS Web Service Composition[J].Computer Science,2007,34(3):69-74. |
| |
| Authors: | GU Xi-Wu LU Zheng-Ding |
| |
| Abstract: | One of important issue in Web service composition researching area is how to describe Web service composition formally and verify the correctness of Web service composition. A formal model of Web service composition can be used to check and verify Web service composition so that the correctness of Web service composition can be guaranteed. Pi-calculus is a kind of process algebra which is suitable for modeling Web service composition. This paper introduces basic syntax of Pi-calculus. For the most important kind of specification of specifying and executing workflow based Web service composition- Business Process Execution Language for Web Services(BPEL4WS), the paper defines the conception mapping between Pi-calculus and BPEL4WS and presents a Pi-calculus based formal model for BPEL4WS.The model verification method is also introduced through a case study. |
| |
| Keywords: | Pi-calculus Web service Web service composition Business process execution language for Web services |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
