文件名称：论文研究-基于ASM的元模型形式化语义的研究.pdf
文件大小：258KB
文件格式：PDF
更新时间：2022-08-11 11:49:18
模型驱动工程,元模型,简单Petri网,抽象状态机
提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术，形式化地描述了元模型及其语义间的映射关系，以提供精确的语义描述，从而为模型驱动开发提供有力的支持。将描述框架用于模型转换规则的定义以及元模型的分析与验证，并以简单Petri网为例，说明该方法可以有效地支持模型转换和代码生成。