| 基于UML的建模及模型检验研究 |
| |
| 引用本文： | 吴晓丹,宁滨. 基于UML的建模及模型检验研究[J]. 现代电子技术, 2011, 34(6): 49-51,54 |
| |
| 作者姓名： | 吴晓丹 宁滨 |
| |
| 作者单位： | 北京交通大学,轨道交通控制与安全国家重点实验室,北京,100044 |
| |
| 摘 要： | UML是一种广泛使用的面向对象的可视化统一建模语言，但UML缺乏精确的语义描述，难以对UUL模型进行分析验证以判断设计规范是否满足目标需求。符号模型检验是一种能够有效保证系统可信性质的自动检验技术。为了检验UML模型的正确性，在建模的基础上把UML模型转换为SMV模型，然后使用符号模型检验器（SMV）对模型进行检验，有利于在系统的设计早期发现系统的缺陷。
|
| 关 键 词： | UML 符号模型检验 SMV 模型转换 |
Modeling And Model Checking Based on UML |
| |
| Wu Xiao-dan,NING Bin. Modeling And Model Checking Based on UML[J]. Modern Electronic Technique, 2011, 34(6): 49-51,54 |
| |
| Authors: | Wu Xiao-dan NING Bin |
| |
| Affiliation: | WU Xiao-dan,NING Bin(State Key Laboratory of Rail Traffic Control and Safety,Beijing Jiaotong University,Beijing 100044,China) |
| |
| Abstract: | |
| |
| Keywords: | UML SMV |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
