用Python实现从XMI到SMV的程序转换器

• 作者: 开金宇 许明
• 来源期刊: 福州大学学报（自然科学版）
• 学科: 工学
• 关键词: Python XMI SMV代码 模型检验
• 年，卷（期）: 2014,（1）
• 页码范围: 50-54
• 页数: 5页
• 分类号: TP309
• 字数: 3294字
• 语种: 中文
• DOI: 10.7631/issn.1000-2243.2014.01.0050

摘要

在使用NuSMV模型检验工具时,常常先使用UML的状态图对系统进行行为建模,然后再使用NuSMV输入语言的语法描述该模型,这个过程繁琐,有时会出现人为的转换错误.为此,设计了XMI2SMV代码转换器,并用Python编程语言实现了这个工具,降低了模型检验工具的使用难度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	开金宇	安阳师范学院计算机与信息工程学院	8	6	1.0	1.0
3	许明	厦门理工学院计算机与信息工程学院	9	7	1.0	2.0