OSATE Declarative-Instance Mapping Tool
OSATE-DIM is a tool for performing the backward transformation from AADL Instance to Declarative models, known as Deinstantiation. This transformation is the inverse function of the Instantiation forward transformation. The tool is designed to perform incremental backward transformations, to provide maximum information preservation in the AADL model view update problem. Three different de-instantiation commands cover a wide range of user requirements: from the novice, to designer, to developer.
Demonstrations
Installation
Features
Transformation Rules
Case Studies
Sources and Bug Tracking
Publications
[MBBB22] Rakshit Mittal, Dominique Blouin, Anish Bhobe, 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
[MB22] Rakshit Mittal, 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
[M22] 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