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

roblem Space(PS),containing feature models, can also need modicationson theConguration Knowledge(CK) or mappingsand theSolution Space(SS)