Data and Process Resonance Identifier Soundness for Models of Information Systems

被引：8
作者：
van der Werf, Jan Martijn E. M. [1 ]
Rivkin, Andrey [2 ]
Polyvyanyy, Artem [3 ]
Montali, Marco [2 ]
机构：
[1] Univ Utrecht, Princetonpl 5, NL-3584 CC Utrecht, Netherlands
[2] Free Univ Bozen Bolzano, Piazza Domenicani 3, I-39100 Bolzano, Italy
[3] Univ Melbourne, Parkville, Vic 3010, Australia
来源：
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2022) | 2022年 / 13288卷
关键词：
Information System; Verification; Data and Processes; PETRI NETS; WORKFLOW NETS; VERIFICATION;
D O I：
10.1007/978-3-031-06653-5_19
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
A model of an information system describes its processes and how these processes manipulate data objects. Object-aware extensions of Petri nets focus on modeling the life-cycle of objects and their interactions. In this paper, we focus on Petri nets with identifiers, where identifiers are used to refer to objects. These objects should "behave" well in the system from inception to termination. We formalize this intuition in the notion of identifier soundness, and show that although this property is undecidable in general, useful subclasses exist that guarantee identifier soundness by construction.
引用
收藏
页码：369 / 392
页数：24
相关论文
共 31 条
  • [1] Artale A., 2019, LNCS, V11675, P139, DOI 10.1007/978- 3-030- 26619-6 11
  • [2] Berthelot G., 1978, THESIS U PIERRE M CU
  • [3] Describing Behavior of Processes with Many-to-Many Interactions
    Fahland, Dirk
    [J]. APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2019, 2019, 11522 : 3 - 24
  • [4] Felli P., 2022, P AAAI 2022
  • [5] Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions
    Felli, Paolo
    de Leoni, Massimiliano
    Montali, Marco
    [J]. 2019 19TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD 2019), 2019, : 82 - 91
  • [6] Petri Nets with Parameterised Data Modelling and Verification
    Ghilardi, Silvio
    Gianola, Alessandro
    Montali, Marco
    Rivkin, Andrey
    [J]. BUSINESS PROCESS MANAGEMENT (BPM 2020), 2020, 12168 : 55 - 74
  • [7] Hack M., 1974, FOCS, P156, DOI [10.1109/SWAT.1974.28, DOI 10.1109/SWAT.1974.28]
  • [8] Hariri BB, 2014, FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, P458
  • [9] Karp R. M., 1969, J COMPUT SYST SCI, V3, P147, DOI [10.1016/S0022-0000(69)80011-5, DOI 10.1016/S0022-0000(69)80011-5]
  • [10] Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
    Lasota, Slawomir
    [J]. APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2016, 2016, 9698 : 20 - 36
1234