Browsing Fakultet for ingeniør- og naturvitskap / Faculty of Engineering and Science by Subject "VDP::Teoretisk databehandling, programmeringsspråk og -teori: 421"
Now showing items 1-3 of 3
-
Enforced Dependencies for Active Objects
(Peer reviewed; Journal article, 2024)We present an active object-based language that records required and provided method completions ahead of method invocations. With this language, a programmer can use method declarations to specify the dependencies between ... -
Formalization and Analysis of BPMN Using Graph Transformation Systems
(Peer reviewed; Journal article, 2023)The Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BPMN execution semantics leads to different ... -
On Distributed Runtime Verification by Aggregate Computing
(Journal article; Peer reviewed, 2019)Runtime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behaviour) by means of monitors generated from formal specifications. Distributed runtime verification is ...