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

龙图腾网获悉浙江迪捷软件科技有限公司申请的专利状态机模型的形式化自动翻译方法、装置及计算设备获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114661302B 。

龙图腾网通过国家知识产权局官网在2026-01-09发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210245077.X，技术领域涉及：G06F8/51；该发明授权状态机模型的形式化自动翻译方法、装置及计算设备是由甘元科;康烁设计研发完成，并于2022-03-14向国家知识产权局提交的专利申请。

本状态机模型的形式化自动翻译方法、装置及计算设备在说明书摘要公布了：一种状态机模型的形式化自动翻译方法包括：在同步数据流层的基础上添加对应于状态机模型层的状态转换数据的状态模型分析结构，构成中间翻译层。该状态转换数据包括当前输入值、当前状态、下一状态、当前输出值、状态转换关系和时钟数据。将状态机模型层语义的状态转换数据和状态机结构数据翻译为同步数据流层语义的状态机模型数据。将同步数据流层语义的状态机模型数据翻译为C语言语义的状态机模型数据。本发明采用了各层语义保持的状态机翻译方法，简化了从状态机到同步数据流语言的翻译过程，使得状态机可以先翻译为条件块，再从条件块翻译为同步数据流语言，进而减少状态机的验证时间且提升验证效率和准确性。

本发明授权状态机模型的形式化自动翻译方法、装置及计算设备在权利要求书中公布了：1.一种状态机模型的形式化自动翻译方法，其特征在于，所述方法包括： 在同步数据流层的基础上添加对应于状态机模型层的状态转换数据的状态模型分析结构，构成中间翻译层；该状态转换数据包括当前输入值、当前状态、下一状态、当前输出值、状态转换关系和时钟数据；其中，时钟数据包括在fbyarrowpre语句中嵌入第一周期标志变量以控制同步数据流内部的时序；同步数据流语义将时态运输后置等式融入到普通等式当中，并将状态内的时态运算后置等式置于状态内等式之后执行，将条件块内的时态运算后置等式置于条件分支内的等式之后执行；同步数据流语义将时态运算第一周期标志变量内置于同步数据流的语法定义当中；在同步数据流语法中增加串行语句、条件语句嵌套和case语句嵌套的包括：在同步数据流语义增加串行语句，使得状态内和条件分支内可以通过串行语句来实现对语句列表的支持；对条件语句的嵌套，以支持对布尔类型的条件块语义的嵌套定义；对case语句的嵌套，以支持对状态机和枚举类型的条件块语义的嵌套；在同步数据流语法中增加自定义变量条件赋值语句，翻译为条件块的过程中生成自定义变量条件赋值语句；在同步数据流语法中增加节点调用重置语句； 将状态机模型层语义的状态转换数据和状态机结构数据翻译为同步数据流层语义的状态机模型数据； 将同步数据流层语义的状态机模型数据翻译为C语言语义的状态机模型数据。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人浙江迪捷软件科技有限公司，其通讯地址为：312099 浙江省绍兴市越城区平江路2号绍兴水木湾区科学园3号楼；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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