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

龙图腾网获悉南京航空航天大学申请的专利一种从RSML-e模型到Luster同步数据流语言的转换方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120144649B 。

龙图腾网通过国家知识产权局官网在2025-12-26发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510208817.6，技术领域涉及：G06F16/25；该发明授权一种从RSML-e模型到Luster同步数据流语言的转换方法及系统是由黄志球;王智艺;胡军设计研发完成，并于2025-02-25向国家知识产权局提交的专利申请。

本一种从RSML-e模型到Luster同步数据流语言的转换方法及系统在说明书摘要公布了：本发明公开了一种从RSML‑e模型到Luster同步数据流语言的转换方法及系统，所述方法将RSML‑e模型转换为Luster涉及类型、布尔表达式、and‑or表、变量、宏和函数的转换。类型转换通过创建枚举和结构体处理未定义值。布尔表达式转换包括真值判断、逻辑非、前状态引用和等值判断。and‑or表转换按列构建子表达式，并用逻辑或连接。变量转换为Luster节点，普通变量和输入变量分别处理初始值和条件。宏和函数转换为带输入和返回值的节点，内含逻辑转换为布尔表达式。整体过程实现了RSML‑e逻辑到Luster数据流的映射，从而可以使用模型检测工具对系统的安全性属性进行验证，提高系统安全性。

本发明授权一种从RSML-e模型到Luster同步数据流语言的转换方法及系统在权利要求书中公布了：1.一种从RSML-e模型到Luster同步数据流语言的转换方法，其特征在于，包括以下步骤： 对RSML-e模型进行分析，将所述RSML-e模型转换为Luster同步数据流语言的基本单元确定为类型、布尔表达式、and-or表、变量、宏和函数； 进行类型转换，对于布尔型和枚举型，创建新的枚举类型，包含RSML-e中的原始值和表示未定义的特定枚举值；对于整型和实型，创建包含两个元素的结构体类型，一个元素是枚举类型，指示值是否被定义，另一个元素存储实际的数值； 进行布尔表达式转换，RSML-e中的布尔变量直接转换为Luster中的真值判断；将RSML-e中的逻辑非转换为Luster中的假值判断；RSML-e中的PREVIOUSSTEP转换为Luster中的pre函数调用，以引用前一步的状态；RSML-e中的变量比较转换为Luster中的等值判断，RSML-e中的When条件判断在Luster中同样表示为等值判断； 进行and-or表转换，将RSML-e中的布尔变量或表达式转换为Luster中的布尔表达式，按列遍历and-or表，为每一列构建一个子表达式，该子表达式由对应行的布尔表达式或其逻辑非通过逻辑与连接而成；将所有列的子表达式通过逻辑或连接，形成最终的Luster布尔表达式； 进行变量转换，对于普通变量，将其转换为具有输入参数的Luster节点，使用-符号和if-else语句进行初始值和条件赋值，若涉及状态转换，则包含前状态的值作为条件；对于输入变量，为其建立Luster节点，并将主节点的输入参数作为此节点的输入参数； 进行宏和函数转换，为RSML-e的宏和函数定义Luster节点，包含输入参数和返回值，将宏和函数内的and-or表逻辑转换为Luster布尔表达式，将布尔表达式结果赋给节点的返回值。

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

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