基于元建模的实时系统模型转换方法研究

摘要：

通过模型转换将UML模型转换为形式化模型并进行模型检验是软件工程研究领域的热点,然而传统的模型转换多是ad-hoc式的.转换规则复杂且难以重用.本文针对这一研究现状,通过元建模实现MARTE到时间自动机模型的转换,从而提出一种基于元建模的实时系统模型转换方法.该方法有效的分离了语法转换与语义转换,框架标准的支撑使得转换易于重用.最后通过一个实例来说明该方法的可行性与有效性.

关键词：模型转换、MARTE(modeling and analysis of real time and embeded systems)、模型验证、时间自动机

所属期刊栏目：31

分类号：TP311(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划项目2009AA010307

在线出版日期：2011-03-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：2145-2153