%0 Journal Article
%T 基于mda的实时软件资源建模与模型转换的方法
%A 吉鸣
%A 黄志球
%A 祝义
%A 王珊珊
%A 沈国华？
%J 计算机科学
%D 2011
%X 模型驱动体系结构(mda)是一种以模型为中心的软件开发框架，其本质是元建模与模型转换。提出了一种基于mda的实时软件资源建模与模型转换的方法。首先通过元建模抽象出包含资源信息的marts元模型以及价格时间自动机的元模型;然后利用模型转换语言atl对marts元模型和价格时间自动机元模型构造转换规则，通过将对应的实例模型进行相互转换，实现在mda下mar"i'e模型到价格时间自动机模型的转换;最后通过形式化工具uppaal对模型转换结果进行形式化验证。实例分析表明了该方法的可行性与有效性，它能够提高实时软件资源建模的可信性。
%K 模型驱动体系结构
%K 元建模
%K marte
%K 模型转换
%K 价格时间自动机
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=110831&flag=1