B method is one of the most popular formal methods at present, which supports the whole lifecycle of software development process, from specification to code generation.
B方法是目前国际上最受欢迎的软件形式化方法之一，它支持从规范说明到代码生成的整个软件开发周期。
B-method is a software formal method, which supports the whole lifecycle of software development from formal specification to code generation.
方法是一种软件形式化方法，支持从规格说明到代码生成的整个软件开发周期。
To solve these problems, this thesis put forward a method use the formal B method to describe software requirement and construct software requirement model in MDA framework.
为了解决以上问题，本文提出在MDA框架中使用形式化方法B描述软件需求从而建立软件需求模型。
应用推荐