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

龙图腾网获悉广东工业大学申请的专利一种工业软件组件协同工作流的状态机自动生成与验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119918912B 。

龙图腾网通过国家知识产权局官网在2025-11-11发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411858174.1，技术领域涉及：G06Q10/0633；该发明授权一种工业软件组件协同工作流的状态机自动生成与验证方法是由王涛;张嘉创;程良伦设计研发完成，并于2024-12-17向国家知识产权局提交的专利申请。

本一种工业软件组件协同工作流的状态机自动生成与验证方法在说明书摘要公布了：本申请实施例提供了一种工业软件组件协同工作流的状态机自动生成与验证方法，属于数据处理技术领域。本发明的工业软件组件协同工作流的状态机自动生成方法能够获取工业软件组件的信息和任务需求信息；根据工业软件组件的信息和任务需求信息，获取工作流信息；根据工作流信息，构建工作流的状态机模型。本发明能够实现工作流状态机的自动生成以及对工作流信息的逻辑正确性验证。

本发明授权一种工业软件组件协同工作流的状态机自动生成与验证方法在权利要求书中公布了：1.一种工业软件组件协同工作流的状态机自动生成方法，其特征在于，所述方法包括以下步骤： 获取工业软件组件的信息和任务需求信息； 根据所述工业软件组件的信息和所述任务需求信息，获取工作流信息，包括： 根据所述工业软件组件的信息和所述任务需求信息推导出工作流结构，生成组件节点和事件数据流信息； 根据所述组件节点和事件数据流信息，得到工作流信息；所述工作流信息包括每个组件的状态信息、事件触发条件信息、数据输入输出关系信息； 根据所述工作流信息，构建工作流的状态机模型； 设置组件名称和组件序号； 设置组件的事件属性和数据属性； 根据所述组件名称、所述组件序号、所述组件的事件属性和数据属性，完成工业软件组件建模； 设置工作流中的节点信息；所述工作流中的节点信息包括每个节点在工作流中的序号和节点名称； 设置工作流中的事件连线和数据连线的信息； 根据所述工作流中的节点信息和所述事件连线和数据连线的信息，完成工作流建模； 根据所述工业软件组件的信息，将每个工业软件组件定义为工作流状态机节点，将工业软件组件的名称定义为工作流状态机节点名称，得到工作流状态机的状态节点列表； 设置工作流状态机的状态转移条件列表；所述状态转移条件列表包括状态机节点数据、触发下一个组件的对应事件数据、触发下一个组件事件所需要的数据； 根据所述状态节点列表和所述状态转移条件列表，构建工作流状态机。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人广东工业大学，其通讯地址为：510062 广东省广州市东风东路729号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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