A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Feature-Oriented Project Line Engineering
IEEE Software
Using First-Order Logic for Product Line Model Validation
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Proceedings of the 5th international conference on Generative programming and component engineering
Feature Diagrams: A Survey and a Formal Semantics
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Automated analysis of feature models: challenges ahead
Communications of the ACM - Software product line
Generic semantics of feature diagrams
Computer Networks: The International Journal of Computer and Telecommunications Networking
Reasoning about Feature Models in Higher-Order Logic
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Feature Diagrams and Logics: There and Back Again
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Optimization of Variability in Software Product Lines
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
Enabling Verifiable Conformance for Product Lines
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Dynamic Consistency Checking of Domain Requirements in Product Line Engineering
RE '08 Proceedings of the 2008 16th IEEE International Requirements Engineering Conference
Reasoning about edits to feature models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Type-Checking Software Product Lines - A Formal Approach
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Automated analysis of feature models 20 years later: A literature review
Information Systems
Automated diagnosis of feature model configurations
Journal of Systems and Software
Towards consistent evolution of feature models
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Automated reasoning on feature models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Consistent evolution of OWL ontologies
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Exemplar driven development of software product lines
Expert Systems with Applications: An International Journal
Coevolution of variability models and related artifacts: a case study from the Linux kernel
Proceedings of the 17th International Software Product Line Conference
SPLEMMA: a generic framework for controlled-evolution of software product lines
Proceedings of the 17th International Software Product Line Conference co-located workshops
Extracting feature model changes from the Linux kernel using FMDiff
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Hi-index | 12.05 |
Software product line (SPL) techniques handle the construction of customized systems. One of the most common representations of the decisions a customer can make in SPLs is feature models (FMs). An FM represents the relationships among common and variable features in an SPL. Features are a representation of the characteristics in a system that are relevant to customers. FMs are subject to change since the set of features and their relationships can change along an SPL lifecycle. Due to this evolution, the consistency of FMs may be compromised. There exist some approaches to detect and explain inconsistencies in FMs, however this process can take a long time for large FMs. In this paper we present a complementary approach to dealing with inconsistencies in FM evolution scenarios that improves the performance for existing approaches reducing the impact of change to the smallest part of an FM that changes. To achieve our goal, we formalize FMs from an ontological perspective and define constraints that must be satisfied in FMs to be consistent. We define a set of primitive operations that modify FMs and which are responsible for the FM evolution, analyzing their impact on the FM consistency. We propose a set of predefined strategies to keep the consistency for error-prone operations. As a proof-of-concept we present the results of our experiments, where we check for the effectiveness and efficiency of our approach in FMs with thousands of features. Although our approach is limited by the kinds of consistency constraints and the primitive operations we define, the experiments present a significant improvement in performance results in those cases where they are applicable.