Changes

              
    

          
          
        
        

            
f
1
{
f
1
{
            
2
  "author": "Reiche, Frederik",
2
  "author": "Reiche, Frederik",
            
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/1274",
6
  "doi": "10.35097/1274",
            
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": "Schiffl, Jonas",
12
      "extra_author": "Schiffl, Jonas",
            
n
n
13
      "familyName": "Schiffl",
            
14
      "givenName": "Jonas",
            
12
      "orcid": "0000-0002-9882-8177"
15
      "orcid": "0000-0002-9882-8177"
            
13
    },
16
    },
            
14
    {
17
    {
            
15
      "extra_author": "Weigl, Alexander",
18
      "extra_author": "Weigl, Alexander",
            
n
n
19
      "familyName": "Weigl",
            
20
      "givenName": "Alexander",
            
16
      "orcid": "0000-0001-8446-4598"
21
      "orcid": "0000-0001-8446-4598"
            
17
    }
22
    }
            
18
  ],
23
  ],
            
n
n
24
  "familyName": "Reiche",
            
25
  "givenName": "Frederik",
            
19
  "groups": [],
26
  "groups": [],
            
20
  "id": "5121dec7-5189-45ed-9f38-2cdd9571f995",
27
  "id": "5121dec7-5189-45ed-9f38-2cdd9571f995",
            
21
  "isopen": false,
28
  "isopen": false,
            
22
  "license_id": "CC BY-SA 4.0 Attribution-ShareAlike",
29
  "license_id": "CC BY-SA 4.0 Attribution-ShareAlike",
            
23
  "license_title": "CC BY-SA 4.0 Attribution-ShareAlike",
30
  "license_title": "CC BY-SA 4.0 Attribution-ShareAlike",
            
24
  "metadata_created": "2023-08-04T08:50:25.004181",
31
  "metadata_created": "2023-08-04T08:50:25.004181",
            
t
25
  "metadata_modified": "2023-08-04T09:29:00.951486",
t
32
  "metadata_modified": "2024-11-28T13:15:50.754951",
            
26
  "name": "rdr-doi-10-35097-1274",
33
  "name": "rdr-doi-10-35097-1274",
            
27
  "notes": "Abstract: In our report, we described a case study where 
34
  "notes": "Abstract: In our report, we described a case study where 
            
28
we evaluate our approach for correctness quantification using Palladio 
35
we evaluate our approach for correctness quantification using Palladio 
            
29
and KeY. Here, we publish the corresponding Palladio Component Model 
36
and KeY. Here, we publish the corresponding Palladio Component Model 
            
30
files as well as the generated source code, in order to make them 
37
files as well as the generated source code, in order to make them 
            
31
publicly available.\r\nTechnicalRemarks: # README: Case Study (Age of 
38
publicly available.\r\nTechnicalRemarks: # README: Case Study (Age of 
            
32
Maturity)\r\n\r\nThis archive contains the Palladio artifacts of the 
39
Maturity)\r\n\r\nThis archive contains the Palladio artifacts of the 
            
33
case study \"AgeOfMaturity\" of the Technical-Report \"Model-driven 
40
case study \"AgeOfMaturity\" of the Technical-Report \"Model-driven 
            
34
Quantification of Correctness with Palladio and KeY\" (DOI: 
41
Quantification of Correctness with Palladio and KeY\" (DOI: 
            
35
10.5445/IR/1000128855).\r\n\r\nThe structure of this archive is as 
42
10.5445/IR/1000128855).\r\n\r\nThe structure of this archive is as 
            
36
follows:\r\n\r\n* The folder \"PalladioModels\" contains the Palladio 
43
follows:\r\n\r\n* The folder \"PalladioModels\" contains the Palladio 
            
37
Component Model Eclipse Project of the \"AgeOfMaturity\" use case\r\n* 
44
Component Model Eclipse Project of the \"AgeOfMaturity\" use case\r\n* 
            
38
The folder \"DependencySolverResults\" contains output files with the 
45
The folder \"DependencySolverResults\" contains output files with the 
            
39
results of the solved \"AgeOfMaturity\" case study as described in the 
46
results of the solved \"AgeOfMaturity\" case study as described in the 
            
40
report\r\n* The folder \"GeneratedJavaCode\" contains Java-Code 
47
report\r\n* The folder \"GeneratedJavaCode\" contains Java-Code 
            
