A tool to convert XMI to SMV in 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 transcoder 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.