Image de couverture de livre

Automating Execution and Verification of BPMN+DMN Business Processes

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Della Penna, Giuseppe, Melatti, Igor
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Hybrid BPMN-DMN Framework for Secure Inter-organizational Processes and Decisions Collaboration on Permissioned Blockchain
par: Shen, Xinzhe, et autres
Publié: (2024)

BPMN Assistant: An LLM-Based Approach to Business Process Modeling
par: Licardo, Josip Tomo, et autres
Publié: (2025)

BPMN to Smart Contract by Business Analyst
par: Liu, C. G., et autres
Publié: (2025)

Automated BPMN Model Generation from Textual Process Descriptions: A Multi-Stage LLM-Driven Approach
par: Matei, Ion, et autres
Publié: (2026)

Automatically generating decision-support chatbots based on DMN models
par: Estrada-Torres, Bedilia, et autres
Publié: (2024)

BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models
par: Kräuter, Tim, et autres
Publié: (2024)

Automatic Generation of Executable BPMN Models from Medical Guidelines
par: Sekar, Praveen Kumar Menaka, et autres
Publié: (2026)

The Cost of Executing Business Processes on Next-Generation Blockchains: The Case of Algorand
par: Stiehle, Fabian, et autres
Publié: (2024)

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

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models
par: Kräuter, Tim, et autres
Publié: (2024)

Logic Mining from Process Logs: Towards Automated Specification and Verification
par: Klimek, Radoslaw, et autres
Publié: (2025)

Towards Modeling Human-Agentic Collaborative Workflows: A BPMN Extension
par: Ait, Adem, et autres
Publié: (2024)

Ambiguity Detection and Elimination in Automated Executable Process Modeling
par: Matei, Ion, et autres
Publié: (2026)

Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)
par: Liu, Christian Gang, et autres
Publié: (2025)

Towards an Engineering Workflow Management System for Asset Administration Shells using BPMN
par: Grüner, Sten, et autres
Publié: (2025)

Vanilla-Converter: A Tool for Converting Camunda 7 BPMN Models into Camunda 8 Models
par: Sunaric, Dragana, et autres
Publié: (2025)

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
par: Kräuter, Tim, et autres
Publié: (2023)

Selene: Pioneering Automated Proof in Software Verification
par: Zhang, Lichen, et autres
Publié: (2024)

Identifying Process Improvement Opportunities through Process Execution Benchmarking
par: Abb, Luka, et autres
Publié: (2025)

Predictive Monitoring of Business Processes
par: Maggi, Fabrizio Maria, et autres
Publié: (2013)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
par: Yang, Fanpeng, et autres
Publié: (2025)

Instruction-Tuning Open-Weight Language Models for BPMN Model Generation
par: Çelikmasat, Gökberk, et autres
Publié: (2025)

DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
par: Banerjee, Debangshu, et autres
Publié: (2026)

Automating Business Intelligence Requirements with Generative AI and Semantic Search
par: Busany, Nimrod, et autres
Publié: (2024)

Multi-Robot System Architecture design in SysML and BPMN
par: Sadik, Ahmed R., et autres
Publié: (2024)

Extending Business Process Management for Regulatory Transparency
par: Kiesel, Jannis, et autres
Publié: (2024)

A Systematic Review of Business Process Improvement: Achievements and Potentials in Combining Concepts from Operations Research and Business Process Management
par: Kunkler, Michel, et autres
Publié: (2024)

Business Process Modeling Using a Metamodeling Approach
par: Vitolins, Valdis
Publié: (2025)

WISE: Unraveling Business Process Metrics with Domain Knowledge
par: Jessen, Urszula, et autres
Publié: (2024)

What is Business Process Automation Anyway?
par: Vu, Hoang, et autres
Publié: (2025)

GUISpector: An MLLM Agent Framework for Automated Verification of Natural Language Requirements in GUI Prototypes
par: Kolthoff, Kristian, et autres
Publié: (2025)

VeriODD: From YAML to SMT-LIB -- Automating Verification of Operational Design Domains
par: Rafie, Bassel, et autres
Publié: (2025)

SOPA: A Framework for Sustainability-Oriented Process Analysis and Re-design in Business Process Management
par: Klessascheck, Finn, et autres
Publié: (2024)

A Case Study on Runtime Verification of a Continuous Deployment Process
par: Ansai, Shoma, et autres
Publié: (2026)

CodeHalu: Investigating Code Hallucinations in LLMs via Execution-based Verification
par: Tian, Yuchen, et autres
Publié: (2024)

Confidentiality-Preserving Verifiable Business Processes through Zero-Knowledge Proofs
par: Kiesel, Jannis, et autres
Publié: (2025)

Automatic Resource Allocation in Business Processes: A Systematic Literature Survey
par: Pufahl, Luise, et autres
Publié: (2021)

Automated Business Process Analysis: An LLM-Based Approach to Value Assessment
par: De Michele, William, et autres
Publié: (2025)

Studying Quality Improvements Recommended via Manual and Automated Code Review
par: Crupi, Giuseppe, et autres
Publié: (2026)

Change Logging and Mining of Change Logs of Business Processes -- A Literature Review
par: Ghahderijani, Arash Yadegari, et autres
Publié: (2025)