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

A tool to convert XMI to SMV in Python

作　　者：许明[1] 开金宇[2,3] 

机构地区：[1]厦门理工学院计算机与信息工程学院,福建厦门361024 [2]安阳师范学院计算机与信息工程学院,河南安阳455000 [3]上海大学计算机与信息工程学院,上海200027

出　　处：《福州大学学报（自然科学版）》2014年第1期50-54,共5页Journal of Fuzhou University(Natural Science Edition)

基　　金：福建省教育厅科研资助项目(JA11241)

摘　　要：在使用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.

关 键 词：PYTHON XMI SMV代码 模型检验 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]