Megamodel Consistency Management at Runtime

El Toure; Ibrahima Fall; Alassane Bah; Mamadou Camara

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

239 downloads

Cite: BibTeX Plain Text

@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 Toure¹^,*, Ibrahima Fall¹^,*, Alassane Bah¹^,*, Mamadou Camara¹^,*

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.

Keywords: Runtime software evolution Runtime verification Megamodeling Correctness Axiomatic semantics

Published: 2018-02-01
Appears in: SpringerLink

: http://dx.doi.org/10.1007/978-3-319-72965-7_24