Cover Image

BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kräuter, Tim, Stünkel, Patrick, Rutle, Adrian, Lamo, Yngve, König, Harald
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models
by: Kräuter, Tim, et al.
Published: (2024)

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
by: Kräuter, Tim, et al.
Published: (2023)

The Visual Debugger: Past, Present, and Future
by: Kräuter, Tim, et al.
Published: (2024)

The Visual Debugger Tool
by: Kräuter, Tim, et al.
Published: (2024)

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
by: Kräuter, Tim, et al.
Published: (2025)

BPMN to Smart Contract by Business Analyst
by: Liu, C. G., et al.
Published: (2025)

Automating Execution and Verification of BPMN+DMN Business Processes
by: Della Penna, Giuseppe, et al.
Published: (2025)

Towards Modeling Human-Agentic Collaborative Workflows: A BPMN Extension
by: Ait, Adem, et al.
Published: (2024)

Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)
by: Liu, Christian Gang, et al.
Published: (2025)

BPMN Assistant: An LLM-Based Approach to Business Process Modeling
by: Licardo, Josip Tomo, et al.
Published: (2025)

Instruction-Tuning Open-Weight Language Models for BPMN Model Generation
by: Çelikmasat, Gökberk, et al.
Published: (2025)

Vanilla-Converter: A Tool for Converting Camunda 7 BPMN Models into Camunda 8 Models
by: Sunaric, Dragana, et al.
Published: (2025)

Towards an Engineering Workflow Management System for Asset Administration Shells using BPMN
by: Grüner, Sten, et al.
Published: (2025)

DEMO enhanced BPMN
by: Guerreiro, Sérgio, et al.
Published: (2024)

Automatic Generation of Executable BPMN Models from Medical Guidelines
by: Sekar, Praveen Kumar Menaka, et al.
Published: (2026)

Towards behavioral consistency in heterogeneous modeling scenarios
by: Kräuter, Tim
Published: (2024)

Multi-Robot System Architecture design in SysML and BPMN
by: Sadik, Ahmed R., et al.
Published: (2024)

Automated BPMN Model Generation from Textual Process Descriptions: A Multi-Stage LLM-Driven Approach
by: Matei, Ion, et al.
Published: (2026)

A Hybrid BPMN-DMN Framework for Secure Inter-organizational Processes and Decisions Collaboration on Permissioned Blockchain
by: Shen, Xinzhe, et al.
Published: (2024)

Supporting Long-term Transactions in Smart Contracts Generated from Business Process Model and Notation (BPMN) Models
by: Liu, Christian Gang
Published: (2025)

Converting BPMN Diagrams to Privacy Calculus
by: Pitsiladis, Georgios V., et al.
Published: (2024)

BPMN Extensions Updated: A Systematic Literature Review
by: Milene Cavalcante, et al.
Published: (2026)

LeakageDetector 2.0: Analyzing Data Leakage in Jupyter-Driven Machine Learning Pipelines
by: Truong, Owen, et al.
Published: (2025)

Confidence in Assurance 2.0 Cases
by: Bloomfield, Robin, et al.
Published: (2024)

Analyzing Chain of Thought (CoT) Approaches in Control Flow Code Deobfuscation Tasks
by: Mohseni, Seyedreza, et al.
Published: (2026)

GISclaw: A Comprehensive Open-Source LLM Agent System for Realistic Multi-Step Geospatial Analysis
by: Han, Jinzhen, et al.
Published: (2026)

ArkAnalyzer: The Static Analysis Framework for OpenHarmony
by: Chen, Haonan, et al.
Published: (2025)

LLM-based Generation of Semantically Diverse and Realistic Domain Model Instances
by: Coman, Andrei, et al.
Published: (2026)

Generate Realistic Test Scenes for V2X Communication Systems
by: Guo, An, et al.
Published: (2025)

BinMetric: A Comprehensive Binary Analysis Benchmark for Large Language Models
by: Shang, Xiuwei, et al.
Published: (2025)

Supporting the Comprehension of Data Analysis Scripts
by: Sihler, Florian, et al.
Published: (2026)

AntiCopyPaster 2.0: Whitebox just-in-time code duplicates extraction
by: AlOmar, Eman Abdullah, et al.
Published: (2024)

Exploring the Reasoning Depth of Small Language Models in Software Architecture: A Multidimensional Evaluation Framework Towards Software Engineering 2.0
by: Vo, Ha, et al.
Published: (2026)

Toward Realistic Evaluations of Just-In-Time Vulnerability Prediction
by: Nguyen, Duong, et al.
Published: (2025)

Trace Sampling 2.0: Code Knowledge Enhanced Span-level Sampling for Distributed Tracing
by: Wu, Yulun, et al.
Published: (2025)

A Scalable Framework for Safety Assurance of Self-Driving Vehicles based on Assurance 2.0
by: Chen, Shufeng, et al.
Published: (2025)

FuncDroid: Towards Inter-Functional Flows for Comprehensive Mobile App GUI Testing
by: He, Jinlong, et al.
Published: (2026)

eye2vec: Learning Distributed Representations of Eye Movement for Program Comprehension Analysis
by: Yoshioka, Haruhiko, et al.
Published: (2025)

Analyzing the Instability of Large Language Models in Automated Bug Injection and Correction
by: Er, Mehmet Bilal, et al.
Published: (2025)

Towards Realistic Project-Level Code Generation via Multi-Agent Collaboration and Semantic Architecture Modeling
by: Zhao, Qianhui, et al.
Published: (2025)