基于本体语义的模型映射研究

Research on Model Mapping Using Ontology Semantics

模型转换是模型驱动开发的一项关键技术,模型间的映射关系是模型转换的基础和依据。通过对模型描述语言的语法结构和语义表达特性进行抽象分析,基于本体语义映射,对不同层次的模型映射进行了分类并加以形式化定义,进一步探讨了不同抽象层次模型之间映射关系的建立过程以及所应遵循的基本原则。以UML类模型到C语言模型的映射为例进行了阐述。这不仅可为模型转换的具体实现提供理论指导,还为验证模型之间映射规则的可行性和正确性提供依据。

Model transformation is a key technology of model-driven software development, while the mapping relations between different models are the foundation and basis for the transformation. Based on ontology semantic mapping, a classification for different level model mappings was proposed and defined formally by abstractly analyzing the characteristics of syntax and semantic features of modeling languages.On this basis,a further study was conducted to explore the definition process for mapping relations and the cardinal principles should be followed.The UML-based class model used as a source and the C programming language used as the target are shown in the case study to help interpreting the ideas.It may not only be a theoretical guidance for model transformation,but also can be a measurement for validating the mapping rules between models at different abstract levels.