Cover Image

A Task Taxonomy for Conformance Checking

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rehse, Jana-Rebecca, Grohs, Michael, Klessascheck, Finn, Klein, Lisa-Marie, von Landesberger, Tatiana, Pufahl, Luise
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SOPA: A Framework for Sustainability-Oriented Process Analysis and Re-design in Business Process Management
by: Klessascheck, Finn, et al.
Published: (2024)

A Procedural Framework for Assessing the Desirability of Process Deviations
by: Grohs, Michael, et al.
Published: (2025)

Identifying Process Improvement Opportunities through Process Execution Benchmarking
by: Abb, Luka, et al.
Published: (2025)

KRAFT -- A Knowledge-Graph-Based Resource Allocation Framework
by: Bein, Leon, et al.
Published: (2025)

Reviewing Uses of Regulatory Compliance Monitoring
by: Klessascheck, Finn, et al.
Published: (2024)

Automatic Resource Allocation in Business Processes: A Systematic Literature Survey
by: Pufahl, Luise, et al.
Published: (2021)

Towards Nudging in BPM: A Human-Centric Approach for Sustainable Business Processes
by: Moyano, Cielo Gonzalez, et al.
Published: (2024)

Unraveling the Never-Ending Story of Lifecycles and Vitalizing Processes
by: Fahrenkrog-Petersen, Stephan A., et al.
Published: (2024)

A Privacy-Preserving Approach to Conformance Checking
by: Rodríguez-Flores, Luis, et al.
Published: (2026)

A MAPE-K-Based Method for Architectural Conformance Checking in Self-Adaptive Systems
by: Martín, Daniel San, et al.
Published: (2024)

Unlocking Sustainability Compliance: Characterizing the EU Taxonomy for Business Process Management
by: Klessascheck, Finn, et al.
Published: (2024)

Secure Conformance Checking using Token-based Replay and Homomorphic Encryption
by: Rodríguez-Flores, Luis-Armando, et al.
Published: (2026)

A Taxonomy of Real-World Defeaters in Safety Assurance Cases
by: Gohar, Usman, et al.
Published: (2025)

Multi-Label Requirements Classification with Large Taxonomies
by: Abdeen, Waleed, et al.
Published: (2024)

Agentic Model Checking
by: Sun, Youcheng, et al.
Published: (2026)

Remaining Time Prediction in Outbound Warehouse Processes: A Case Study (Short Paper)
by: Penther, Erik, et al.
Published: (2025)

A Validated Taxonomy on Software Energy Smells
by: Mehditabar, Mohammadjavad, et al.
Published: (2026)

Detecting Undesired Process Behavior by Means of Retrieval Augmented Generation
by: Grohs, Michael, et al.
Published: (2025)

A Taxonomy of Inefficiencies in LLM-Generated Python Code
by: Abbassi, Altaf Allah, et al.
Published: (2025)

Understanding Everything as Code: A Taxonomy and Conceptual Model
by: Wei, Haoran, et al.
Published: (2025)

A Taxonomy of Testable HTML5 Canvas Issues
by: Macklon, Finlay, et al.
Published: (2022)

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

A Defect Taxonomy for Infrastructure as Code: A Replication Study
by: Oliveira, Wendell, et al.
Published: (2025)

A Novel Taxonomy and Classification Scheme for Code Smell Interactions
by: Gupta, Ruchin, et al.
Published: (2025)

A Taxonomy of Real Faults in Hybrid Quantum-Classical Architectures
by: Bensoussan, Avner, et al.
Published: (2025)

From What to How: A Taxonomy of Formalized Security Properties
by: Sayar, Imen, et al.
Published: (2025)

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

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

Towards a Taxonomy of Software Log Smells
by: Saarimäki, Nyyti, et al.
Published: (2024)

The Role of Humour in Software Engineering -- A Literature Review and Preliminary Taxonomy
by: Hidellaarachchi, Dulaji, et al.
Published: (2025)

A Survey of Trojans in Neural Models of Source Code: Taxonomy and Techniques
by: Hussain, Aftab, et al.
Published: (2023)

A Taxonomy of Self-Admitted Technical Debt in Deep Learning Systems
by: Pepe, Federica, et al.
Published: (2024)

Weaponizing the Commons: A Taxonomy and Detection Framework of Abuse on GitHub
by: Cheng, Yuli, et al.
Published: (2026)

Towards a Taxonomy of Sustainability Requirements for Software Design
by: Roy, Mandira, et al.
Published: (2025)

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

Characterizing Faults in Agentic AI: A Taxonomy of Types, Symptoms, and Root Causes
by: Shah, Mehil B, et al.
Published: (2026)

Automatic Bottom-Up Taxonomy Construction: A Software Application Domain Study
by: Sas, Cezar, et al.
Published: (2024)

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

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

Dynamic Function Configuration and its Management in Serverless Computing: A Taxonomy and Future Directions
by: Agarwal, Siddharth, et al.
Published: (2025)