Browsing HVL Open by Author "Kräuter, Tim Oliver"
Now showing items 1-4 of 4
-
Formalization and Analysis of BPMN Using Graph Transformation Systems
Kräuter, Tim Oliver; Rutle, Adrian; König, Harald; Lamo, Yngve (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 ... -
Structural Operational Semantics for Heterogeneously Typed Coalgebras
König, Harald; Wolter, Uwe Egbert; Kräuter, Tim Oliver (Peer reviewed; Journal article, 2023)Concurrently interacting components of a modular software architecture are heterogeneously structured behavioural models. We consider them as coalgebras based on different endofunctors. We formalize the composition of these ... -
Towards behavioral consistency in heterogeneous modeling scenarios
Kräuter, Tim Oliver (Chapter; Peer reviewed, 2021)Behavioral models play an essential role in Model-driven engineering (MDE). Keeping inter-related behavioral models consistent is critical to use them successfully in MDE. However, consistency checking for behavioral models, ... -
The Visual Debugger Tool
Kräuter, Tim Oliver; König, Harald; Rutle, Adrian; Lamo, Yngve (Peer reviewed; Journal article, 2022)Debugging is an essential part of software maintenance and evolution since it allows software developers to analyze program execution step by step. Understanding a program is required to fix potential flaws, alleviate ...