公开(公告)号：CN103049602B

公开(公告)日：2016-05-18

申请号：CN201210539042.3

申请日：2012-12-13

Applicant: 南京大学

Inventor： 张天 ,  张岩 ,  赵济州 ,  李宣东

IPC: G06F17/50

CPC classification number: Y02T10/82

Abstract: 一种基于模型驱动工程的将AADL组件转换到接口自动机模型方法，包括步骤：步骤10：使用OSATE建立AADL模型；步骤11：使用EMF建立AADL元模型；步骤12：使用EMF建立IA元模型；步骤13：新建一个ATL工程，编写转换文件，将AADL模型以及AADL元模型,接口自动机元模型导入到ATL工程中；步骤14：运行ATL工程转换得到转换结果接口自动机；该方法主要特点为可以有效解决半形式化的AADL构件模型转换到接口自动机的形式化模型，基于模型驱动工程理念而非传统方法，有效利用现有建模框架和模型转换方法等。

公开(公告)号：CN103049602A

公开(公告)日：2013-04-17

申请号：CN201210539042.3

申请日：2012-12-13

Applicant: 南京大学

Inventor： 张天 ,  张岩 ,  赵济州 ,  李宣东

IPC: G06F17/50

CPC classification number: Y02T10/82

Abstract: 一种基于模型驱动工程的将AADL组件转换到接口自动机模型方法，包括步骤：步骤10：使用OSATE建立AADL模型；步骤11：使用EMF建立AADL元模型；步骤12：使用EMF建立IA元模型；步骤13：新建一个ATL工程，编写转换文件，将AADL模型以及AADL元模型,接口自动机元模型导入到ATL工程中；步骤14：运行ATL工程转换得到转换结果接口自动机；该方法主要特点为可以有效解决半形式化的AADL构件模型转换到接口自动机的形式化模型，基于模型驱动工程理念而非传统方法，有效利用现有建模框架和模型转换方法等。