作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2007, Vol. 33 ›› Issue (19): 19-22,4. doi: 10.3969/j.issn.1000-3428.2007.19.007

• 博士论文 • 上一篇    下一篇

基于B方法的Web Service组合描述和验证方法

王帅强,万建成,侯金奎,冯仕红   

  1. (山东大学计算机科学与技术学院,济南 250061)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-10-05 发布日期:2007-10-05

Approach of Describing and Verifying Web Service Composition Using B-method

WANG Shuai-qiang, WAN Jian-cheng, HOU Jin-kui, FENG Shi-hong   

  1. (School of Computer Science and Technology, Shandong University, Jinan 250061)
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-10-05 Published:2007-10-05

摘要: 对于Web Service及其组合来说,保证其组合的正确性是十分必要的。B方法是一个基于模型的形式化方法,有很强的结构化机制和很好的工具支持,对于建模和软件验证是一种有效的方法。该文基于B方法对Web服务及其组合进行了形式化建模,并能够利用B方法相对成熟和完善的模型检查工具,来完成模型的正确性验证。

关键词: Web Service, B方法, 服务形式化, 服务组合

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.

Key words: Web Service, B-method, formal service, service composition

中图分类号: