关键词: 计算机数控, 模型验证, 模型转换, 元模型, 特定领域建模

Abstract:

The traditional code-centered development methods of CNC systems have made the system testing lag behind. They cannot guarantee system performances and often result in an increase in the development cost. To solve this problem, a new approach, which transforms the domain model to another model discerned by a third-party verification tool （Matlab or UPPAAL）, is proposed to guarantee the system reliability in the model layer. In this ap- proach, several strategies including the rule definition based on the meta-model layer, the dynamic semantic attaching and the operation based on the design pattern are presented to meet the specific requirements for the semantic retentivity as well as the transformation consistency, terminability and extensibility of the model transformation. Then, a theoretical framework for the model transformation and two realization methods respectively with the point- to-point and the two-step transformations are described. An example of the model transformation from a CNC working mode model to a StateFlow model is finally presented to verify the feasibility and accuracy of the framework and its realization in terms of the modeling language construction, the mapping rule definition and the algorithm design.

Key words: computerized numerical control, model verification, model transformation, meta-model, specific domain modeling