Experimental data for the paper "Analyzing and Predicting Verification of Data-Aware Process Models -- a Case Study with Spectrum Auctions"
收藏DataCite Commons2024-07-10 更新2024-07-13 收录
下载链接：
https://radar.kit.edu/radar/en/dataset/ineROEAdzRqvdXeD
下载链接
链接失效反馈官方服务：
资源简介：
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*](https://ieeeaccess.ieee.org/) in 2022.
You can find the paper [here](https://www.doi.org/10.1109/ACCESS.2022.3154445) and the code [here](https://github.com/Jakob-Bach/Analyzing-Auction-Verification).
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](https://archive-beta.ics.uci.edu/ml/datasets/auction+verification).
提供机构：
Karlsruhe Institute of Technology
创建时间：
2023-06-21
