Browsing HVL Open by Author "Kräuter, Tim Oliver"

Now showing items 1-7 of 7

    • 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 ...

    • 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 ...

    • 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 ...

    • The Visual Debugger: Past, Present, and Future 

      Kräuter, Tim Oliver; Stünkel, Patrick; Rutle, Adrian; Lamo, Yngve (Chapter; Peer reviewed, 2024)
      The Visual Debugger is an IntelliJ IDEA plugin that presents debug information as an object diagram to enhance program understanding. Reflecting on our past development, we detail the lessons learned and roadblocks we have ...