Tools Support - Model-Driven and Software Product Line Engineering - page 177

extension .configurationmetamodel containing the binding
model. Second, the binding model is validated against the
constraint model loaded before. What really occurs is that
the Check expressions generated from the constraint model
are used to check the binding model to determine if it
satisfies the constraints. After the validation, the product
designer obtains messages informing him about the state of
the validation.
Figure 6.10. Eclipse view of the constraint models creator
In summary, our Binding Models Creator allows product
designers to create fine-grained configurations by means of
binding models. Our Binding Models Creator also allows
product designers to validate the configurations against
constraints expressing the valid fine-grained variations
between products of the MD-SPL. This guarantees the
configuration and subsequent derivation of valid products.
6.4.4.3. Binding models for the SPL of Smart-Home systems
Productdesignerscancreateseveralbindingmodels,aswell
as domain models, to configure diverse Smart-Home systems
of our MD-SPL. In the following section, we will present the
process of configuring one particular Smart-Home system by