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

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