%0 Journal Article
%T 用Python实现从XMI到SMV的程序转换器
%A 许明
%A 开金宇
%J 福州大学学报(自然科学版)
%D 2014
%X 在使用NuSMV模型检验工具时，常常先使用UML的状态图对系统进行行为建模，然后再使用NuSMV输入语言的语法描述该模型，这个过程繁琐，有时会出现人为的转换错误. 为此，设计了XMI2SMV代码转换器，并用Python编程语言实现了这个工具，降低了模型检验工具的使用难度.
%K Python
%K XMI
%K SMV代码
%K 模型检验
%U http://xbzrb.fzu.edu.cn/ch/reader/view_abstract.aspx?file_no=20140009&flag=1