Finding conservative schema evolutions by analysing API changes

Lynda Ait Oubelli (1, 2) , Yamine Aït-Ameur (2, 3) , Judicaël Bedouet (1) , Benoît Chausserie-Laprée (4) , Béatrice Larzul (4)

1 DTIS, ONERA, Université de Toulouse [Toulouse]
2 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
3 Toulouse INP - Institut National Polytechnique (Toulouse)
4 CNES - Centre National d'Études Spatiales [Toulouse]

Because verification and validation are important activities in model driven engineering (MDE), verifying interfaces preservation is considered an interesting step to understand the evolution of data models by analyzing their interfaces. The interfaces defined on a data model can be used to define model evolution correctness using observational semantics. In this paper, we propose an approach that supports rigorous analysis, verification and validation of behavioral re-factoring. Our work addresses the problem of data model evolution in a formal modelling and verification setting. We focus on data conservation in the specific context of space engineering, where data models may involve thousands of concepts, relationships and each concept has a number of fields or attributes and each relationship has a number of properties.

Mots clés: labelled transition system (LTS); data models evolution; data model transformation; data models comparison (Bi-simulation); graphs

Domaines: Sciences de l'ingénieur [physics]; Physique [physics]

Lynda Ait Oubelli, Yamine Aït-Ameur, Judicaël Bedouet, Benoît Chausserie-Laprée, Béatrice Larzul. Finding conservative schema evolutions by analysing API changes. The 31st International Conference on Software Engineering and Knowledge Engineering, Jul 2019, Lisbonne, Portugal. pp.748-753, ⟨10.18293/SEKE2019-132⟩. ⟨hal-02650548⟩