Replication Package for "UnCertaGator: Propagation of Uncertainty Information in Development Processes Using Consistency Automation"
Fuente:
Zenodo
Gespeichert in:
| Hauptverfasser: | , , , , , |
|---|---|
| Format: | Recurso digital |
| Sprache: | Englisch |
| Veröffentlicht: |
Zenodo
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866901628201730048 |
|---|---|
| author | Hagel, Nathan Mäkelburg, Johannes Claus, Hammann Maximilian, Hummel Reussner, Ralf Acosta, Maribel |
| author_facet | Hagel, Nathan Mäkelburg, Johannes Claus, Hammann Maximilian, Hummel Reussner, Ralf Acosta, Maribel |
| contents | <p>This is the replication package for our paper "UnCertaGator: Propagation of Uncertainty Information in Development Processes Using Consistency Automation". This package contains the source code for the UnCertaGator implementation and the case-studies used in the evaluation in a ready-to-run configuration.</p> <h2>Requirements</h2> <p>- Java JDK 17<br>- Maven 3</p> <h2>Installation and Execution</h2> <p>Ensure Java and Maven are installed.<br>Unpack the zip file and navigate into each of the two directories <code>CPS-brakeSystemCaseStudy/</code> or <code>SA-TeaStore/</code>. Run <code>mvn clean verify</code>. The tests corresponding to the scenarios in the evaluation are executed after the projects have built.</p> <h2>Overview</h2> <p>This artefact contains the resources for the 3 case studies used in the UnCertaGator paper and contains its implementation.</p> <p>It is provided as a docker image, with all required dependencies installed. For local development, maven and Java are required.</p> <h3>Autonomous Vehicle</h3> <p><code>AV-1-AutonomousVehicle/</code> To evaluate the applicability of the uncertainty metamodel on in the autonomous vehicle domain. Consulte <code>AV-1-AutonomousVehicle/model</code> for the concrete model files.</p> <h3>Cyber-Physical Systems</h3> <p><code>CPS-brakeSystemCaseStudy/</code> For the cyber-physical systems case study, using a simplified brake-system and perform an applicability study that covers different scenarios of a potential application of the UnCertaGator to show its functional correctness.</p> <p>Go to <code>CPS-brakeSystemCaseStudy/</code> and run <code>mvn clean verify</code> to rerun the scenarios. The scenarios are for reproducibility implemented in unit tests. The prefix of each test (e.g., CPS1) corresponds to the scenarios in the paper. </p> <p>Go to <code>CPS-brakeSystemCaseStudy/vsum/src/test/java/tools/vitruv/methodologisttemplate/vsum/uncertainty</code> to inspect the scenarios or extend them as needed.</p> <p>Go to <code>CPS-brakeSystemCaseStudy/model/src/main/ecore/</code> to inspect the metamodels and the uncertainty metamodel used.</p> <p>Go to <code>CPS-brakeSystemCaseStudy/consistency/src/main/reactions/tools/vitruv/methodologisttemplate/consistency</code> to inspect the case-studies consistency rules, as well as the UnCertaGators code, which implements the generic uncertainty propagation and consistency rules presented in the paper.</p> <p><code>CPS-brakeSystemCaseStudy/consistency/src/main/reactions/tools/vitruv/methodologisttemplate/consistency</code> provides the consistency presevervation rules used to implement the features of the UnCertaGator. This implementation is integrated into the Vitruvius framework. Therefore, building the project, creates the required artifacts, generates the model code, etc. to make it usable (i.e., execute the tests, which implement the scenarios presented.)</p> <h3>Software Architecture TeaStore</h3> <p><code>SA-TeaStore</code> For the software-engineering / Architecture TeaStore case study, using models of development artifacts and performance models.</p> <p>Go to <code>SA-TeaStore/</code> and run <code>mvn clean verify</code> to rerun the scenarios. The scenarios are for reproducibility implemented in unit tests. The prefix of each test (e.g., SA1 to SA4) corresponds to the scenarios in the paper. </p> <p>o to <code>SA-TeaStore/vsum/src/test/java/tools/vitruv/methodologisttemplate/vsum/scenarios </code>to inspect the scenarios or extend them at your convenience.</p> <p>Go to <code>SA-TeaStore/model/src/main/ecore/</code> to inspect the metamodels and the uncertainty metamodel used.</p> <p>Go to <code>SA-TeaStore/consistency/src/main/reactions/tools/vitruv/methodologisttemplate/consistency</code> to inspect the case-studies consistency rules which create correspondence automatically, as well as the UnCertaGators code, which implements the generic uncertainty propagation and consistency rules presented in the paper.</p> <p><code>SA-TeaStore/consistency/src/main/reactions/tools/vitruv/methodologisttemplate/consistency</code> provides the consistency presevervation rules used to implement the features of the UnCertaGator. This implementation is integrated into the Vitruvius framework. Therefore, building the project, creates the required artifacts, generates the model code, etc. to make it usable (i.e., execute the tests, which implement the scenarios presented.)</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_18637402 |
| institution | Zenodo |
| language | eng |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Replication Package for "UnCertaGator: Propagation of Uncertainty Information in Development Processes Using Consistency Automation" Hagel, Nathan Mäkelburg, Johannes Claus, Hammann Maximilian, Hummel Reussner, Ralf Acosta, Maribel Uncertainty Consistency Consistency Preservation Automation Metamodeling Mulit-Model Environments <p>This is the replication package for our paper "UnCertaGator: Propagation of Uncertainty Information in Development Processes Using Consistency Automation". This package contains the source code for the UnCertaGator implementation and the case-studies used in the evaluation in a ready-to-run configuration.</p> <h2>Requirements</h2> <p>- Java JDK 17<br>- Maven 3</p> <h2>Installation and Execution</h2> <p>Ensure Java and Maven are installed.<br>Unpack the zip file and navigate into each of the two directories <code>CPS-brakeSystemCaseStudy/</code> or <code>SA-TeaStore/</code>. Run <code>mvn clean verify</code>. The tests corresponding to the scenarios in the evaluation are executed after the projects have built.</p> <h2>Overview</h2> <p>This artefact contains the resources for the 3 case studies used in the UnCertaGator paper and contains its implementation.</p> <p>It is provided as a docker image, with all required dependencies installed. For local development, maven and Java are required.</p> <h3>Autonomous Vehicle</h3> <p><code>AV-1-AutonomousVehicle/</code> To evaluate the applicability of the uncertainty metamodel on in the autonomous vehicle domain. Consulte <code>AV-1-AutonomousVehicle/model</code> for the concrete model files.</p> <h3>Cyber-Physical Systems</h3> <p><code>CPS-brakeSystemCaseStudy/</code> For the cyber-physical systems case study, using a simplified brake-system and perform an applicability study that covers different scenarios of a potential application of the UnCertaGator to show its functional correctness.</p> <p>Go to <code>CPS-brakeSystemCaseStudy/</code> and run <code>mvn clean verify</code> to rerun the scenarios. The scenarios are for reproducibility implemented in unit tests. The prefix of each test (e.g., CPS1) corresponds to the scenarios in the paper. </p> <p>Go to <code>CPS-brakeSystemCaseStudy/vsum/src/test/java/tools/vitruv/methodologisttemplate/vsum/uncertainty</code> to inspect the scenarios or extend them as needed.</p> <p>Go to <code>CPS-brakeSystemCaseStudy/model/src/main/ecore/</code> to inspect the metamodels and the uncertainty metamodel used.</p> <p>Go to <code>CPS-brakeSystemCaseStudy/consistency/src/main/reactions/tools/vitruv/methodologisttemplate/consistency</code> to inspect the case-studies consistency rules, as well as the UnCertaGators code, which implements the generic uncertainty propagation and consistency rules presented in the paper.</p> <p><code>CPS-brakeSystemCaseStudy/consistency/src/main/reactions/tools/vitruv/methodologisttemplate/consistency</code> provides the consistency presevervation rules used to implement the features of the UnCertaGator. This implementation is integrated into the Vitruvius framework. Therefore, building the project, creates the required artifacts, generates the model code, etc. to make it usable (i.e., execute the tests, which implement the scenarios presented.)</p> <h3>Software Architecture TeaStore</h3> <p><code>SA-TeaStore</code> For the software-engineering / Architecture TeaStore case study, using models of development artifacts and performance models.</p> <p>Go to <code>SA-TeaStore/</code> and run <code>mvn clean verify</code> to rerun the scenarios. The scenarios are for reproducibility implemented in unit tests. The prefix of each test (e.g., SA1 to SA4) corresponds to the scenarios in the paper. </p> <p>o to <code>SA-TeaStore/vsum/src/test/java/tools/vitruv/methodologisttemplate/vsum/scenarios </code>to inspect the scenarios or extend them at your convenience.</p> <p>Go to <code>SA-TeaStore/model/src/main/ecore/</code> to inspect the metamodels and the uncertainty metamodel used.</p> <p>Go to <code>SA-TeaStore/consistency/src/main/reactions/tools/vitruv/methodologisttemplate/consistency</code> to inspect the case-studies consistency rules which create correspondence automatically, as well as the UnCertaGators code, which implements the generic uncertainty propagation and consistency rules presented in the paper.</p> <p><code>SA-TeaStore/consistency/src/main/reactions/tools/vitruv/methodologisttemplate/consistency</code> provides the consistency presevervation rules used to implement the features of the UnCertaGator. This implementation is integrated into the Vitruvius framework. Therefore, building the project, creates the required artifacts, generates the model code, etc. to make it usable (i.e., execute the tests, which implement the scenarios presented.)</p> |
| title | Replication Package for "UnCertaGator: Propagation of Uncertainty Information in Development Processes Using Consistency Automation" |
| topic | Uncertainty Consistency Consistency Preservation Automation Metamodeling Mulit-Model Environments |
| url | https://doi.org/10.5281/zenodo.18637402 |