Data and Process Resonance: Identifier Soundness for Models of Information Systems
Loading...
Citations
Altmetric:
Altmetric::
Download
Associated Records
Authors
File Licence
Editors
Bernardinello, L
Petrucci, L
Petrucci, L
Date
2022-01-01
Source Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal Title
Journal ISSN
Volume Title
Publisher
SPRINGER INTERNATIONAL PUBLISHING AG
Melbourne Authors
Affiliation
Computing and Information Systems
Document Type
Chapter
Subject Code
Citation
van der Werf, J. M. E. M., Rivkin, A., Polyvyanyy, A. & Montali, M. (2022). Data and Process Resonance: Identifier Soundness for Models of Information Systems. Bernardinello, L (Ed.). Petrucci, L (Ed.). Lecture Notes in Computer Science, 13288 LNCS, pp.369-392. SPRINGER INTERNATIONAL PUBLISHING AG.
Access Status
Open Access
Access URL
Open Access URL
Open Access at PMC
Linked Resource URL
NHMRC Grant Code
ARC Grant Code
Description
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.