一种基于ATL的IAML模型到SLIM模型的转换方法

本发明公开了一种基于ATL的IAML模型到SLIM模型的转换方法，包括：步骤1，构建IAML元模型和SLIM元模型；步骤2，设计IAML模型到SLIM模型的模型元素转换规则，并且编写相应的ATL转换规则；步骤3，构建IAML民机航电架构模型并进行导出和预处理，得到IAML源模型；步骤4，利用ATL转换引擎，通过所述元模型以及转换规则，实现IAML源模型到SLIM模型的转换，得到XML格式的SLIM文件；步骤5，对XML格式的SLIM文件进行处理和调整，生成符合SLIM语法规范的SLIM模型文件。本发明能够将IAML架构模型转换为SLIM模型，能够为系统的下一步功能正确性分析、安全性分析、可靠性分析等等提供模型支持。