Using First Order Logic to Validate Feature Model.
Abdelrahman Osman Elfaki, Somnuk Phon-Amnuaisuk, Chin Kuan Ho · Variability Modelling of Software-Intensive Systems · 2009
Feature Model (FM) is approved as a successful technique to model variability in Software Product Line (SPL), therefore it is very important to produce errorfree FM. Inconsistency in FM is addressed as key challenge in validation of FM. This paper completes the knowledge-base(KB) method for validating FM by defining a new operation, namely inconsistencyprevention. First the inconsistency in FM is categorized into four groups as a prerequisite process for inconsistency-prevention. Then the scalability of KB method for validating FM is tested. Empirical results for each operation are presented and discussed. The empirical results are employed to illustrate scalability and applicability of the proposed knowledge-base method.