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

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

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

CLC Number: 

• TP311