?元模型

...，分别使用混成附属语言转换方法、嵌入式系统软件行为附属语言转换方法、不确定性附属语言转换方法，将AADL模型转换为UPPAAL模型。元模型(metamodel)是用来定义语义模型的构造和规则的,通常称为定义表达模型的语言的模型。