首页 | 本学科首页   官方微博 | 高级检索  
     

基于B语言的UML形式化方法
引用本文:周欣,魏生民.基于B语言的UML形式化方法[J].计算机工程,2004,30(12):62-64.
作者姓名:周欣  魏生民
作者单位:西北工业大学现代设计与集成制造技术教育部重点实验室,西安,710072
摘    要:分析了目前主要的UML形式化方法及特点,提出了基于B语言的转换方法B2F(B-Based Formalization),通过将UML模型转化为B抽象机描述实现UML的形式化描述和验证,并详细分析了基于B2F方法的UML类图的形式化,证明了该方法的可行性。

关 键 词:统一建模语言  B抽象机  B语言
文章编号:1000-3428(2004)12-0062-03

B-based Formalization of UML
ZHOU Xin,WEI Shengmin.B-based Formalization of UML[J].Computer Engineering,2004,30(12):62-64.
Authors:ZHOU Xin  WEI Shengmin
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.
Keywords:Unified modeling languge(UML)  B AMN  B language  
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号