Abstract: This paper presents an approach of formalization of unified modeling language with B language, and realizes it via transforming model of UML to B abstract machine notation. Then, it expresses UML class diagram using this approach called B-based formalization.

摘要： 分析了目前主要的UML形式化方法及特点,提出了基于B语言的转换方法B2F(B-BasedFormalization),通过将UML模型转化为B抽象机描述实现UML的形式化描述和验证,并详细分析了基于B2F方法的UML类图的形式化,证明了该方法的可行性。

关键词: 统一建模语言, B抽象机, B语言

CLC Number: 

• TP311