基于元建模的实时系统模型转换方法研究

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

通过模型转换将UML模型转换为形式化模型并进行模型检验是软件工程研究领域的热点,然而传统的模型转换多是ad-hoc式的,转换规则复杂且难以重用.本文针对这一研究现状,通过元建模实现MARTE到时间自动机模型的转换,从而提出一种基于元建模的实时系统模型转换方法.该方法有效的分离了语法转换与语义转换,框架标准的支撑使得转换易于重用.最后通过一个实例来说明该方法的可行性与有效性.

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.