Changes

              
    

          
          
        
        

            
f
1
{
f
1
{
            
2
  "author": "Ordoni, Elaheh",
2
  "author": "Ordoni, Elaheh",
            
3
  "author_email": "",
3
  "author_email": "",
            
n
n
4
  "citation": [],
            
4
  "creator_user_id": "17755db4-395a-4b3b-ac09-e8e3484ca700",
5
  "creator_user_id": "17755db4-395a-4b3b-ac09-e8e3484ca700",
            
5
  "doi": "10.35097/1298",
6
  "doi": "10.35097/1298",
            
6
  "doi_date_published": "2023",
7
  "doi_date_published": "2023",
            
7
  "doi_publisher": "",
8
  "doi_publisher": "",
            
8
  "doi_status": "True",
9
  "doi_status": "True",
            
9
  "extra_authors": [
10
  "extra_authors": [
            
10
    {
11
    {
            
11
      "extra_author": "Bach, Jakob",
12
      "extra_author": "Bach, Jakob",
            
n
n
13
      "familyName": "Bach",
            
14
      "givenName": "Jakob",
            
12
      "orcid": "0000-0003-0301-2798"
15
      "orcid": "0000-0003-0301-2798"
            
13
    },
16
    },
            
14
    {
17
    {
            
15
      "extra_author": "Fleck, Ann-Katrin",
18
      "extra_author": "Fleck, Ann-Katrin",
            
n
n
19
      "familyName": "Fleck",
            
20
      "givenName": "Ann-Katrin",
            
16
      "orcid": "0000-0001-8842-8906"
21
      "orcid": "0000-0001-8842-8906"
            
17
    }
22
    }
            
18
  ],
23
  ],
            
n
n
24
  "familyName": "Ordoni",
            
25
  "givenName": "Elaheh",
            
19
  "groups": [],
26
  "groups": [],
            
20
  "id": "bb15eb7b-aaf3-4324-8f1a-9264f7b4b19a",
27
  "id": "bb15eb7b-aaf3-4324-8f1a-9264f7b4b19a",
            
21
  "isopen": false,
28
  "isopen": false,
            
22
  "license_id": "CC BY 4.0 Attribution",
29
  "license_id": "CC BY 4.0 Attribution",
            
23
  "license_title": "CC BY 4.0 Attribution",
30
  "license_title": "CC BY 4.0 Attribution",
            
24
  "metadata_created": "2023-08-04T08:50:29.080516",
31
  "metadata_created": "2023-08-04T08:50:29.080516",
            
n
25
  "metadata_modified": "2023-08-04T09:29:02.952685",
n
32
  "metadata_modified": "2024-11-28T13:16:50.090391",
            
26
  "name": "rdr-doi-10-35097-1298",
33
  "name": "rdr-doi-10-35097-1298",
            
27
  "notes": "Abstract: These are the experimental data for the 
34
  "notes": "Abstract: These are the experimental data for the 
            
28
paper\r\n\r\n> Ordoni, Elaheh, Jakob Bach, and Ann-Katrin Fleck. 
35
paper\r\n\r\n> Ordoni, Elaheh, Jakob Bach, and Ann-Katrin Fleck. 
            
29
\"Analyzing and Predicting Verification of Data-Aware Process 
36
\"Analyzing and Predicting Verification of Data-Aware Process 
            
30
Models--A Case Study With Spectrum Auctions\"\r\n\r\npublished by 
37
Models--A Case Study With Spectrum Auctions\"\r\n\r\npublished by 
            
31
[*IEEE Access*](https://ieeeaccess.ieee.org/) in 2022.\r\nYou can find 
38
[*IEEE Access*](https://ieeeaccess.ieee.org/) in 2022.\r\nYou can find 
            
32
the paper [here](https://www.doi.org/10.1109/ACCESS.2022.3154445) and 
39
the paper [here](https://www.doi.org/10.1109/ACCESS.2022.3154445) and 
            
33
the code 
40
the code 
            
34
(https://github.com/Jakob-Bach/Analyzing-Auction-Verification).\r\nSee 
41
(https://github.com/Jakob-Bach/Analyzing-Auction-Verification).\r\nSee 
            
35
the `README` for details.\r\n\r\nFrom the raw experimental data, we 
42
the `README` for details.\r\n\r\nFrom the raw experimental data, we 
            
36
also extracted and pre-processed a smaller dataset that is suitable 
43
also extracted and pre-processed a smaller dataset that is suitable 
            
37
for training prediction models.\r\nThis prediction dataset is 
44
for training prediction models.\r\nThis prediction dataset is 
            
38
available under the name `Auction Verification` in the [UCI Machine 
45
available under the name `Auction Verification` in the [UCI Machine 
            
39
Learning 
46
Learning 
            
40
ta.ics.uci.edu/ml/datasets/auction+verification).\r\nTechnicalRemarks: 
47
ta.ics.uci.edu/ml/datasets/auction+verification).\r\nTechnicalRemarks: 
            
41
These are the experimental data for the paper\r\n\r\n> Ordoni, Elaheh, 
48
These are the experimental data for the paper\r\n\r\n> Ordoni, Elaheh, 
            
42
Jakob Bach, and Ann-Katrin Fleck. \"Analyzing and Predicting 
49
Jakob Bach, and Ann-Katrin Fleck. \"Analyzing and Predicting 
            
43
Verification of Data-Aware Process Models -- a Case Study with 
50
Verification of Data-Aware Process Models -- a Case Study with 
            
44
Spectrum Auctions\"\r\n\r\nCheck our [GitHub 
51
Spectrum Auctions\"\r\n\r\nCheck our [GitHub 
            
45
ository](https://github.com/Jakob-Bach/Analyzing-Auction-Verification) 
52
ository](https://github.com/Jakob-Bach/Analyzing-Auction-Verification) 
            
46
for the code and instructions to reproduce the experiments.\r\n\r\n- 
53
for the code and instructions to reproduce the experiments.\r\n\r\n- 
            
47
`result[0-5].csv`: The output of the iterative verification procedure, 
54
`result[0-5].csv`: The output of the iterative verification procedure, 
            
48
input to `prepare_dataset.py` (which pre-processes and consolidates 
55
input to `prepare_dataset.py` (which pre-processes and consolidates 
            
49
the dataset).\r\n- `auction_verification_large.csv`: The output of 
56
the dataset).\r\n- `auction_verification_large.csv`: The output of 
            
50
`prepare_dataset.py` (consolidated dataset), input to 
57
`prepare_dataset.py` (consolidated dataset), input to 
            
51
`run_experiments.py` (the experimental pipeline).\r\n- 
58
`run_experiments.py` (the experimental pipeline).\r\n- 
            
52
`prediction_results.csv`: The output of `run_experiments.py` (full 
59
`prediction_results.csv`: The output of `run_experiments.py` (full 
            
53
numeric experimental results), input to `run_evaluation.py` (which 
60
numeric experimental results), input to `run_evaluation.py` (which 
            
54
prints statistics and creates the plots for the paper).",
61
prints statistics and creates the plots for the paper).",
            
55
  "num_resources": 0,
62
  "num_resources": 0,
            
56
  "num_tags": 4,
63
  "num_tags": 4,
            
57
  "orcid": "",
64
  "orcid": "",
            
58
  "organization": {
65
  "organization": {
            
59
    "approval_status": "approved",
66
    "approval_status": "approved",
            
60
    "created": "2023-01-12T13:30:23.238233",
67
    "created": "2023-01-12T13:30:23.238233",
            
61
    "description": "RADAR (Research Data Repository) is a 
68
    "description": "RADAR (Research Data Repository) is a 
            
62
cross-disciplinary repository for archiving and publishing research 
69
cross-disciplinary repository for archiving and publishing research 
            
63
data from completed scientific studies and projects. The focus is on 
70
data from completed scientific studies and projects. The focus is on 
            
64
research data from subjects that do not yet have their own 
71
research data from subjects that do not yet have their own 
            
65
discipline-specific infrastructures for research data management. ",
72
discipline-specific infrastructures for research data management. ",
            
66
    "id": "013c89a9-383c-4200-8baa-0f78bf1d91f9",
73
    "id": "013c89a9-383c-4200-8baa-0f78bf1d91f9",
            
67
    "image_url": "radar-logo.svg",
74
    "image_url": "radar-logo.svg",
            
68
    "is_organization": true,
75
    "is_organization": true,
            
69
    "name": "radar",
76
    "name": "radar",
            
70
    "state": "active",
77
    "state": "active",
            
71
    "title": "RADAR",
78
    "title": "RADAR",
            
72
    "type": "organization"
79
    "type": "organization"
            
73
  },
80
  },
            
74
  "owner_org": "013c89a9-383c-4200-8baa-0f78bf1d91f9",
81
  "owner_org": "013c89a9-383c-4200-8baa-0f78bf1d91f9",
            
75
  "private": false,
82
  "private": false,
            
76
  "production_year": "2022",
83
  "production_year": "2022",
            
77
  "publication_year": "2023",
84
  "publication_year": "2023",
            
78
  "publishers": [
85
  "publishers": [
            
79
    {
86
    {
            
80
      "publisher": "Karlsruhe Institute of Technology"
87
      "publisher": "Karlsruhe Institute of Technology"
            
81
    }
88
    }
            
82
  ],
89
  ],
            
t
t
90
  "related_identifiers": [
            
91
    {
            
92
      "identifier": 
            
93
"https://publikationen.bibliothek.kit.edu/1000142949",
            
94
      "identifier_type": "URL",
            
95
      "relation_type": "IsIdenticalTo"
            
96
    }
            
97
  ],
            
83
  "relationships_as_object": [],
98
  "relationships_as_object": [],
            
84
  "relationships_as_subject": [],
99
  "relationships_as_subject": [],
            
85
  "repository_name": "RADAR (Research Data Repository)",
100
  "repository_name": "RADAR (Research Data Repository)",
            
86
  "resources": [],
101
  "resources": [],
            
87
  "services_used_list": "",
102
  "services_used_list": "",
            
88
  "source_metadata_created": "2023",
103
  "source_metadata_created": "2023",
            
89
  "source_metadata_modified": "",
104
  "source_metadata_modified": "",
            
90
  "state": "active",
105
  "state": "active",
            
91
  "subject_areas": [
106
  "subject_areas": [
            
92
    {
107
    {
            
93
      "subject_area_additional": "",
108
      "subject_area_additional": "",
            
94
      "subject_area_name": "Computer Science"
109
      "subject_area_name": "Computer Science"
            
95
    }
110
    }
            
96
  ],
111
  ],
            
97
  "tags": [
112
  "tags": [
            
98
    {
113
    {
            
99
      "display_name": "formal verification",
114
      "display_name": "formal verification",
            
100
      "id": "983d756d-3ad9-442e-8db2-751ce1b80f2c",
115
      "id": "983d756d-3ad9-442e-8db2-751ce1b80f2c",
            
101
      "name": "formal verification",
116
      "name": "formal verification",
            
102
      "state": "active",
117
      "state": "active",
            
103
      "vocabulary_id": null
118
      "vocabulary_id": null
            
104
    },
119
    },
            
105
    {
120
    {
            
106
      "display_name": "machine learning",
121
      "display_name": "machine learning",
            
107
      "id": "9e42784b-6ee7-47e8-a69a-28b8c510212b",
122
      "id": "9e42784b-6ee7-47e8-a69a-28b8c510212b",
            
108
      "name": "machine learning",
123
      "name": "machine learning",
            
109
      "state": "active",
124
      "state": "active",
            
110
      "vocabulary_id": null
125
      "vocabulary_id": null
            
111
    },
126
    },
            
112
    {
127
    {
            
113
      "display_name": "model checking",
128
      "display_name": "model checking",
            
114
      "id": "f58f2b5f-29c1-4ead-a7ba-ce056dc5057c",
129
      "id": "f58f2b5f-29c1-4ead-a7ba-ce056dc5057c",
            
115
      "name": "model checking",
130
      "name": "model checking",
            
116
      "state": "active",
131
      "state": "active",
            
117
      "vocabulary_id": null
132
      "vocabulary_id": null
            
118
    },
133
    },
            
119
    {
134
    {
            
120
      "display_name": "spectrum auctions",
135
      "display_name": "spectrum auctions",
            
121
      "id": "06097327-05db-4b8b-84d1-51bf8b257b16",
136
      "id": "06097327-05db-4b8b-84d1-51bf8b257b16",
            
122
      "name": "spectrum auctions",
137
      "name": "spectrum auctions",
            
123
      "state": "active",
138
      "state": "active",
            
124
      "vocabulary_id": null
139
      "vocabulary_id": null
            
125
    }
140
    }
            
126
  ],
141
  ],
            
127
  "title": "Experimental data for the paper \"analyzing and predicting 
142
  "title": "Experimental data for the paper \"analyzing and predicting 
            
128
verification of data-aware process models -- a case study with 
143
verification of data-aware process models -- a case study with 
            
129
spectrum auctions\"",
144
spectrum auctions\"",
            
130
  "type": "vdataset",
145
  "type": "vdataset",
            
131
  "url": "https://doi.org/10.35097/1298"
146
  "url": "https://doi.org/10.35097/1298"
            
132
}
147
}