| Pi演算建模BPEL4WS程序及实例研究 |
| |
| 引用本文： | 黄邵.Pi演算建模BPEL4WS程序及实例研究[J].湖南第一师范学报,2008,8(1):169-172. |
| |
| 作者姓名： | 黄邵 |
| |
| 作者单位： | 湖南省第一师范学校信息技术系,湖南长沙,410205 |
| |
| 摘 要： | 通过对pi演算进行扩充以形式化描述BPEL4WS程序，给出了扩充pi演算的语法和操作语义，并用pi演算的通讯并发结构表示BPEL4WS规范的link结构。基于对BPEL4WS规范死路排除DPE模式的分析，提出了一个完善的解决DPE问题的pi演算形式化方法。在以上工作的基础上，系统地完成从Web服务组合语言BPEIA．WS规范到扩展pi演算的映射，提出了几种验证程序性质的思路。最后给出了一个完整的案例，说明BPEL4WS程序的pi演算描述。
|
| 关 键 词： | BPEIAWS pi演算 DPE 模型验证 |
| 文章编号： | 1671-4369(2008)01-0169-04 |
| 修稿时间： | 2008年1月15日 |
Modeling BPEL4WS Program with Pi Calculus and Case Study |
| |
| HUANG Shao.Modeling BPEL4WS Program with Pi Calculus and Case Study[J].Journal of First Teachers College of Hunan,2008,8(1):169-172. |
| |
| Authors: | HUANG Shao |
| |
| Institution: | HUANG Shao (Hunan First Normal College, Changsha, Hunan 410205) |
| |
| Abstract: | |
| |
| Keywords: | BPEL4WS Pi calculus DPE model checking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
