Research Article
An Effective Methodology with Automated Product Configuration for Software Product Line Development
Algorithm 3
Alloy specification of variability constraints from smart home SPL.
| // IS: Illumination System CL: Configurable Lighting | | // FIL: Fully Integrated Lighting TSC: Touchscreen Smart Controller | | // OSL: Occupancy Sensor Lighting WS: Wall Switch | | // ASC: Automated Shades Control | | lone sig Automated_IS, Assisted_IS, Manual_IS, FIL, OSL, ASC, CL, TSC, WS | | fact | | fact | | fact | | fact | | fact |
|
