计算机应用研究2012，Vol.29Issue(1)：161-164,4.DOI:10.3969/j.issn.1001-3695.2012.01.046
基于ASM的元模型形式化语义的研究
Research on ASM based meta-model formalization semantics
摘要
Abstract
This paper presented a formal semantic description method in the process of the model-driven development. This approach used mcta-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网/抽象状态机Key words
model-drive engineering (MDE) / meta-models/ basic Petri net/ abstract state machine (ASM)分类
信息技术与安全科学引用本文复制引用
李智伟,徐中伟,万勇兵,李盼..基于ASM的元模型形式化语义的研究[J].计算机应用研究,2012,29(1):161-164,4.基金项目
国家自然科学基金资助项目(61075002) （61075002）
铁道部科技重点资助项目(2009X002-A) （2009X002-A）
