Validations provided bySPLEmmainclude structural veri-cations onfms and mappings (YourCastdenes a meta-model for the denition of relationships) as well as correctconstruction ofContributions. As the previous evolutions in-volvefmchanges, we use generic preconditions related tofmconsistency