Title: Towards detecting redundancy in domain engineering process using first order logic rules

Authors: Abdelrahman Osman Elfaki; Sim Liew Fong; Kevin Loo Teow Aik; Md Gapar Md Johar

Addresses: Faculty of Information Science and Engineering, Management and Science University, University Drive, Off Persiaran Olahraga, Section 13, 40100 Shah Alam, Selangor Darul Ehsan, Malaysia ' Faculty of Information Science and Engineering, Management and Science University, University Drive, Off Persiaran Olahraga, Section 13, 40100 Shah Alam, Selangor Darul Ehsan, Malaysia ' Faculty of Information Science and Engineering, Management and Science University, University Drive, Off Persiaran Olahraga, Section 13, 40100 Shah Alam, Selangor Darul Ehsan, Malaysia ' Faculty of Information Science and Engineering, Management and Science University, University Drive, Off Persiaran Olahraga, Section 13, 40100 Shah Alam, Selangor Darul Ehsan, Malaysia

Abstract: Software product line (SPL) is an emerging methodology for developing software products. SPL consists of two processes: domain-engineering and application-engineering. Successful software product is highly dependent on the validity of a domain engineering process. Therefore, validation is a significant process within the domain-engineering. Anomalies such as dead feature, redundancy, and wrong-cardinality are well-known problems in SPL. In the literature, redundancy did not take the signs of attentions as a dead feature and wrong-cardinality. The maturity of the SPL can be enhanced by detecting and removing the redundancy from the domain engineering. This paper proposes first order logic (FOL) rules for detecting the redundancy in domain-engineering process. Detecting redundancy in the domain engineering direct is our contribution. Our methodology comprised of three steps: 1) variability is modelled in the form of predicates as a prerequisite; 2) for each type of the redundancy, a general form is formulated to swathe all possible cases; 3) FOL rules are illustrated to implement each possibility based on deducing the results from predefined cases. As a result, all forms of redundancies in the domain-engineering process are amorphous. Finally, experiments are conducted to attest the scalability of our method.

Keywords: software product lines; SPL; domain engineering; variability; redundancy detection; first order logic rules; software development.

DOI: 10.1504/IJKESDP.2013.052716

International Journal of Knowledge Engineering and Soft Data Paradigms, 2013 Vol.4 No.1, pp.1 - 20

Available online: 18 Mar 2013

Full-text access for editors Access for subscribers Purchase this article Comment on this article