Data and Process Resonance - Identifier Soundness for Models of Information Systems

Jan Martijn van der Werf*, Andrey Rivkin, Artem Polyvyanyy, Marco Montali

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Abstract

    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.
    Original languageEnglish
    Title of host publicationApplication and Theory of Petri Nets and Concurrency
    Subtitle of host publication43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
    EditorsLuca Bernardinello, Laure Petrucci
    PublisherSpringer
    Pages369-392
    Edition1
    ISBN (Electronic)978-3-031-06653-5
    ISBN (Print)978-3-031-06652-8
    DOIs
    Publication statusPublished - 30 May 2022
    Event Application and Theory of Petri Nets and Concurrency - Norway, Bergen, Norway
    Duration: 22 Jun 202225 Jun 2022

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Cham
    Volume13288
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference Application and Theory of Petri Nets and Concurrency
    Abbreviated titlePetri nets
    Country/TerritoryNorway
    CityBergen
    Period22/06/2225/06/22

    Keywords

    • Information System
    • Verification
    • Data and Processes

    Fingerprint

    Dive into the research topics of 'Data and Process Resonance - Identifier Soundness for Models of Information Systems'. Together they form a unique fingerprint.

    Cite this