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

龙图腾网获悉山东科技大学申请的专利基于对齐的分层业务过程模型合规性检测方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115904748B 。

龙图腾网通过国家知识产权局官网在2026-04-03发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211322051.7，技术领域涉及：G06F9/54；该发明授权基于对齐的分层业务过程模型合规性检测方法是由王路;韩晓;王康;刘聪;李鹏;杜玉越设计研发完成，并于2022-10-26向国家知识产权局提交的专利申请。

本基于对齐的分层业务过程模型合规性检测方法在说明书摘要公布了：本发明公开了一种基于对齐的分层业务过程模型合规性检测方法，包括分层变迁嵌套关系挖掘；分层过程模型hpn作为输入，进行模型间嵌套关系的挖掘，输出结果是一个分层变迁嵌套关系树ang；分层事件日志构造；带生命周期的事件日志xlog和分层变迁嵌套关系树ang为输入，通过对模型分层嵌套关系分析，构造分层事件日志hlog；构造对齐序列关系嵌套树；分层事件日志hlog和分层过程模型hpn作为输入，进行分层结构的合规性检测，得到对齐序列嵌套关系树hat；合并分层对齐序列；对对齐序列嵌套关系树进行合并，得到最终结果。本方法相较于已有的分层模型合规性检测方法，减少了日志与模型的对齐时间，有利于减少模型的修复与优化所需时间开销。

本发明授权基于对齐的分层业务过程模型合规性检测方法在权利要求书中公布了：1.基于对齐的分层业务过程模型合规性检测方法，其特征在于，包括以下步骤： 步骤1：分层变迁嵌套关系挖掘；分层过程模型hpn作为输入，进行模型间嵌套关系的挖掘，输出结果是一个分层变迁嵌套关系树ang，用于描述分层模型所有可能存在的嵌套关系； 具体包括： 输入：分层过程模型hpn； 输出：分层变迁嵌套关系树ang； 步骤1.1：调用算法getActivityNestedSet，getActivityPair，用来挖掘分层模型中的嵌套变迁集合activityNestedSet[]及其嵌套变迁关联对集合activityPariSet[]； 步骤1.2：通过调用算法ActivityGraphConstruction，根据嵌套变迁关联对构造分层变迁嵌套关系树ang； 步骤1.3：返回分层变迁嵌套关系树ang； 调用的getActivityNestedSet函数，其功能为返回分层模型中所有的嵌套变迁，具体描述为： 输入：分层过程模型hpn； 输出：嵌套变迁集合activityNestedSet[]； 遍历顶层Petri网，找到其包含的嵌套变迁并存入集合activitySet[]，递归遍历顶层Petri网的嵌套分层Petri网，返回分层模型内所有的嵌套变迁集合； 调用的getActivityPair函数，其功能为返回分层模型中的嵌套变迁关联对，具体描述为： 输入：分层过程模型hpn； 输出：嵌套变迁关联对集合activityPairSet[]； 从分层变迁嵌套关系树ang里提取嵌套变迁t，将嵌套变迁t赋值给变量source，找到嵌套变迁t嵌套的分层模型hpni；找到分层模型hpni下的嵌套变迁ti并存入target；将source,target嵌套变迁关联对存入集合activityPairSet[]中； 递归遍历顶层Petri网嵌套变迁t的嵌套分层Petri网分层模型hpni；返回集合activityPairSet[]； 调用的activityGraphConstruction函数，其功能为返回分层模型中的变迁嵌套关系树ang，具体描述为： 输入：嵌套变迁关联对集合activityPariSet[]； 输出：分层变迁嵌套关系树ang； 从activityPairSet[]依次提取嵌套变迁关联对，将嵌套变迁关联对中的结点和对应边存入树结构中；返回分层变迁嵌套关系树ang； 步骤2：分层事件日志构造；带生命周期的事件日志xlog和分层变迁嵌套关系树ang为输入，通过对模型分层嵌套关系分析，构造分层事件日志hlog； 步骤3：构造对齐序列关系嵌套树；分层事件日志hlog和分层过程模型hpn作为输入，进行分层结构的合规性检测，得到对齐序列嵌套关系树hat； 具体包括： 输入：分层过程模型hpn，分层事件日志hlog； 输出：对齐序列嵌套关系树hat； 从分层事件日志hlog中提取根日志roothlog； 从分层模型中提取顶层Petir网pn； 将pn与roothlog进行对齐，得到顶层对齐序列rootA； 对顶层Petri网的嵌套的分层模型hpni和根日志嵌套的分层事件日志roothlogi进行递归求取对齐序列，返回对齐序列嵌套关系树hat； 步骤4：合并分层对齐序列；步骤3得到的对齐序列嵌套关系树进行合并，得到最终结果。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人山东科技大学，其通讯地址为：266590 山东省青岛市黄岛区前湾港路579号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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