Research on ASM based meta-model formalization semantics
基于ASM的元模型形式化语义的研究*

提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术，形式化地描述了元模型及其语义间的映射关系，以提供精确的语义描述，从而为模型驱动开发提供有力的支持。将描述框架用于模型转换规则的定义以及元模型的分析与验证，并以简单Petri网为例，说明该方法可以有效地支持模型转换和代码生成。