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

• 作者: 万勇兵 徐中伟 李智伟 李盼
• 来源期刊: 计算机应用研究
• 关键词: 模型驱动工程 元模型 简单Petri网 抽象状态机
• 年，卷（期）: 2012,（1）
• 所属期刊栏目: 软件技术
• 页码范围: 161-164
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2012.01.046

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学电子与信息工程学院	95	644	13.0	20.0
2	李盼	同济大学电子与信息工程学院	3	7	1.0	2.0
3	李智伟	同济大学电子与信息工程学院	4	7	1.0	2.0
4	万勇兵	同济大学电子与信息工程学院	5	46	4.0	5.0