用于系统模型层验证的模型转换的研究

传统以代码为中心的数控系统开发方式导致了系统测试滞后，系统性能难以保证。针对这种情形,提出利用模型转换将领域模型转换到第三方验证工具(Matlab 或UPPAAL)进行系统性能早期测试,从模型层保证系统性能。讨论了采用基于元模型层规则定义、语义动态添加和基于设计模式的操作等策略，以此满足实际模型转换的具体要求，给出了其框架。并指出根据实际需求采用不同的实现步骤和技术手段完成模型转换。从数控系统工作模式模型到StateFlow模型的转换实例从建模语言构建、映射规则定义、算法设计等几方面验证了上述模型转换理论框架和实现手段的可行性和正确性。

Resaerch of Model tranformation used for Model Verification

Traditional development methodology of CNC system based on code tests the system after the system is fully implemented, which can not guarantee the system performances. To verify the system during the early stages of development, a new approach that transform the domain model to a third verification tool(Matlab or UPPAAL) using model transformation was proposed, several Strategies: rule definition based on meta-model layer, semantic dynamic attaching and operation based design pattern were presented and discussed to meet the concrete requirements of model transformation, a framework for model transformation based on these strategies was described. It was necessary to apply different methods and steps to meet actual requirement. In the end, an example of model transformation from CNC working mode model to StateFlow model shows the feasibility and correctness of model transformation framework and realization approach, which detailed the modeling language constructing, mapping rules definition and algorithm design of model transformation.