4 papers
Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
Tim Kräuter, Adrian Rutle, Yngve Lamo +2
Modern software systems are often realized by coordinating multiple heterogeneous parts, each responsible for specific tasks. These parts must work together seamlessly to satisfy t…
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
Tim Kräuter, Adrian Rutle, Harald König +1
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 BP…
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models
Tim Kräuter, Patrick Stünkel, Adrian Rutle +2
Many business process models contain control flow errors, such as deadlocks or livelocks, which hinder proper execution. In this paper, we introduce a new tool that can instantaneo…
Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models
Tim Kräuter, Patrick Stünkel, Adrian Rutle +2
Many business process models have control-flow errors, such as deadlocks, which can hinder proper execution. In this paper, we introduce our new soundness-checking tool that can in…