| 基于ASM的元模型形式化语义的研究* |
| |
| 引用本文： | 李智伟,徐中伟,万勇兵,李盼. 基于ASM的元模型形式化语义的研究*[J]. 计算机应用研究, 2012, 29(1): 161-164 |
| |
| 作者姓名： | 李智伟 徐中伟 万勇兵 李盼 |
| |
| 作者单位： | 同济大学电子与信息工程学院,上海,201804 |
| |
| 基金项目： | 国家自然科学基金资助项目（61075002）；铁道部科技重点资助项目（2009X002-A） |
| |
| 摘 要： | 提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术,形式化地描述了元模型及其语义间的映射关系,以提供精确的语义描述,从而为模型驱动开发提供有力的支持。将描述框架用于模型转换规则的定义以及元模型的分析与验证,并以简单Petri网为例,说明该方法可以有效地支持模型转换和代码生成。
|
| 关 键 词： | 模型驱动工程 元模型 简单Petri网 抽象状态机 |
Research on ASM based meta-model formalization semantics |
| |
| LI Zhi-wei,XU Zhong-wei,WAN Yong-bing,LI Pan. Research on ASM based meta-model formalization semantics[J]. Application Research of Computers, 2012, 29(1): 161-164 |
| |
| Authors: | LI Zhi-wei XU Zhong-wei WAN Yong-bing LI Pan |
| |
| Affiliation: | (College of Electronic & Information Engineering,Tongji University,Shanghai 201804,China) |
| |
| Abstract: | |
| |
| Keywords: | model-drive engineering(MDE) meta-models basic Petri net Abstract state machine(ASM) |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
