| Web服务组合的互模拟验证 |
| |
| 引用本文： | 袁勇福,高春鸣,刘荣胜. Web服务组合的互模拟验证[J]. 计算机应用, 2006, 26(10): 2466-2469 |
| |
| 作者姓名： | 袁勇福 高春鸣 刘荣胜 |
| |
| 作者单位： | 湖南师范大学,数学与计算机科学学院,长沙,湖南,410081;湖南师范大学,数学与计算机科学学院,长沙,湖南,410081;湖南师范大学,数学与计算机科学学院,长沙,湖南,410081 |
| |
| 基金项目： | 湖南省科技攻关项目;湖南省自然科学基金 |
| |
| 摘 要： | 为检验Web服务组合的实现与用户需求的一致性，在开互模拟形式化理论和检验工具的基础上，提出了一个自动化检验方法。首先，用π-演算分别对用户需求和商业流程可执行语言（BPEL4WS）程序实现建模，然后对它们进行弱开互模拟检验，当它们不互模拟时，检验工具能自动标识关键的不互模拟的BPEL4WS程序片段。最后通过实例说明这一方法的可行性。
|
| 关 键 词： | π-演算 商业流程可执行语言 开互模拟 on-the-fly算法 模型验证 |
| 文章编号： | 1001-9081（2006）10-2466-04 |
| 收稿时间： | 2006-04-13 |
| 修稿时间： | 2006-04-132006-06-08 |
Open-bisimulation checking of Web Services combination |
| |
| YUAN Yong-fu,GAO Chun-ming,LIU Rong-sheng. Open-bisimulation checking of Web Services combination[J]. Journal of Computer Applications, 2006, 26(10): 2466-2469 |
| |
| Authors: | YUAN Yong-fu GAO Chun-ming LIU Rong-sheng |
| |
| Affiliation: | College of Mathematics and Computer Science, Hunan Normal University, Changsha Hunan 410081, China |
| |
| Abstract: | In order to check the congruence between the user's demand and implementation of Web Services combination, an auto-checking method was proposed in this paper. It was based on the knowledge of open π-bisimulation and checking tools. First, the user's demand and BPEL4WS program were modeled by π-calculus respectively. Then, weak open-bisimulation was done to them. When they were dissimulating, the checking tool can mark the dissimulation part of BPEL4WS program. In the end, a case study was made to show the feasibility of the method. |
| |
| Keywords: | π-calculus BPEL4WS open-bisimulation on-the-fly model-checking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|
