Finding conservative schema evolutions by analysing API changes - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

Finding conservative schema evolutions by analysing API changes

Abstract

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.
Fichier principal
Vignette du fichier
DTIS20069.1584549894.pdf (565.99 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-02650548 , version 1 (29-05-2020)

Identifiers

Cite

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⟩
48 View
47 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More