Distributed conformance checking method based on process model decomposition

被引：0
|
作者：
Shen, Xtaolin [1 ]
Liu, Cong [1 ,2 ]
Li, Hulling [1 ]
Zheng, Ka [1 ]
Cheng, Long [3 ]
Zeng, Qingtian [2 ]
机构：
[1] School of Computer Science and Technology, Shandong University of Technology, Zibo,255000, China
[2] School of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao,266590, China
[3] School of Control and Computer Engineering, North China Electric Power University, Beijing,102206, China
来源：
Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS | 2024年 / 30卷 / 08期
关键词：
Forestry;
D O I：
10.13196/j.cims.2023.BPM16
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：2884 / 2896
相关论文
共 50 条
  • [21] Dependence-Based Data-Aware Process Conformance Checking
    Song, Wei
    Jacobsen, Hans-Arno
    Zhang, Chengzhen
    Ma, Xiaoxing
    [J]. IEEE TRANSACTIONS ON SERVICES COMPUTING, 2021, 14 (03) : 654 - 667
  • [22] Conformance Testing of Schedulers for DSL-based Model Checking
    Tran, Nhat-Hoa
    Aoki, Toshiaki
    [J]. MODEL CHECKING SOFTWARE, SPIN 2019, 2019, 11636 : 208 - 225
  • [23] Metamodel-based model conformance and multiview consistency checking
    Paige, Richard F.
    Brooke, Phillip J.
    Ostroff, Jonathan S.
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2007, 16 (03) : B1 - B49
  • [24] Conformance checking based on multi-perspective declarative process models
    Burattin, Andrea
    Maggi, Fabrizio M.
    Sperduti, Alessandro
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2016, 65 : 194 - 211
  • [25] A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking
    Menezes, Bruno
    Martins, Ana Teresa
    Rocha, Thiago Alves
    [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2021, 2021, 13130 : 1 - 16
  • [26] Process Discovery and Conformance Checking Using Passages
    van der Aalst, W. M. P.
    Verbeek, H. M. W.
    [J]. FUNDAMENTA INFORMATICAE, 2014, 131 (01) : 103 - 138
  • [27] Process mining approach for the conformance checking of discrete-event simulation model
    Uehara, Kenji
    Hiraishi, Kunihiko
    [J]. 2019 58TH ANNUAL CONFERENCE OF THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS OF JAPAN (SICE), 2019, : 615 - 620
  • [28] A Algorithm for Conformance Checking Based on Statistics
    Li Zhao
    Zhang Liqun
    Huang Fangfang
    [J]. 2014 FIFTH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS DESIGN AND ENGINEERING APPLICATIONS (ISDEA), 2014, : 5 - 8
  • [29] Propositional projection temporal logic based distributed model checking method
    Shu, Xinfeng
    Wang, Changtai
    Wang, Yan
    Zhang, Lili
    [J]. Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2020, 47 (04): : 39 - 47
  • [30] Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP
    Kuhlmann, Isabelle
    Corea, Carl
    Grant, John
    [J]. BUSINESS PROCESS MANAGEMENT WORKSHOPS, BPM 2023, 2024, 492 : 396 - 408
12345