TY - GEN
T1 - OSATE-DIM solves the instance model-view update problem in AADL
AU - Mittal, Rakshit
AU - Blouin, Dominique
N1 - Publisher Copyright:
© 2022 ACM.
PY - 2022/10/23
Y1 - 2022/10/23
N2 - 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.
AB - 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.
KW - AADL
KW - Incremental model transformation
KW - Model-driven engineering
KW - View-update problem
UR - https://www.scopus.com/pages/publications/85142930975
U2 - 10.1145/3550356.3559083
DO - 10.1145/3550356.3559083
M3 - Conference contribution
AN - SCOPUS:85142930975
T3 - Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings
SP - 1
EP - 6
BT - Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022
PB - Association for Computing Machinery, Inc
T2 - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022
Y2 - 23 October 2022 through 28 October 2022
ER -