Research Article
An Effective Methodology with Automated Product Configuration for Software Product Line Development
Algorithm 2
Alloy specification of variability constraints.
| // signature definition for variable elements | | lone sig component1, component2, component3, component4, component5… | | fact // alternative constraints | | fact // atLeastOne constraints | | fact // allPossibilities constraints | | fact // implication constraints | | fact // equivalence constraints | | // variability constraints nested within a variable component | | fact |
|
