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

龙图腾网获悉上海交通大学申请的专利一种基于合约的制造工艺设计方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116339725B 。

龙图腾网通过国家知识产权局官网在2026-03-24发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310464904.9，技术领域涉及：G06F8/36；该发明授权一种基于合约的制造工艺设计方法是由戴文斌;曲德元;张瀛月设计研发完成，并于2023-04-26向国家知识产权局提交的专利申请。

本一种基于合约的制造工艺设计方法在说明书摘要公布了：本发明公开了一种基于合约的制造工艺设计方法，涉及工业边缘计算领域，该方法基于合约的高层次抽象，实现工业边缘应用的低代码开发，包括以下步骤：为制造工艺流程中的每个操作定义与操作对应的合约，并将合约与操作的本体结合成为基于合约的操作；定义由操作到可执行代码模块的映射规则；基于映射规则生成可执行代码模块；根据工艺流程，将前序操作对应的前序代码模块的输出和后序操作对应的后续代码模块的输入相连接，构成完整的可执行工艺流程。本发明使用这种基于合约的工艺设计范式，可以统一的描述离散制造和流程工业中的不同工艺，本发明使得没有很强的编程技术的工艺工程师可以通过单纯定义合约来开发工业边缘应用。

本发明授权一种基于合约的制造工艺设计方法在权利要求书中公布了：1.一种基于合约的制造工艺设计方法，其特征在于，所述方法基于所述合约的高层次抽象，实现工业边缘应用的低代码开发，所述方法包括以下步骤： S101：为所述制造工艺流程中的每个操作定义与所述操作对应的所述合约，并将所述合约与所述操作的本体结合成为基于所述合约的操作； S103：定义由所述操作到可执行代码模块的映射规则； S105：基于所述映射规则生成所述可执行代码模块； S107：根据工艺流程，将前序代码模块的输出和后序代码模块的输入相连接，构成完整的可执行工艺流程，所述前序代码模块为前序操作对应的所述代码模块，所述后序代码模块为后序操作对应的所述代码模块； 其中， 所述合约包括前置条件、操作本体、不变量、接口和后置条件，在所述合约中，所述前置条件和所述后置条件代表所述操作之间进行交互的所述接口； 在所述步骤S103中，所述映射规则包括： 将所述前置条件映射为所述代码模块的输入，在产生所述输入时检查所述前置条件是否满足； 将所述操作本体和所述不变量，映射为所述代码模块的内部算法和内部变量，如果所述前置条件满足，则执行所述内部算法； 将所述接口和所述后置条件，映射为所述代码模块的输出，如果所述内部算法被执行，则产生相应的输出，所述后置条件被满足； 使用基于合约的工艺设计范式，统一描述离散制造和流程工业中的不同工艺，通过单纯定义合约来开发工业边缘应用；基于合约的代码模块连接规则，根据工艺流程，将前序操作对应的代码模块的输出和后序操作对应的代码模块的输入相连接，从而得到完整的可执行的工艺流程，通过定义合约从而自动生成代码； 所述方法还提供基于所述合约的操作模板，所述操作模板针对所述操作进行详细描述，所述操作模板包括操作名、需要、执行、所述不变量、所述接口、保证和结束操作名，其中，所述操作名用于对所述操作命名，所述需要包括一项或多项所述前置条件，所述执行包括所述操作本体，所述不变量为一项或者多项，所述接口为一项或者多项，所述保证包括一项或多项所述后置条件； 所述方法定义基于所述合约的操作语法结构，所述操作语法结构使用所述操作模板，通过所述操作模板完成对每一个所述操作的设计。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人上海交通大学，其通讯地址为：200240 上海市闵行区东川路800号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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