基于MDA的实时软件资源建模与模型转换的方法

摘要：

模型驱动体系结构(MDA)是一种以模型为中心的软件开发框架,其本质是元建模与模型转换.提出了一种基于MDA的实时软件资源建模与模型转换的方法.首先通过元建模抽象出包含资源信息的MARTE元模型以及价格时间自动机的元模型;然后利用模型转换语言ATL对MARTE元模型和价格时间自动机元模型构造转换规则,通过将对应的实例模型进行相互转换,实现在MDA下MARTE模型到价格时间自动机模型的转换;最后通过形式化工具UPPAAL对模型转换结果进行形式化验证.实例分析表明了该方法的可行性与有效性,它能够提高实时软件资源建模的可信性.

关键词：模型驱动体系结构、元建模、MARTE、模型转换、价格时间自动机

所属期刊栏目：38

分类号：TP3;TN9

资助基金：国家高技术研究发展计划863计划2009AA010307;南京航空航天大学基本科研业务费专项科研项目NS2010108

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

页数：共6页

页码：136-141