基于UML的建模及模型检验研究

• 作者: 吴晓丹 宁滨
• 来源期刊: 现代电子技术
• 关键词: UML 符号模型检验 SMV 模型转换
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 软件技术
• 页码范围: 49-51,54
• 分类号: TN919-34
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2011.06.015

摘要

UML是一种广泛使用的面向对象的可视化统一建模语言,但UML缺乏精确的语义描述,难以对UML模型进行分析验证以判断设计规范是否满足目标需求.符号模型检验是一种能够有效保证系统可信性质的自动检验技术.为了检验UML模型的正确性,在建模的基础上把UML模型转换为SMV模型,然后使用符号模型检验器(SMV)对模型进行检验,有利于在系统的设计早期发现系统的缺陷.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宁滨	北京交通大学轨道交通控制与安全国家重点实验室	82	815	18.0	26.0
2	吴晓丹	北京交通大学轨道交通控制与安全国家重点实验室	4	13	2.0	3.0