| 基于Pi-演算的BPEL4WS Web服务组合形式化模型 |
| |
| 作者姓名： | 辜希武 卢正鼎 |
| |
| 作者单位： | 华中科技大学计算机科学技术学院,武汉,430074;华中科技大学计算机科学技术学院,武汉,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服务商业流程执行语言 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
