-
题名面向非结构化过程模型的轨迹计数方法
- 1
-
-
作者
邓雅方
林雷蕾
闻立杰
刘瑷玮
钱忱
王建民
-
机构
清华大学软件学院
首都师范大学管理学院
-
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2022年第10期3100-3114,共15页
-
基金
国家重点研发计划资助项目(2019YFB1704003)
国家自然科学基金资助项目(62021002)。
-
文摘
鉴于现有量化模型行为的研究大多数集中在结构化的过程模型层面,实际挖掘得到的业务模型多为非结构化,提出对非结构化过程模型的轨迹计数方法。整合现有结构化转换方法,最大化地计算非结构化过程模型的结构化后轨迹数,并对带同步条件的半结构化过程模型设计轨迹计数方法;对部分不能结构化的过程模型,基于完全前缀展开设计了对非自由选择结构的轨迹计数算法,包括循环和非循环两种情况;将两种方法与块结构过程模型的轨迹计数方法结合。在人工合成模型和实际的过程模型数据集上,对所提算法进行有效性测试和性能评估,实验结果表明,所提方法在其规定的作用范围内能够准确量化非结构化过程模型的行为。
-
关键词
过程模型
轨迹长度
轨迹数
完全前缀展开
模型复杂性
-
Keywords
process model
trace length
number-of-traces
complete prefix unfolding
model complexity
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于任务发生关系的流程模型相似性度量
被引量：12
- 2
-
-
作者
宋金凤
闻立杰
王建民
-
机构
清华大学软件学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2017年第4期832-843,共12页
-
基金
国家自然科学基金项目(61472207
61325008)~~
-
文摘
针对流程模型行为相似性度量难题,提出了一种基于任务发生关系的流程模型相似性度量TOR.基于Petri网的完全前缀展开理论,提出了节点编号算法以及最近公共前驱计算方法,在此基础上定义了任务间3种基本的发生关系:因果、并行和互斥,并给出这些关系的高效计算方法和模型相似度计算公式.TOR能有效处理不可见任务和非自由选择结构,基于来自企业实际模型的实验证明了TOR具备较好的效果和性能,与已有算法相比,TOR能较好地满足行为相似性算法应具备的性质.
-
关键词
相似性度量
任务发生关系
流程模型
完全前缀展开
PETRI网
-
Keywords
similarity measure
occurrence relations of tasks
process model
complete prefix unfolding (CPU)
Petri nets
-
分类号
TP315
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于完全有限前缀展开的行为等价过程树生成算法
被引量：2
- 3
-
-
作者
朱锐
黄月
金芝
李彤
汤雅惠
-
机构
云南大学软件学院
北京大学信息科学技术学院
高可信软件技术教育部重点实验室(北京大学)
云南省软件工程重点实验室(云南大学)
云南农业大学大数据学院
-
出处
《软件学报》
EI
CSCD
北大核心
2021年第5期1385-1403,共19页
-
基金
国家自然科学基金(62002310)
云南省重大科技专项计划(202002AD080002)
+3 种基金
云南省自然科学基金(2019FB135)
云南省软件工程重点实验室开放基金资助项目(2020SE404)
云南大学数据驱动的软件工程省科技创新团队资助项目(2017HC012)
云南大学“东陆中青年骨干教师”培养计划资助项目(C176220200)。
-
文摘
过程树能够兼具过程模型的行为和结构,在简化模型结构的复杂度方面具有重要意义.现有过程树转化仅能将基于块结构的简单过程模型转化为过程树,无法将具有复杂结构的过程模型转化过程树.为此,提出了一种基于完全有限前缀展开的行为等价过程树生成算法,用于将与过程树行为等价的过程模型转化为行为等价过程树.该方法首先利用完全有限前缀展开技术分析过程模型,抽取模型的活动关系;其次通过分析活动关系,进而对模型进行重构.最终通过活动关系判断和模型重构的不断迭代操作,构建行为等价过程树.通过在测试模型上的实验,验证了该算法在行为等价过程树生成方面的正确性和可行性.
-
关键词
过程模型
复杂结构
PETRI网
过程树
完全有限前缀展开
-
Keywords
process model
complex structure
Petri net
process tree
complete finite prefix unfolding
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
