期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于RPST的业务过程一致性运行时检查方法
1
作者
华梦青
龚平
陈志德
《计算机系统应用》
2023年第1期156-165,共10页
一致性检查是关于计算流程模型与其执行实际之间相符情况的问题.运行时一致性检查因反馈的实时性和良好的应用前景,成为当前一致性检查的新问题.针对每个新产生的事件,如何以较小的性能代价计算得到最优的一致性检查结果是运行时一致性...
一致性检查是关于计算流程模型与其执行实际之间相符情况的问题.运行时一致性检查因反馈的实时性和良好的应用前景,成为当前一致性检查的新问题.针对每个新产生的事件,如何以较小的性能代价计算得到最优的一致性检查结果是运行时一致性检查的难点.基于流程模型的结构信息(refined process structure tree,RPST)提出一致性监控树(conformance monitoring tree,CMT),基于CMT提出求解最优一致性结果的动态规划算法.通过3个实验数据集表明,对比已有相关工作,本文算法具备较明显的性能优势.
展开更多
关键词
过程挖掘
一致性检查
运行时验证
基于
流程
模型
的
结构
信息
(
rpst
)
动态规划
下载PDF
职称材料
题名
基于RPST的业务过程一致性运行时检查方法
1
作者
华梦青
龚平
陈志德
机构
福建师范大学计算机与网络空间安全学院
福建省网络安全与密码技术重点实验室(福建师范大学)
出处
《计算机系统应用》
2023年第1期156-165,共10页
基金
国家自然科学基金(61841701)
福建省自然科学基金(2020J01171,2018J01781)。
文摘
一致性检查是关于计算流程模型与其执行实际之间相符情况的问题.运行时一致性检查因反馈的实时性和良好的应用前景,成为当前一致性检查的新问题.针对每个新产生的事件,如何以较小的性能代价计算得到最优的一致性检查结果是运行时一致性检查的难点.基于流程模型的结构信息(refined process structure tree,RPST)提出一致性监控树(conformance monitoring tree,CMT),基于CMT提出求解最优一致性结果的动态规划算法.通过3个实验数据集表明,对比已有相关工作,本文算法具备较明显的性能优势.
关键词
过程挖掘
一致性检查
运行时验证
基于
流程
模型
的
结构
信息
(
rpst
)
动态规划
Keywords
process mining
conformance checking
runtime verification
refined process structure tree(
rpst
)
dynamic programming
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于RPST的业务过程一致性运行时检查方法
华梦青
龚平
陈志德
《计算机系统应用》
2023
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
