Publication
Title
OSATE-DIM solves the instance model-view update problem in AADL
Author
Abstract
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.
Language
English
Source (book)
MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion
Publication
2022
ISBN
978-1-4503-9467-3
DOI
10.1145/3550356.3559083
Volume/pages
(2022) , p. 1-6
Full text (Publisher's DOI)
Full text (publisher's version - intranet only)
UAntwerpen
Research group
Publication type
Subject
External links
Record
Identifier
Creation 23.01.2024
Last edited 23.01.2024
To cite this reference