Cover Image

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems

Fuente: arXiv

Saved in:

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

Similar Items

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

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models
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)

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

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

Using weakest application conditions to rank graph transformations for graph repair
by: Fritsche, Lars, et al.
Published: (2024)

Towards an Engineering Workflow Management System for Asset Administration Shells using BPMN
by: Grüner, Sten, 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)

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

Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)
by: Liu, Christian Gang, 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)

A Hybrid BPMN-DMN Framework for Secure Inter-organizational Processes and Decisions Collaboration on Permissioned Blockchain
by: Shen, Xinzhe, 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)

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)

Migrating Esope to Fortran 2008 using model transformations
by: Sow, Younoussa, et al.
Published: (2026)

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

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

Model management to support systems engineering workflows using ontology-based knowledge graphs
by: Ryś, Arkadiusz, et al.
Published: (2025)

A case study on the transformative potential of AI in software engineering on LeetCode and ChatGPT
by: Merkel, Manuel, et al.
Published: (2025)

Benchmarking formalisms for dynamic structure system Modeling and Simulation
by: Attia, Aya, et al.
Published: (2024)

Software is infrastructure: failures, successes, costs, and the case for formal verification
by: Bernardi, Giovanni, et al.
Published: (2025)

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

Snakemaker: Seamlessly transforming ad-hoc analyses into sustainable Snakemake workflows with generative AI
by: Masera, Marco, et al.
Published: (2025)

The development and deployment of formal methods in the UK
by: Jones, Cliff B., et al.
Published: (2020)

A formal definition of loop unrolling with applications to test coverage
by: Meyer, Bertrand
Published: (2024)

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

Automated Testing of the GUI of a Real-Life Engineering Software using Large Language Models
by: Rosenbach, Tim, et al.
Published: (2025)

An approach for API synthesis using large language models
by: Zhong, Hua, et al.
Published: (2025)

ToffA-DSPL: an approach of trade-off analysis for designing dynamic software product lines
by: Carvalho, Michelle Larissa Luciano, et al.
Published: (2024)

PROSKILL: A formal skill language for acting in robotics
by: Ingrand, Félix
Published: (2024)

Retrospective: Data Mining Static Code Attributes to Learn Defect Predictors
by: Menzies, Tim
Published: (2025)

Minimal Data, Maximum Clarity: A Heuristic for Explaining Optimization
by: Rayegan, Amirali, et al.
Published: (2025)

An overview of the use of alternative funding and contracting approaches relevant for agile software development: A systematic review of real-life experiences
by: Ngereja, Bertha, et al.
Published: (2025)

Sojourner under Sabotage: A Serious Testing and Debugging Game
by: Straubinger, Philipp, et al.
Published: (2025)

code_transformed: The Influence of Large Language Models on Code
by: Xu, Yuliang, et al.
Published: (2025)

Development of an automatic modification system for generated programs using ChatGPT
by: Yoshida, Jun, et al.
Published: (2024)

Requirements Engineering for Research Software: A Vision
by: Bajraktari, Adrian, et al.
Published: (2024)