基于B语言的UML形式化方法

›› 2004, Vol. 30 ›› Issue (12): 63-65.

基于B语言的UML形式化方法

周欣,魏生民

西北工业大学现代设计与集成制造技术教育部重点实验室,西北工业大学现代设计与集成制造技术教育部重点实验室西安 710072

发布日期:2004-06-25

B-based Formalization of UML

ZHOU Xin,WEI Shengmin

(Key Laboratory of Contemporary Design and Integrated Manufacturing Technology,Ministry of Education, Northwestern Polytechnical University,Xi'an 710072)

Published:2004-06-25

摘要/Abstract

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

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

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.

中图分类号:

TP311

周欣,魏生民. 基于B语言的UML形式化方法[J]. , 2004, 30(12): 63-65.

ZHOU Xin,WEI Shengmin. B-based Formalization of UML[J]. , 2004, 30(12): 63-65.

[1]	周波,曾一,陈恒鑫,刘慧君,杨燕宁. Web服务组合匹配框架研究[J]. 计算机工程, 2017, 43(1): 98-104.
[2]	曾一, 刘青香, 王翠钦, 洪豪. 带OCL约束的多态路径测试线索生成方法[J]. 计算机工程, 2013, 39(8): 92-96,102.
[3]	陈振庆. 基于时序描述逻辑的UML顺序图形式化方法[J]. 计算机工程, 2013, 39(3): 36-40.
[4]	曾一, 丁娜, 邹明. 带OCL的活动图多态性测试用例生成方法[J]. 计算机工程, 2012, 38(10): 34-37.
[5]	张炜钟, 王智学, 赵文. 基于SysML的可执行体系结构框架[J]. 计算机工程, 2011, 37(22): 39-41.
[6]	闵丽娟, 卢捍华, 王亚石. 智能开关照明控制系统中的上位机软件设计[J]. 计算机工程, 2011, 37(22): 290-292.
[7]	杨鹤标, 李云平. 基于UML活动图的功能测试场景生成方法[J]. 计算机工程, 2011, 37(21): 55-57.
[8]	梁盟磊, 王小平, 薛小平, 李刚. 基于TLA的UML模型形式化验证[J]. 计算机工程, 2011, 37(2): 72-74.
[9]	袁柯, 宋顺林, 姜自雷. 基于MDA与UML扩展的安全软件开发方法[J]. 计算机工程, 2011, 37(15): 110-112.
[10]	陈振庆. 基于描述逻辑的带依赖属性UML类图[J]. 计算机工程, 2011, 37(15): 49-51.
[11]	陈振庆, 罗兰花. 基于动态描述逻辑的UML状态图形式化方法[J]. 计算机工程, 2011, 37(13): 55-57,60.
[12]	王涛, 金英, 张晶. 基于安全模式的软件安全设计方法[J]. 计算机工程, 2011, 37(12): 59-61.
[13]	周杰;宋克柱;曹平;程伊敏. 高精度地震采集系统中的主控软件设计[J]. 计算机工程, 2010, 36(4): 229-232.
[14]	王小龙;李明. 基于SWRL元模型的本体公理建模方法[J]. 计算机工程, 2010, 36(2): 53-55.
[15]	严志嘉. 基于UML的三维建模系统多方案动画设计[J]. 计算机工程, 2010, 36(19): 288-290.

选择文件类型/文献管理软件名称

选择包含的内容