基于本体语义映射,对不同层次的模型映射进行分类并加以形式化,分析不同层次模型之间的映射关系和基本原则。为模型转换的具体实现提供理论指导,还为验证模型映射规则的可行性和正确性提供依据。