Jan Martijn van der Werf 

Date: 16:00 – 16:30, Thursday, 07.04.2022
Location: Minnaertgebouw 2.02 & MS Teams ICS Colloquium

Title: Data and Process Resonance
Abstract:Information and processes are both important aspects of information systems.Nevertheless, most existing languages for modeling information systems focus either on one or the other. Languages that focus on information modeling often neglect the fact that information is manipulated by processes, while languages that focus on processes abstract from the structure of the information. In this talk, I show how object-aware extensions of Petri nets can be used to model both the life-cycle of objects, and their interactions. This extension are Petri nets with identifiers, where identifiers are used to refer to objects. These objects should “behave” well in the system from inception to termination. In a recent paper, we formalized this intuition in the notion of identifier soundness, and showed that although this property is undecidable in general, useful subclasses exist that guarantee identifier soundness by construction. These subclasses can be combined to ensure that designers can model systems where data and processes are in resonance.