Imagen de Portada

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kräuter, Tim, Stünkel, Patrick, Rutle, Adrian, König, Harald, Lamo, Yngve
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models
por: Kräuter, Tim, et al.
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Agentic Model Checking
por: Sun, Youcheng, et al.
Publicado: (2026)

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

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

PAT-Agent: Autoformalization for Model Checking
por: Zuo, Xinyue, et al.
Publicado: (2025)

Probabilistic Model Checking Taken by Storm
por: Volk, Matthias, et al.
Publicado: (2026)

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

A Case Study on Model Checking and Runtime Verification for Awkernel
por: Hasegawa, Akira, et al.
Publicado: (2025)

Systematic API Testing Through Model Checking and Executable Contracts
por: Ribeiro, Ana, et al.
Publicado: (2026)

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version)
por: Beyer, Dirk, et al.
Publicado: (2024)

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

Model-Checking the Implementation of Consent
por: Pardo, Raúl, et al.
Publicado: (2024)

A Task Taxonomy for Conformance Checking
por: Rehse, Jana-Rebecca, et al.
Publicado: (2025)

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

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
por: Läufer, Konstantin, et al.
Publicado: (2024)

OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in Aspect-Oriented Applications
por: AlSobeh, Anas
Publicado: (2024)

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
por: Harie, Yojiro, et al.
Publicado: (2024)

Analyzing and Debugging Normative Requirements via Satisfiability Checking
por: Feng, Nick, et al.
Publicado: (2024)

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

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

Fault-Tolerant Design and Multi-Objective Model Checking for Real-Time Deep Reinforcement Learning Systems
por: Su, Guoxin, et al.
Publicado: (2026)

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

Hallucination Inspector: A Fact-Checking Judge for API Migration
por: Tileria, Marcos, et al.
Publicado: (2026)

DEMO enhanced BPMN
por: Guerreiro, Sérgio, et al.
Publicado: (2024)

Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca
por: Trinh, Hiep Hong, et al.
Publicado: (2025)

AutoCheck: Automatically Identifying Variables for Checkpointing by Data Dependency Analysis
por: Fu, Xiang, et al.
Publicado: (2024)