Finding conservative schema evolutions by analysing API changes

International audienceBecause 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