Abstract：The model verifications, which are through the transformation from UML model to formal model, have become the hotspots in the field of software engineering. But most of the traditional model transformations are ad-hoc styles, which are complex and difficult to reuse. This paper is aimed at this situation, and implements model transformation from MARTE to timed automata by means of metamodeling. Thus based on metamodeling, a real-time system model transformation method is proposed. It separates syntax transformation and semantics transformation effectively, and the standard transformation framework allows for better support of reusability. Finally, a representative case study is presented to illustrate the feasibility and effectiveness.
刘亚萍1，黄志球1，祝义1，2. 基于元建模的实时系统模型转换方法研究[J]. , 2010, 31(11): 2145-2153.
LIU Ya-ping1, HUANG Zhi-qiu1, ZHU Yi1,2. Research on Model Transformation Method of Real-time System Based on Metamodeling. , 2010, 31(11): 2145-2153.
