Research on Model Transformation Method of Real-time System Based on Metamodeling

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.