Premium
A rule‐based approach to detect and prevent inconsistency in the domain‐engineering process
Author(s) -
Elfaki Abdelrahman Osman
Publication year - 2016
Publication title -
expert systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.365
H-Index - 38
eISSN - 1468-0394
pISSN - 0266-4720
DOI - 10.1111/exsy.12116
Subject(s) - domain engineering , computer science , domain (mathematical analysis) , process (computing) , scalability , domain analysis , feature oriented domain analysis , quality (philosophy) , data mining , software engineering , reliability engineering , software , software development , component based software engineering , database , programming language , software construction , mathematical analysis , philosophy , mathematics , epistemology , engineering
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.