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

A tool to convert XMI to SMV in Python

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

Using model checking tool NuSMV, in general, firstly built the system behavior modeling using UML, then use NuSMV input language syntax describing the model, but the above process is very trival, and sometime there inevitably have some man - made transfer mistakes . To solve the problem, this paper present a transeoder from XMI to SMV and implement it using Python laguage. This tool bridges the gap between the formal and the visual behavioral system model and makes it flexible to using the model checking tools.