“…We would also like to provide means to check the validity of integrity constraints at the family level, in the style of [2]. Our approach targets variability at the model level, but variability at the meta-model level can be useful as well, e.g., to enable the generation of product lines of editors [14]. We plan to study other forms of variability, since PCs alone do not allow, e.g., specifying different attribute values.…”