We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
A rule-based approach to detect and prevent inconsistency in the domain-engineering process.
- Authors
Elfaki, Abdelrahman Osman
- 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.
- Subjects
SOFTWARE product line engineering; COMPUTER software development; SOFTWARE engineering; FIRST-order logic; MODERN logic
- Publication
Expert Systems, 2016, Vol 33, Issue 1, p3
- ISSN
0266-4720
- Publication type
Article
- DOI
10.1111/exsy.12116