10.3969/j.issn.1000-3428.2004.12.024
基于B语言的UML形式化方法
分析了目前主要的UML形式化方法及特点,提出了基于B语言的转换方法B2F(B-Based Formalization),通过将UML模型转化为B抽象机描述实现UML的形式化描述和验证,并详细分析了基于B2F方法的UML类图的形式化,证明了该方法的可行性.
统一建模语言、B抽象机、B语言
30
TP311(计算技术、计算机技术)
2004-07-22(万方平台首次上网日期,不代表论文的发表时间)
共3页
62-64