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

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) metes-model through metes 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 MAR I}E metes model and P TA metes-model. Finally, the result is formal verified through formal tool UPPAAI.I}he case shows the feasibility and effectiveness of the method which can improve the reliability of resource modeling of real-time software.

Key words: MDA, Metes modeling, MARTE, Model transformation, Priced timed automata