Datenpaket: Experimental data for the paper "Analyzing and Predicting Verification of Data-Aware Process Models -- a Case Study with Spectrum Auctions"

These are the experimental data for the paper> Ordoni, Elaheh, Jakob Bach, and Ann-Katrin Fleck. "Analyzing and Predicting Verification of Data-Aware Process Models--A Case Study With Spectrum Auctions"
published by IEEE Access in 2022.
You can find the paper here and the code here.
See the README for details.
From the raw experimental data, we also extracted and pre-processed a smaller dataset that is suitable for training prediction models.
This prediction dataset is available under the name Auction Verification in the UCI Machine Learning Repository.

These are the experimental data for the paper> Ordoni, Elaheh, Jakob Bach, and Ann-Katrin Fleck. "Analyzing and Predicting Verification of Data-Aware Process Models -- a Case Study with Spectrum Auctions"
Check our GitHub repository for the code and instructions to reproduce the experiments.

• result[0-5].csv: The output of the iterative verification procedure, input to prepare_dataset.py (which pre-processes and consolidates the dataset).
• auction_verification_large.csv: The output of prepare_dataset.py (consolidated dataset), input to run_experiments.py (the experimental pipeline).
• prediction_results.csv: The output of run_experiments.py (full numeric experimental results), input to run_evaluation.py (which prints statistics and creates the plots for the paper).