Alternativer Identifier:
(KITopen-DOI) 10.5445/IR/1000129008
Verwandter Identifier:
-
Ersteller/in:
Reiche, Frederik [Reiche, Frederik]

Schiffl, Jonas https://orcid.org/0000-0002-9882-8177 [Schiffl, Jonas]

Weigl, Alexander https://orcid.org/0000-0001-8446-4598 [Weigl, Alexander]
Beitragende:
-
Titel:
Quantification of Correctness with Palladio and KeY: Case Study Data
Weitere Titel:
-
Beschreibung:
(Abstract) In our report, we described a case study where we evaluate our approach for correctness quantification using Palladio and KeY. Here, we publish the corresponding Palladio Component Model files as well as the generated source code, in order to make them publicly available.
(Technical Remarks) # README: Case Study (Age of Maturity) This archive contains the Palladio artifacts of the case study "AgeOfMaturity" of the Technical-Report "Model-driven Quantification of Correctness with Palladio and KeY" (DOI: 10.5445/IR/1000128855). The structure of this archive is as follows: * The folder "PalladioModels" contains the Palladio Component Model Eclipse Project of the "AgeOfMaturity" use case * The folder "DependencySolverResults" contains output files with the results of the solved "AgeOfMaturity" case study as described in the report * The folder "GeneratedJavaCode" contains Java-Code generated with the [PCM2Java](https://github.com/KASTEL-SCBS/PCM2Java) Project * The folder "PalladioDiagrams" contains the exported model diagrams of the "AgeOfMaturity" case study created for the technical report The usage of the Palladio Editor and the DependencySolver is explained in the following. ## Setup For usage of the artifacts, an Eclipse IDE with the installed Palladio Simulator is necessary. * Download and run a clean [Release of the **Eclipse Modeling Tools** 2020-06 IDE](https://www.eclipse.org/downloads/packages/release/2020-06/r/eclipse-modeling-tools) * Install the Palladio Simulator by using the [Eclipse Market Place](https://marketplace.eclipse.org/content/palladio-43-eclipse-2020-06) or the [Palladio Update Site](https://updatesite.palladio-simulator.com/palladio-build-updatesite/releases/latest/). Install at least the Palladio Component Model, the "Analyzer: Analytical Solver" and the Editors. ## Viewing and Modifying the Models * Import the Palladio AgeOfMaturity Project: * Open the Import Window in Eclipse (File --> Import --> General --> Existing Projects into Workspace) * In the opened Import Windows select the path to the "edu.kit.kastel.scbs.ageofmaturity" Project in the PalladioModels Folder. * Select "Finish" * Open the files with the suffix "_diagram", to view the models with the installed GMF Editors. ## Running the DependencySolver * Create a PCM Solver Run Configuration: (Run --> Run Configurations --> Call Context Menu for PCM Solver --> New Configuration) * Select the created Run Configuration * Configure Architecture Models in the Configuration (Select "Architecture Model(s)" Tab) * Insert Configuration Name * Under "Allocation File" insert the AgeOfMaturity.allocation file path (e.g. by using the "Workspace..." menu) * Under "Usage File" insert the AgeOfMaturity.allocation File Path (e.g. by using the "Workspace..." menu) * Configure the Solver (Select "Solver" Tab) * Select "SRES (Stochastic Regular Expression Solver)" * Uncheck "Use of Expression Model File" checkbox * Provide Path to an Output file in "Expression Model File" * Optional: Configure the Analysis to store Temporary Data(Select "Analysis Configuration" Tab) * Provide Location for storing the temporal data: Under "Location of temporary data", uncheck "use default location" checkbox and provide path to the location * Uncheck the "Delete temporary data after analysis" checkbox. ## Result Interpretation The computed usage/output shows the folded probabilities for each branch in the usage scenario and the visited service effect specifications. The probability to enter a critical section (see technical report) under the given usage model can be retrieved through inspection of the entries for the inserted branches for the critical sections.
Schlagworte:
-
Zugehörige Informationen:
-
Sprache:
-
Erstellungsjahr:
Fachgebiet:
Computer Science
Objekttyp:
Dataset
Datenquelle:
-
Verwendete Software:
-
Datenverarbeitung:
-
Erscheinungsjahr:
Rechteinhaber/in:
Reiche, Frederik
Förderung:
-
Name Speichervolumen Metadaten Upload Aktion

Zugriffe der letzten sechs Monate

Aufrufe der Datenpaket-Seite

78


Downloads des Datenpakets

0


Gesamtstatistik

Zeitraum Aufrufe der Datenpaket-Seite Datenpaket heruntergeladen
Mai 2024 19 0
Apr. 2024 18 0
März 2024 9 0
Feb. 2024 18 0
Jan. 2024 9 0
Dez. 2023 5 0
Vorher 61 0
Gesamt 139 0
Status:
Publiziert
Eingestellt von:
kitopen
Erstellt am:
Archivierungsdatum:
2023-06-21
Archivgröße:
479,7 kB
Archiversteller:
kitopen
Archiv-Prüfsumme:
cf64537c4ab9bd6bf2ca7cc891621008 (MD5)
Ende des Embargo-Zeitraums:
-