[发明专利]一种将AADL无损转换成XML的方法

权利要求书

1.一种将AADL无损转换成XML的方法，其特征在于：包括以下步骤：

(1)使用EMF描述AADL的元模型；

(2)在Xtext中建立AADL正规文法到AADL元模型的映射，即在Xtext中使用EMF提供的对象模型在内存中表示文法的抽象语法权结构，针对每一句AADL文法，将其映射到EMF对应的元模型中，从而将AADL模型转换成对象模型；

(3)利用EMF的固化机制固化转换后的对象模型，得到XML文件。

2.根据权利要求1所述的一种将AADL无损转换成XML的方法，其特征在于：所述步骤(1)中AADL的元模型描述如下：

(1)ModelUnit：AADL元模型的根节点，包括AADL包声明(AadlPackage)和AADL属性集声明(Property Set)两个子节点；

(2)AadlPackage：定义AADL包，包括AADL构件类型声明(ComponentType)和AADL构件实现声明(Component Imp)两个子节点；

(3)ComponentType：构件类型声明，包括features，flows，properties三个子节点；包括一个CTName属性表示构件的名字，包括一个CTType属性表示构件的类型；自引用表示构件之间的继承(extend)关系，并且和ComponentImp互引用；

(4)features：表示一个构件的外部接口特征，包含四个子节点：端口(ports)、访问(access)、子程序(subprogram)、参数(parameter)；

(5)ports：表示端口特性，包含两个属性：端口类型(PType)和端口方向(PortDerect)；

(6)flows：表示一个构件内部的数据流；

(7)properties：表示一个构件的属性特征；

(8)ComponentImp：构件实现声明，表示对ComponentType定义的类型的具体实现；包含数据流(flows)、属性(properties)、子构件(subcomponents)、连接(connections)、调用序列(call_sequences)、模态(modes)四个子节点；包含属性CIName表示构件名字，包含CIType表示构件类型；一个自引用表示构件间的继承(extend)关系；并且和ComponentType互引用表示是对哪个构件声明的实现；

(9)subcomponents表示一个构件所包含的子构件；

(10)connections表示一个构件内部端口(Port)之间的链接关系；

(11)call_sequences表示子程序(subprogram)的调用序列；

(12)modes表示构件的模态及转换，包含两个子节点：模态声明(mode)、模态转换(mode transitions)；

(13)PropertySet：用户自定义的属性集，包含属性类型(PropertyType)、属性定义(PropertyDefination)、常量(constants)、三个子节点。