Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Managing variability in software architectures
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Software product lines: practices and patterns
Software product lines: practices and patterns
Feature-Oriented Project Line Engineering
IEEE Software
Maturity and Evolution in Software Product Lines: Approaches, Artefacts and Organization
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Using First-Order Logic for Product Line Model Validation
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Variability management with feature models
Science of Computer Programming - Special issue: Software variability management
A taxonomy of variability realization techniques: Research Articles
Software—Practice & Experience
Formal Semantics and Verification for Feature Modeling
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
A variability management process for software product lines
CASCON '05 Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative research
New Methods in Software Product Line Development
SPLC '06 Proceedings of the 10th International on Software Product Line Conference
Verifying feature-based model templates against well-formedness OCL constraints
Proceedings of the 5th international conference on Generative programming and component engineering
Automated analysis of feature models: challenges ahead
Communications of the ACM - Software product line
Classifying variability modeling techniques
Information and Software Technology
Verifying feature models using OWL
Web Semantics: Science, Services and Agents on the World Wide Web
Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering
Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering
Reasoning about Feature Models in Higher-Order Logic
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Automated error analysis for the agilization of feature modeling
Journal of Systems and Software
Automated Diagnosis of Product-Line Configuration Errors in Feature Models
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
First International Workshop on Analysis of Software Product Lines (ASPL'08)
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Modeling Variability in Software Product Line Using First Order Logic
SERA '09 Proceedings of the 2009 Seventh ACIS International Conference on Software Engineering Research, Management and Applications
Automated analysis of feature models 20 years later: A literature review
Information Systems
Feature model based on description logics
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Automated reasoning on feature models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Mapping features to models: a template approach based on superimposed variants
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Determining the variation degree of feature models
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Ontology-Based feature modeling and application-oriented tailoring
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Hi-index | 0.00 |
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.