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

【Abstract】 Model Driven Architecture(MDA) is a model-centric software development framework.Its nature is meta modeling and model transformation.In this paper,a MDA-based method on resource modeling and model transformation of real-time software was proposed.This method first abstracts MARTE meta-model which contains some resource information and Priced Timed Automata(PTA) meta-model through meta-modeling.Secondly it uses ATL model transformation language to transform instance models from MARTE model to PTA model.The transformation is to construct transformation rules for MARTE meta-model and PTA meta-model.Finally,the result is formal verified through formal tool UPPAAL.The case shows the feasibility and effectiveness of the method which can improve the reliability of resource modeling of real-time software.更多还原