OSATE-DIM
Open-Source AADL Tool Environment-based Declarative Instance Mapping
This project contains the source code associated with the OSATE-DIM tool.
The Core of the transformation is specified in:
- fr.mem4csd.osatedim
The User Interface of the tool is specified in:
- fr.mem4csd.osatedim.ui
The Test suite for validating the tool is provided in:
- fr.mem4csd.osatedim.tests : The Test methods
- fr.mem4csd.osatedim.tests.oracle : The Oracle files used for comparison with OSATE-DIM generated results
- fr.mem4csd.osatedim.tests.ref : The clean Reference test files, which are copied into the [.tests] project in the beginning of each test.
The meta-model for the Aaxl2Aaxl trace model and its EMF-based editor is provided in:
- fr.mem4csd.osatedim.deltatrace
- fr.mem4csd.osatedim.deltatrace.edit
- fr.mem4csd.osatedim.deltatrace.editor
- fr.mem4csd.osatedim.deltatrace.tests
Dependencies
This project has the following dependencies:
- fr.tpt.mem4csd.utils.compare [.emf] [.aadl] : Comparison framework for the tests project.
- org.osate.aadl2 : OSATE
- fr.tpt.mem4csd.utils.osate.standalone : Required to run OSATE as a plain Java application (without the Eclipse platform and OSGI)
- org.eclipse.xtext : Required to avoid verbose logs
- org.eclipse.viatra : Graph-based model transformation tool used by OSATE-DIM to de-instantiate Instance models
Installation
- Installing into an existing Eclipse:
- Install OSATE from its update-site (menu Help –> Install new Software… and Add OSATE update-site): https://osate-build.sei.cmu.edu/download/osate/stable/latest/updates/
- Install OSATE-DIM from its update-site (menu Help –> Install new Software… and Add OSATE-DIM update-site): https://mem4csd.telecom-paristech.fr/download/update-site/osate-dim/
- Select all the projects and click Next > Finish
- Downloading an OSATE-DIM Eclipse product :
- You can also download an Eclipse product release with OSATE-DIM from the Zenodo repository with DOI: 10.5281/zenodo.6971720
- The product release is available for Windows and Linux platforms.
- Development Environment
- You may also setup an Eclipse environment to develop OSATE-DIM by pulling the source code from this repository.
- To test, you should then run an Eclipse application from within the Eclipse workspace that contains the source code plugin projects.
Weblinks
More details about the tool can be found on the tool homepage
References
This work is used in the publication of
-
Rakshit Mittal, Dominique Blouin, Anish Bhobe, and Soumyadip Bandyopadhyay. 2022. Solving the instance model-view update problem in AADL. In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (MODELS '22). Association for Computing Machinery, New York, NY, USA, 55–65. https://doi.org/10.1145/3550355.3552396
-
Rakshit Mittal and Dominique Blouin. 2022. OSATE-DIM solves the instance model-view update problem in AADL. In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (MODELS '22). Association for Computing Machinery, New York, NY, USA, 1–6. https://doi.org/10.1145/3550356.3559083
-
Rakshit Mittal. 2022. The instance model-view update problem in AADL. In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (MODELS '22). Association for Computing Machinery, New York, NY, USA, 221–224. https://doi.org/10.1145/3550356.3552373