Blar i HVL Open på forfatter "König, Harald"
-
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models
Kräuter, Tim Oliver; Stünkel, Patrick; Rutle, Adrian; Lamo, Yngve; König, Harald (Peer reviewed; Journal article, 2024)Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Forum at BPM 2024 co-located with 22nd International Conference on Business Process Management (BPM 2024): Many business process ... -
Comprehensive systems: a formal foundation for multi-model consistency management
Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian (Peer reviewed; Journal article, 2021)Model management is a central activity in Software Engineering. The most challenging aspect of model management is to keep inter-related models consistent with each other while they evolve. As a consequence, there is a lot ... -
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 ... -
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
Kräuter, Tim Oliver; Rutle, Adrian; König, Harald; Lamo, Yngve (Peer reviewed; Journal article, 2024)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 ... -
Multi-Model Evolution through Model Repair
Stünkel, Patrick; König, Harald; Rutle, Adrian; Lamo, Yngve (Journal article; Peer reviewed, 2021)Design and development of complex software systems usually comprises multiple inter-related models, i.e. abstract representations of certain aspects of the underlying system. The relations between these models induce global ... -
Single pushout rewriting in comprehensive systems of graph-like structures
Stünkel, Patrick; König, Harald (Peer reviewed; Journal article, 2021)The elegance of the single-pushout (SPO) approach to graph transformations arises from substituting total morphisms by partial ones in the underlying category. SPO's applicability depends on the durability of pushouts after ... -
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 multiple model synchronization with comprehensive systems
Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian (Peer reviewed; Journal article, 2020)Model management is a central activity in Software Engineering. The most challenging aspect of model management is to keep models consistent with each other while they evolve. As a consequence, there has been increasing ... -
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 ...