%0 Journal Article
%T Research on ASM based meta-model formalization semantics<br>基于ASM的元模型形式化语义的研究*
%A LI Zhi-wei
%A XU Zhong-wei
%A WAN Yong-bing
%A LI Pan
%A <br>李智伟
%A 徐中伟
%A 万勇兵
%A 李盼
%J 计算机应用研究
%D 2012
%I 
%X 提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术，形式化地描述了元模型及其语义间的映射关系，以提供精确的语义描述，从而为模型驱动开发提供有力的支持。将描述框架用于模型转换规则的定义以及元模型的分析与验证，并以简单Petri网为例，说明该方法可以有效地支持模型转换和代码生成。
%K 模型驱动工程
%K 元模型
%K 简单Petri网
%K 抽象状态机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=4189763B19B8AD450A19BE4A0DD0D61D&yid=99E9153A83D4CB11&vid=771469D9D58C34FF&iid=CA4FD0336C81A37A&sid=8575BEDA702C4B7C&eid=F260CE035846B3B8&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=10