特定领域元建模语言的形式化及其元模型和模型的一致性验证研究

项目名称： 特定领域元建模语言的形式化及其元模型和模型的一致性验证研究

项目编号： No.61363022

项目类型： 地区科学基金项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 江涛

作者单位： 云南民族大学

项目金额： 45万元

中文摘要： 在特定领域建模这种面向特定领域的模型驱动开发方法中，模型的质量决定了软件产品的质量。而作为模型质量最重要性质之一的模型一致性及其验证问题，成为研究热点。然而非形式化定义的特定领域元建模语言不具备对其结构特性和约束关系的严格描述能力，致使元模型和模型的一致性验证缺乏整体性、系统性和精确性。本项目在对特定领域元建模语言XMML进行扩展和细化的基础上，给出XMML结构语义基于一阶逻辑的形式化表示，建立元模型基于一阶逻辑的形式化框架和领域一致性约束的自定义机制，基于此给出元模型和模型一致性以及领域一致性约束一致性和有效性的概念及其基于一阶逻辑推理的验证方法，研究元模型和模型形式化自动映射机制并设计和实现相应的自动映射引擎，最后实施自动映射和验证实验来说明我们形式化方法的可行性。本项目是基于元建模语言形式化表示的元模型和模型可验证性方面的应用理论研究，为模型转换及代码生成方面的研究有重要的促进作用。

中文关键词： 特定领域元建模语言；域；结构语义；逻辑一致性；自动映射

英文摘要： In Domian-Specific Modeling(DSM) as a Model-Driven Development methodology for the specific domain, quality of model determines quality of software product, model's consistency as one of the basic and most important properties of model quality and its ver

英文关键词： Domain-Specific Metamodeling Language；domain；structural semantics；logical consistency；automatic mapping