Knowledge Commons of Institute of Automation,CAS
Formal Modeling and Discovery of Multi-instance Business Processes: A Cloud Resource Management Case Study | |
Cong Liu | |
发表期刊 | IEEE/CAA Journal of Automatica Sinica |
ISSN | 2329-9266 |
2022 | |
卷号 | 9期号:12页码:2151-2160 |
摘要 | Process discovery, as one of the most challenging process analysis techniques, aims to uncover business process models from event logs. Many process discovery approaches were invented in the past twenty years; however, most of them have difficulties in handling multi-instance sub-processes. To address this challenge, we first introduce a multi-instance business process model (MBPM) to support the modeling of processes with multiple sub-process instantiations. Formal semantics of MBPMs are precisely defined by using multi-instance Petri nets (MPNs) that are an extension of Petri nets with distinguishable tokens. Then, a novel process discovery technique is developed to support the discovery of MBPMs from event logs with sub-process multi-instantiation information. In addition, we propose to measure the quality of the discovered MBPMs against the input event logs by transforming an MBPM to a classical Petri net such that existing quality metrics, e.g., fitness and precision, can be used. The proposed discovery approach is properly implemented as plugins in the ProM toolkit. Based on a cloud resource management case study, we compare our approach with the state-of-the-art process discovery techniques. The results demonstrate that our approach outperforms existing approaches to discover process models with multi-instance sub-processes. |
关键词 | Cloud resource management process multi-instance Petri nets (MPNs) multi-instance sub-processes process discovery quality evaluation |
DOI | 10.1109/JAS.2022.106109 |
引用统计 | |
文献类型 | 期刊论文 |
条目标识符 | http://ir.ia.ac.cn/handle/173211/50585 |
专题 | 学术期刊_IEEE/CAA Journal of Automatica Sinica |
推荐引用方式 GB/T 7714 | Cong Liu. Formal Modeling and Discovery of Multi-instance Business Processes: A Cloud Resource Management Case Study[J]. IEEE/CAA Journal of Automatica Sinica,2022,9(12):2151-2160. |
APA | Cong Liu.(2022).Formal Modeling and Discovery of Multi-instance Business Processes: A Cloud Resource Management Case Study.IEEE/CAA Journal of Automatica Sinica,9(12),2151-2160. |
MLA | Cong Liu."Formal Modeling and Discovery of Multi-instance Business Processes: A Cloud Resource Management Case Study".IEEE/CAA Journal of Automatica Sinica 9.12(2022):2151-2160. |
条目包含的文件 | 下载所有文件 | |||||
文件名称/大小 | 文献类型 | 版本类型 | 开放类型 | 使用许可 | ||
JAS-2020-0689.pdf(1671KB) | 期刊论文 | 出版稿 | 开放获取 | CC BY-NC-SA | 浏览 下载 |
个性服务 |
推荐该条目 |
保存到收藏夹 |
查看访问统计 |
导出为Endnote文件 |
谷歌学术 |
谷歌学术中相似的文章 |
[Cong Liu]的文章 |
百度学术 |
百度学术中相似的文章 |
[Cong Liu]的文章 |
必应学术 |
必应学术中相似的文章 |
[Cong Liu]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论