Abstract
A medium-sized domain-engineering process can contain thousands of features that all have constraint dependency rules between them. Therefore, the validation of the content of domain-engineering process is vital to produce high-quality software products. However, it is not feasible to do this manually. This paper aims to improve the quality of the software products generated by the domain-engineering process by ensuring the validity of the results of that process. We propose rules for two operations: inconsistency detection and inconsistency prevention. We introduce first-order logic (FOL) rules to detect three types of inconsistency and prevent the direct inconsistency in the domain-engineering process. Developing FOL rules to detect and prevent inconsistency in the domain-engineering process directly without the need to the configuration process is our main contribution. We performed some experiments to test the scalability and applicability of our approach on domain-engineered software product lines containing 1000 assets to 20000 assets. The results show that our approach is scalable and could be utilized to improve the domain-engineering process.