基于ASM的元模型形式化语义的研究  

Research on ASM based meta-model formalization semantics

作　　者：李智伟[1] 徐中伟[1] 万勇兵[1] 李盼[1] 

机构地区：[1]同济大学电子与信息工程学院,上海201804

出　　处：《计算机应用研究》2012年第1期161-164,共4页Application Research of Computers

基　　金：国家自然科学基金资助项目(61075002);铁道部科技重点资助项目(2009X002-A)

摘　　要：提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术,形式化地描述了元模型及其语义间的映射关系,以提供精确的语义描述,从而为模型驱动开发提供有力的支持。将描述框架用于模型转换规则的定义以及元模型的分析与验证,并以简单Petri网为例,说明该方法可以有效地支持模型转换和代码生成。This paper presented a formal semantic description method in the process of the model-driven development.This approach used meta-model to describe the mapping relationship between meta-model and its semantics formally for the precise semantic description.Thus,it also provided support to MOD.It applied the description frame to the definition of model transformation rules as well as the analysis and verification of meta-model.It took simple Petri net as an example to show that this method can support the model transformation and the code generation effectively.

关 键 词：模型驱动工程 元模型 简单Petri网 抽象状态机 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]