Information Technology Reference
In-Depth Information
in the oAW framework which allows us to validate models
against OCL-type expressions [OAW 09]. We generate Check
expressions from the constraint models we create using the
constraint models creator that we later present in Chapter 6.
Therefore, product designers are able to validate binding
models against the generated Check expressions. We include
details of the model-to-text transformation rules in charge of
creating Check expression on the Website [ARB]. In Chapter 6
we present a complete example of the staged configuration
and derivation of Smart-Home systems of our MD-SPL. This
exampleincludesexamplesofthegeneratedCheckexpressions
for our constraint models.
5.3. Deriving products based on constraint models and
binding models
Insection4.6.2,weintroduceddecisionmodelsinthecontext
of MDE as our mechanism for composition of transformation
rules based on feature configurations. We discussed how our
decision models are useful to capture (1) the relationships
between features and specific transformation rules,and (2) the
required execution ordering of transformation rules to create
products based on feature configurations.
Our basic idea of obtaining a final execution scheduling
was to construct a baseline scheduling, which is modified
according to valid feature configurations. Thus, for example,
during the derivation of a Smart-Home system, if the
feature Automatic Windows was selected in a feature
configuration, the base sequence to transform domain
models into facilities models was modified to replace the
rule domainWindowsToFacilitiesWindows by the rule
windowsToAutomaticWindows .
Binding models imply the modification of a baseline
scheduling taking into account not only features from
Search WWH ::




Custom Search