UML状态机模型形式化验证技术研究

作     者：侯敏 宋文鹏 王泊涵 王新冶 HOU Min;SONG Wen-peng;WANG Bo-han;WANG Xin-ye

作者机构：中国航天科工集团第二研究院706所北京100854 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2012年第33卷第9期

页      码：3460-3464页

摘      要：系统建模是系统开发经常用到的分析设计方法,如何保证模型的正确性一直是人们关注的话题。为了验证系统设计的模型正确性,进而提高整个系统的质量,提出了一种通过模型检查技术对UML状态机模型进行动态语义验证的方法。对状态机模型进行形式化描述,根据定义的映射规则将图形信息映射成模型检查器可以读取的语言,分析待验证的性质内容,通过使用模型检查器得到验证结果。

主 题 词：UML状态机 模型检查 形式化验证 符号模型检查器 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-7024.2012.09.038

馆 藏 号：203100333...