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

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

作　　者：王帅强[1] 万建成[1] 侯金奎[1] 冯仕红[1] 

机构地区：[1]山东大学计算机科学与技术学院,济南250061

出　　处：《计算机工程》2007年第19期19-22,41,共5页Computer Engineering

基　　金：山东省科技发展项目(20051014)

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

关 键 词：WEB SERVICE B方法 服务形式化 服务组合 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]