OSATE-DIM solves the instance model-view update problem in AADL - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

OSATE-DIM solves the instance model-view update problem in AADL

Résumé

AADL (Architecture Analysis and Design Language) is a rich modeling language for embedded systems through several constructs such as component extension and refinement to promote modularity of declarative specifications. To ease the processing of AADL models by tools, OSATE, the reference tool for AADL, defines another model computed from declarative models which results in a single tree system where all information is readily available. Tools can efficiently use this readily available information to analyze the system. An automated backward transformation (deinstantiation) from instance models to declarative models is missing to update the corresponding declarative specification given changes that have been performed on the instance model. Since the instance model is a 'view' of the declarative model, this is a view-update problem. We demonstrate the OSATE Declarative-Instance Mapping Tool (OSATE-DIM), to perform incremental deinstantiation in AADL. This tool significantly eases the development of AADL analysis and code generation tools.
Fichier non déposé

Dates et versions

hal-04497323 , version 1 (09-03-2024)

Identifiants

Citer

Rakshit Mittal, Dominique Blouin. OSATE-DIM solves the instance model-view update problem in AADL. MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec, Canada. pp.1-6, ⟨10.1145/3550356.3559083⟩. ⟨hal-04497323⟩
22 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More