作　　者： ; ; ; ;

机构地区： 华南理工大学机械与汽车工程学院

出　　处： 《华南理工大学学报（自然科学版）》 2009年第4期80-85,共6页

摘　　要： 传统的以代码为中心的数控系统开发方式使系统测试滞后,性能难以保证,开发成本增加.针对这种情形,文中提出利用模型转换将领域模型转换为第三方验证工具(Matlab或UPPAAL)可识别的模型来进行系统性能早期测试,从模型层保证系统的可靠性.采用基于元模型层的规则定义、语义动态添加和基于设计模式的操作等策略,以满足模型转换的语义保持性、转换一致性、转换可终止性、转换易扩展性等具体要求,并给出了模型转换实现的理论框架以及点对点转换和两步法转换两种实现方式.最后,通过一个从数控系统工作模式模型到StateFlow模型的转换实例,从建模语言构建、映射规则定义、算法设计等方面验证了上述模型转换理论框架和实现方式的可行性及正确性. 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.

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

领　　域： [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术]