Research Article
Megamodel Consistency Management at Runtime
328 downloads
@INPROCEEDINGS{10.1007/978-3-319-72965-7_24, author={El Toure and Ibrahima Fall and Alassane Bah and Mamadou Camara}, title={Megamodel Consistency Management at Runtime}, proceedings={Innovation and Interdisciplinary Solutions for Underserved Areas. First International Conference, InterSol 2017 and Sixth Collogue National sur la Recherche en Informatique et ses Applications, CNRIA 2017, Dakar, Senegal, April 11--12, 2017, Proceedings}, proceedings_a={INTERSOL \& CNRIA}, year={2018}, month={2}, keywords={Runtime software evolution Runtime verification Megamodeling Correctness Axiomatic semantics}, doi={10.1007/978-3-319-72965-7_24} }- El Toure
Ibrahima Fall
Alassane Bah
Mamadou Camara
Year: 2018
Megamodel Consistency Management at Runtime
INTERSOL & CNRIA
Springer
DOI: 10.1007/978-3-319-72965-7_24
Abstract
This paper addresses the problem of ensuring consistency, correctness and other properties in dynamically changing software systems. The approach uses a Megamodel that represents the current state of the system at runtime including some rules. These rules are formulated as Hoare-Triples and allow to check whether modifications to the software system result in a consistent state, otherwise to fix changes that are likely to violate the megamodel integrity.
Copyright © 2017–2024 ICST
