论文部分内容阅读
尽管结构语义非常重要,但是由于特定领域建模语言(DSMLs)采用非形式化定义,无法对其结构语义进行精确描述,从而导致对基于结构语义的性质不能进行系统的分析和验证。针对这一问题,本论文提出了特定领域建模语言结构语义的一种形式化描述方法。该方法先给出表示特定领域建模语言结构语义的域基于代数的一种形式化定义并建立域到对应一阶逻辑系统的映射机制,在此基础上,讨论DSMLs 结构语义基于一阶逻辑的形式化表示方法及其模型基于形式化的一致性验证方法,并通过实例加以说明,最后通过模型形式化自动映射引擎的设计及其相关实验的分析来说明我们形式化方法的可行性。