| 基于B方法的Web Service组合描述和验证方法 |
| |
| 引用本文： | 王帅强,万建成,侯金奎,冯仕红.基于B方法的Web Service组合描述和验证方法[J].计算机工程,2007,33(19):19-22,4. |
| |
| 作者姓名： | 王帅强 万建成 侯金奎 冯仕红 |
| |
| 作者单位： | 山东大学计算机科学与技术学院,济南,250061 |
| |
| 摘 要： | 对于Web Service及其组合来说，保证其组合的正确性是十分必要的。B方法是一个基于模型的形式化方法，有很强的结构化机制和很好的工具支持，对于建模和软件验证是一种有效的方法。该文基于B方法对Web服务及其组合进行了形式化建模，并能够利用B方法相对成熟和完善的模型检查工具，来完成模型的正确性验证。
|
| 关 键 词： | Web Service B方法 服务形式化 服务组合 |
| 文章编号： | 1000-3428（2007）19-0019-04 |
| 修稿时间： | 2006-10-08 |
Approach of Describing and Verifying Web Service Composition Using B-method |
| |
| WANG Shuai-qiang,WAN Jian-cheng,HOU Jin-kui,FENG Shi-hong.Approach of Describing and Verifying Web Service Composition Using B-method[J].Computer Engineering,2007,33(19):19-22,4. |
| |
| Authors: | WANG Shuai-qiang WAN Jian-cheng HOU Jin-kui FENG Shi-hong |
| |
| Affiliation: | School of Computer Science and Technology,Shandong University,Jinan 250061 |
| |
| Abstract: | It is necessary to guarantee the validity of Web services and their composition.Since B-method is a model-based formal method,which has strong structuring mechanisms and good tool support,it is an effective method for modeling and verifying.Therefore,this paper models for Web Services and their composition and verifys the B model with the help of the tools of B. |
| |
| Keywords: | Web Service B-method formal service service composition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
