[发明专利]基于元对象机制的AADL到Simulink模型自动转换方法

权利要求书

1.一种基于元对象机制的AADL到Simulink模型自动转换方法，其特征在于包括以下步骤：

步骤一、分析AADL模型，采用Ecore元模型标准建立AADL元模型；AADL元模型包含一个名为 aadl2的Package用来表示AADL包的概念；包内含AADL的所有构件类型，每一种构件类型都由抽象类和具体类共同刻画；抽象类定义具体类的基本组成属性和引用，具体类实现自抽象类，又细分为构件类型类和构件实现类；

步骤二、分析Simulink模型，建立Simulink的Ecore元模型；所述Simulink的Ecore元模型包含一个Package以建模模型库的概念；包含一个Simulink模型的通用图形接口GraphInterface元类以及一个描述模型结构的System元类；System元类拥有对模块元类、端口元类、信号线元类和SFunction元类的引用；Simulink的Ecore元模型用来指导XML格式的Simulink模型的生成；

步骤三、针对AADL元模型和Simulink的Ecore元模型，建立AADL到Simulink的转换模型；借助模型转换框架ATL，转换模型采用模型转换语言ATL描述，作为.atl格式的文件保存；该文件中包含一个匹配规则Matched Rule和多个懒惰规则Lazy Rule，其中懒惰规则的调用由匹配规则完成，匹配规则作为转换的入口点在转换启动后由ATL引擎自动调用；

步骤四、执行ATL转换，自动生成模型；为步骤三所建立的AADL到Simulink转换模型文件指定相应的输入输出模型，并对转换所基于的AADL元模型和Simulink的Ecore元模型进行配置，随后启用转换，得到生成模型；

步骤五、解析步骤四生成的模型，进行格式转换得到Simulink模型；该模型存储格式为.mdl，支持Matlab的操作和修改；

步骤六、采用Eclipse插件，完成AADL模型到Simulink模型的自动转换。