10.1145/3270112.3275337
https://zenodo.org/records/3479213
oai:zenodo.org:3479213
Tucci, Michele
Michele
Tucci
0000-0002-0329-1101
University of L'Aquila
Model-driven round-trip software dependability engineering
Zenodo
2018
Software refactoring
Depandability
Change propagation
Model-driven engineering
Bidirectional model transformation
2018-10-09
eng
https://zenodo.org/communities/eu
Creative Commons Attribution 4.0 International
Supporting changes in software models is becoming increasingly important. Some of these changes are induced by non-functional analysis that is usually conducted on different models and tools. Therefore, it becomes crucial to develop methods that allow automated transformations between these two families of models throughout the development cycle. To this extent, in the last decade, a number of approaches have been introduced to generate non-functional analysis models from software models. However, when analysis models are modified to meet non-functional requirements, changes are not propagated to update the software model. Automating the identification and propagation of changes would better support a round-trip analysis process. In this PhD program, we aim at introducing automation in the model-driven assessment of dependability, and we propose to leverage bidirectional model transformations to: (i) generate dependability analysis models from software models, and (ii) automatically propagate changes, driven by dependability requirements satisfaction, from analysis models back to software models. In particular, we intend to extend JTL, that is a bidirectional model transformations framework designed for model synchronization and change propagation, to handle problems that may arise from the application of bidirectional transformations in the context of dependability assessment.
European Commission
10.13039/501100000780
737494
MegaModelling at Runtime - scalable model-based framework for continuous development and runtime validation of complex systems.