Changes

              
    

          
          
        
        

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