数控系统的模型转换形式化语义集成框架的实现方法

摘要

本发明提供了数控系统的模型转换形式化语义集成框架的实现方法，其构建了数控系统形式化语义集成框架，领域元模型实例化得到的领域应用模型可通过该集成框架自动转换为形式化应用模型，进而可通过工具解释器，导入第三方仿真验证工具中进行形式化验证，或者通过代码自动生成解释器，生成特定目标平台的可执行代码。本发明为数控系统开发提供严格定义的形式化规范以精确描述系统相应的操作语义，使得数控系统模型可以通过计算机工具进行精确化验证，大大提高系统可靠性、安全性等性能。

主权项

数控系统的模型转换形式化语义集成框架的实现方法，其特征是实现计算机数控系统的形式化描述与模型自动转换仿真验证，包括以下步骤：1）通过分析数控系统的行为特征，构建一组计算模型描述数控系统的不同方面，本系统中将该组计算机模型称为语义模块；2）基于步骤1）的语义模块，采用类UML语言构建数控系统的形式化元模型；根据数控系统形式化元模型与一组数控系统领域元模型，构建系统的形式化语义转换规则；3）基于数控系统形式化元模型和相关仿真验证工具，构建系统形式化仿真验证解释器；基于数控系统的形式化应用模型与仿真验证解释器，对数控系统进行形式化仿真验证，在Matlab软件中仿真其轨迹，在UPPAAL中验证其实时性和状态可达性。