买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉南京航空航天大学申请的专利一种基于ATL的SLIM模型到XSAP模型转换方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116304193B 。

龙图腾网通过国家知识产权局官网在2025-12-02发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310369791.4，技术领域涉及：G06F16/84；该发明授权一种基于ATL的SLIM模型到XSAP模型转换方法是由王立松;肖曦设计研发完成，并于2023-04-10向国家知识产权局提交的专利申请。

本一种基于ATL的SLIM模型到XSAP模型转换方法在说明书摘要公布了：本发明公开了一种基于ATL的SLIM模型到XSAP模型转换方法，包括：根据预先定义的模型转换规则，设计SLIM元模型和XSAP元模型，获取SLIM元模型和XSAP元模型的抽象语法结构；基于ATL设计模型转换算法，利用元模型及抽象语法结构，实现SLIM模型向XSAP模型的转换，得到转换后的XML格式的XSAP模型；设计校验算法，对XSAP模型进行校验，得到完整的SMV格式的XSAP模型。本发明能够将安全关键系统从SLIM模型直接转化为XSAP模型，并对转换得到的XSAP模型进行校验分析，本发明提出的转换算法和模型校验算法，具有普适性。

本发明授权一种基于ATL的SLIM模型到XSAP模型转换方法在权利要求书中公布了：1.一种基于ATL的SLIM模型到XSAP模型转换方法，其特征在于，包括： 步骤S1，根据预先定义的模型转换规则，设计SLIM元模型和XSAP元模型，获取SLIM元模型和XSAP元模型的抽象语法结构； 步骤S2，基于ATL设计模型转换算法，利用步骤S1得到的元模型及抽象语法结构，实现SLIM模型向XSAP模型的转换，得到转换后的XML格式的XSAP模型； 步骤S3，设计校验算法，对步骤S2得到的XSAP模型进行校验，得到完整的SMV格式的XSAP模型； S1中分析SLIM模型和XSAP模型的特点，预先定义如下转换规则： 1SLIM模型中用于描述物理系统中组件的类型声明和实现定义，与XSAP模型中用于描述物理系统组件的模块声明进行映射的规则； 2SLIM模型中的数据端口与XSAP模型中的状态变量进行映射的规则； 所述SLIM模型中的数据端口，用于描述组件的状态，并用于和其它组件进行数据交换； 所述XSAP模型中的状态变量，用于描述模块状态； 3SLIM模型中初始值与XSAP模型中初始赋值约束的转换规则； 所述SLIM模型中初始值通过数据端口定义指定，用于表示组件初始状态； 所述XSAP模型中初始赋值约束用于指定状态变量的初始值，从而表示模块初始状态； 4SLIM模型中组件状态与XSAP模型中状态变量进行映射的规则； 所述SLIM模型中组件状态通过组件实现定义，转换在状态之间实现； 所述XSAP模型中状态变量用于描述模块状态； 5SLIM模型中子组件与XSAP模型中实例化模块实例变量进行映射的规则； 所述SLIM模型中子组件用于引入层次结构，子组件定义在父组件的实现中； 所述XSAP模型中实例化模块实例变量用于表示模块间的层次结构； 6SLIM模型中连接与XSAP模型中不变赋值约束的转换规则； 所述SLIM模型中连接用于不同组件之间的通信、操作源端口和目标端口，将源端口的值无延迟的传输给目标端口，使得目标端口的值恒等于源端口的值； 所述XSAP模型中不变赋值约束用于表示状态变量的恒等关系； 7SLIM模型中转换与XSAP模型中后续赋值约束发转换规则； 所述SLIM模型中转换用于表示系统的动态行为； 所述XSAP模型中后续赋值约束用于指定状态变量的下一个状态取值，从而表示模块的动态行为。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人南京航空航天大学，其通讯地址为：210001 江苏省南京市江宁区将军大道29号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。