| 基于元建模的实时系统模型转换方法研究 |
| |
| 引用本文： | 刘亚萍,黄志球,祝义.基于元建模的实时系统模型转换方法研究[J].小型微型计算机系统,2010,31(11). |
| |
| 作者姓名： | 刘亚萍 黄志球 祝义 |
| |
| 基金项目： | 国家"八六三"高技术研究发展计划项目 |
| |
| 摘 要： | 通过模型转换将UML模型转换为形式化模型并进行模型检验是软件工程研究领域的热点,然而传统的模型转换多是ad-hoc式的.转换规则复杂且难以重用.本文针对这一研究现状,通过元建模实现MARTE到时间自动机模型的转换,从而提出一种基于元建模的实时系统模型转换方法.该方法有效的分离了语法转换与语义转换,框架标准的支撑使得转换易于重用.最后通过一个实例来说明该方法的可行性与有效性.
|
| 关 键 词： | 模型转换 MARTE(modeling and analysis of real time and embeded systems) 模型验证 时间自动机 |
Research on Model Transformation Method of Real-time System Based on Metamodeling |
| |
| LIU Ya-ping,HUANG Zhi-qiu,ZHU Yi.Research on Model Transformation Method of Real-time System Based on Metamodeling[J].Mini-micro Systems,2010,31(11). |
| |
| Authors: | LIU Ya-ping HUANG Zhi-qiu ZHU Yi |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