41
generated with the [PCM2Java](https://github.com/KASTEL-SCBS/PCM2Java) 
48
generated with the [PCM2Java](https://github.com/KASTEL-SCBS/PCM2Java) 
            
42
Project\r\n* The folder \"PalladioDiagrams\" contains the exported 
49
Project\r\n* The folder \"PalladioDiagrams\" contains the exported 
            
43
model diagrams of the  \"AgeOfMaturity\" case study created for the 
50
model diagrams of the  \"AgeOfMaturity\" case study created for the 
            
44
technical report\r\n\r\n The usage of the Palladio Editor and the 
51
technical report\r\n\r\n The usage of the Palladio Editor and the 
            
45
DependencySolver is explained in the following. \r\n\r\n## 
52
DependencySolver is explained in the following. \r\n\r\n## 
            
46
Setup\r\n\r\nFor usage of the artifacts, an Eclipse IDE with the 
53
Setup\r\n\r\nFor usage of the artifacts, an Eclipse IDE with the 
            
47
installed Palladio Simulator is necessary.\r\n\r\n* Download and run a 
54
installed Palladio Simulator is necessary.\r\n\r\n* Download and run a 
            
48
clean [Release of the **Eclipse Modeling Tools** 2020-06 
55
clean [Release of the **Eclipse Modeling Tools** 2020-06 
            
49
.org/downloads/packages/release/2020-06/r/eclipse-modeling-tools)\r\n* 
56
.org/downloads/packages/release/2020-06/r/eclipse-modeling-tools)\r\n* 
            
50
Install the Palladio Simulator by using the [Eclipse Market 
57
Install the Palladio Simulator by using the [Eclipse Market 
            
51
](https://marketplace.eclipse.org/content/palladio-43-eclipse-2020-06) 
58
](https://marketplace.eclipse.org/content/palladio-43-eclipse-2020-06) 
            
52
or the [Palladio Update 
59
or the [Palladio Update 
            
53
te.palladio-simulator.com/palladio-build-updatesite/releases/latest/). 
60
te.palladio-simulator.com/palladio-build-updatesite/releases/latest/). 
            
54
Install at least the Palladio Component Model, the \"Analyzer: 
61
Install at least the Palladio Component Model, the \"Analyzer: 
            
55
Analytical Solver\" and the Editors.\r\n\r\n## Viewing and Modifying 
62
Analytical Solver\" and the Editors.\r\n\r\n## Viewing and Modifying 
            
56
the Models\r\n\r\n* Import the Palladio AgeOfMaturity Project:\r\n  * 
63
the Models\r\n\r\n* Import the Palladio AgeOfMaturity Project:\r\n  * 
            
57
Open the Import Window in Eclipse (File --> Import --> General --> 
64
Open the Import Window in Eclipse (File --> Import --> General --> 
            
58
Existing Projects into Workspace)\r\n  * In the opened Import Windows 
65
Existing Projects into Workspace)\r\n  * In the opened Import Windows 
            
59
select the path to the \"edu.kit.kastel.scbs.ageofmaturity\" Project 
66
select the path to the \"edu.kit.kastel.scbs.ageofmaturity\" Project 
            
60
in the PalladioModels Folder.\r\n  * Select \"Finish\"\r\n* Open the 
67
in the PalladioModels Folder.\r\n  * Select \"Finish\"\r\n* Open the 
            
61
files with the suffix \"_diagram\", to view the models with the 
68
files with the suffix \"_diagram\", to view the models with the 
            
62
installed GMF Editors.\r\n\r\n## Running the DependencySolver\r\n\r\n* 
69
installed GMF Editors.\r\n\r\n## Running the DependencySolver\r\n\r\n* 
            
63
Create a PCM Solver Run Configuration: (Run --> Run Configurations --> 
70
Create a PCM Solver Run Configuration: (Run --> Run Configurations --> 
            
64
Call Context Menu for PCM Solver  --> New Configuration)\r\n* Select 
71
Call Context Menu for PCM Solver  --> New Configuration)\r\n* Select 
            
65
the created Run Configuration\r\n* Configure Architecture Models in 
72
the created Run Configuration\r\n* Configure Architecture Models in 
            
66
the Configuration (Select \"Architecture Model(s)\" Tab)\r\n  * Insert 
73
the Configuration (Select \"Architecture Model(s)\" Tab)\r\n  * Insert 
            
67
Configuration Name\r\n  * Under \"Allocation File\" insert the 
74
Configuration Name\r\n  * Under \"Allocation File\" insert the 
            
68
AgeOfMaturity.allocation file path (e.g. by using the \"Workspace...\" 
75
AgeOfMaturity.allocation file path (e.g. by using the \"Workspace...\" 
            
69
menu)\r\n  * Under \"Usage File\" insert the AgeOfMaturity.allocation 
76
menu)\r\n  * Under \"Usage File\" insert the AgeOfMaturity.allocation 
            
70
File Path (e.g. by using the \"Workspace...\" menu)\r\n* Configure the 
77
File Path (e.g. by using the \"Workspace...\" menu)\r\n* Configure the 
            
71
Solver (Select \"Solver\" Tab)\r\n  * Select \"SRES (Stochastic 
78
Solver (Select \"Solver\" Tab)\r\n  * Select \"SRES (Stochastic 
            
72
Regular Expression Solver)\"\r\n  * Uncheck \"Use of Expression Model 
79
Regular Expression Solver)\"\r\n  * Uncheck \"Use of Expression Model 
            
73
File\" checkbox\r\n  * Provide Path to an Output file in \"Expression 
80
File\" checkbox\r\n  * Provide Path to an Output file in \"Expression 
            
74
Model File\"\r\n* Optional: Configure the Analysis to store Temporary 
81
Model File\"\r\n* Optional: Configure the Analysis to store Temporary 
            
75
Data(Select \"Analysis Configuration\" Tab)\r\n  * Provide Location 
82
Data(Select \"Analysis Configuration\" Tab)\r\n  * Provide Location 
            
76
for storing the temporal data: Under \"Location of temporary data\", 
83
for storing the temporal data: Under \"Location of temporary data\", 
            
77
uncheck \"use default location\" checkbox and provide path to the 
84
uncheck \"use default location\" checkbox and provide path to the 
            
78
location\r\n  * Uncheck the \"Delete temporary data after analysis\" 
85
location\r\n  * Uncheck the \"Delete temporary data after analysis\" 
            
79
checkbox.\r\n\r\n## Result Interpretation\r\n\r\nThe computed 
86
checkbox.\r\n\r\n## Result Interpretation\r\n\r\nThe computed 
            
80
usage/output shows the folded probabilities for each branch in the 
87
usage/output shows the folded probabilities for each branch in the 
            
81
usage scenario and the visited service effect specifications.\r\nThe 
88
usage scenario and the visited service effect specifications.\r\nThe 
            
82
probability to enter a critical section (see technical report) under 
89
probability to enter a critical section (see technical report) under 
            
83
the given usage model can be retrieved through inspection of the 
90
the given usage model can be retrieved through inspection of the 
            
84
entries for the inserted branches for the critical sections.",
91
entries for the inserted branches for the critical sections.",
            
85
  "num_resources": 0,
92
  "num_resources": 0,
            
86
  "num_tags": 0,
93
  "num_tags": 0,
            
87
  "orcid": "",
94
  "orcid": "",
            
88
  "organization": {
95
  "organization": {
            
89
    "approval_status": "approved",
96
    "approval_status": "approved",
            
90
    "created": "2023-01-12T13:30:23.238233",
97
    "created": "2023-01-12T13:30:23.238233",
            
91
    "description": "RADAR (Research Data Repository) is a 
98
    "description": "RADAR (Research Data Repository) is a 
            
92
cross-disciplinary repository for archiving and publishing research 
99
cross-disciplinary repository for archiving and publishing research 
            
93
data from completed scientific studies and projects. The focus is on 
100
data from completed scientific studies and projects. The focus is on 
            
94
research data from subjects that do not yet have their own 
101
research data from subjects that do not yet have their own 
            
95
discipline-specific infrastructures for research data management. ",
102
discipline-specific infrastructures for research data management. ",
            
96
    "id": "013c89a9-383c-4200-8baa-0f78bf1d91f9",
103
    "id": "013c89a9-383c-4200-8baa-0f78bf1d91f9",
            
97
    "image_url": "radar-logo.svg",
104
    "image_url": "radar-logo.svg",
            
98
    "is_organization": true,
105
    "is_organization": true,
            
99
    "name": "radar",
106
    "name": "radar",
            
100
    "state": "active",
107
    "state": "active",
            
101
    "title": "RADAR",
108
    "title": "RADAR",
            
102
    "type": "organization"
109
    "type": "organization"
            
103
  },
110
  },
            
104
  "owner_org": "013c89a9-383c-4200-8baa-0f78bf1d91f9",
111
  "owner_org": "013c89a9-383c-4200-8baa-0f78bf1d91f9",
            
105
  "private": false,
112
  "private": false,
            
106
  "production_year": "2020",
113
  "production_year": "2020",
            
107
  "publication_year": "2023",
114
  "publication_year": "2023",
            
108
  "publishers": [
115
  "publishers": [
            
109
    {
116
    {
            
110
      "publisher": "Karlsruhe Institute of Technology"
117
      "publisher": "Karlsruhe Institute of Technology"
            
111
    }
118
    }
            
112
  ],
119
  ],
            
113
  "relationships_as_object": [],
120
  "relationships_as_object": [],
            
114
  "relationships_as_subject": [],
121
  "relationships_as_subject": [],
            
115
  "repository_name": "RADAR (Research Data Repository)",
122
  "repository_name": "RADAR (Research Data Repository)",
            
116
  "resources": [],
123
  "resources": [],
            
117
  "services_used_list": "",
124
  "services_used_list": "",
            
118
  "source_metadata_created": "2023",
125
  "source_metadata_created": "2023",
            
119
  "source_metadata_modified": "",
126
  "source_metadata_modified": "",
            
120
  "state": "active",
127
  "state": "active",
            
121
  "subject_areas": [
128
  "subject_areas": [
            
122
    {
129
    {
            
123
      "subject_area_additional": "",
130
      "subject_area_additional": "",
            
124
      "subject_area_name": "Computer Science"
131
      "subject_area_name": "Computer Science"
            
125
    }
132
    }
            
126
  ],
133
  ],
            
127
  "tags": [],
134
  "tags": [],
            
128
  "title": "Quantification of correctness with palladio and key: case 
135
  "title": "Quantification of correctness with palladio and key: case 
            
129
study data",
136
study data",
            
130
  "type": "vdataset",
137
  "type": "vdataset",
            
131
  "url": "https://doi.org/10.35097/1274"
138
  "url": "https://doi.org/10.35097/1274"
            
132
}
139
}