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

Research Article

Megamodel Consistency Management at Runtime

Download
259 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
El Toure1,*, Ibrahima Fall1,*, Alassane Bah1,*, Mamadou Camara1,*
  • 1: École Supérieure Polytechnique (ESP), Université Cheikh Anta Diop de Dakar (UCAD)
*Contact email: bassirou.toure@esp.sn, ibrahima.fall@esp.sn, alassane.bah@ucad.edu.sn, mamadousamba.camara@ucad.edu.sn

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.