[发明专利]基于模型驱动工程的将AADL组件转换到接口自动机模型方法

摘要

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

主权项

一种基于模型驱动工程的将AADL组件转换到接口自动机模型方法，其特征是包括步骤：步骤一：建立AADL组件模型；步骤二：编写转换规则；步骤三：利用转换规则将AADL模型转换到IA模型；所述步骤一中，AADL模型是具有如下所描述的结构和元素：1)模型中具有thread、process、process group、data、subprogramming、processor、memory、bus、device和system中的一类或几类；2)模型中每一个组件具有声明和实现两部分；3)模型中的组件有features、flows、connetctions和properties中的一个或多个属性；4)模型中至少有一个组件在实现中具有行为附件Behavior Annex；建模语法语义遵守SAE AS5506、SAE AS5506/1和SAE AS5506/2规约标准；所述步骤二中，编写的转换规则包括：Rule 1.An AADL Component→An Interface AutomatonRule 2.The Feature of AADL Component→The Interface Automaton PortSet.Rule 3.The States of AADL Component→The Interface Automaton StateSet.Rule 4.The Initial States of AADL Component→The InterfaceAutomaton Initial State.Rule 5.The Transitions of AADL Component→The Interface AutomatonTransition Set.Rule 6.The Guard of AADL Component Transition→The InterfaceAutomaton Input Action.Rule 7.The AADL Component Transition Action sending info to the port→The Interface Automaton Output Action.Rule 8.The AADL Component Transition Action not sending info to theport→The Interface Automaton Inner Acti.所述步骤三中，利用转换规则将AADL模型转换到IA模型具体步骤包括：步骤20：选择组件实现中具有行为附件的AADL组件模型进行转换；步骤21：AADL组件的特征端口描述到接口自动机的接口集合转换；步骤22：AADL组件的状态集合到接口自动机的状态集合转换；步骤23：AADL组件的初始状态到接口自动机的初始状态转换；步骤24：AADL组件的状态迁移到接口自动机的状态迁移转换；步骤25：AADL组件状态迁移的守卫Guard到接口自动机的输入活动转换；步骤26：AADL组件状态迁移的活动Action到接口自动机的输出活动转换；步骤27：AADL组件状态迁移的无消息发送活动Action到接口自动机的内部活动转换；步骤28：利用转换得到的元素可以得到相应的接口自动机。