Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
A Standard Problem for Evaluating Product-Line Methodologies
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
IEEE Transactions on Software Engineering
Instant consistency checking for the UML
Proceedings of the 28th international conference on Software engineering
Verifying feature-based model templates against well-formedness OCL constraints
Proceedings of the 5th international conference on Generative programming and component engineering
Safe composition of product lines
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Detecting model inconsistency through operation-based model construction
Proceedings of the 30th international conference on Software engineering
Proceedings of the 7th international conference on Generative programming and component engineering
GPCE'08 Generative Programming and Component Engineering (Co-located with OOPSLA 2008 Conference)
Using modern mathematics as an FOSD modeling language
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Aspect-oriented multi-view modeling
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Incremental Detection of Model Inconsistencies Based on Model Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Joint 12th European Software Engineering Conference (ESEC) and 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-17)
Fitting the pieces together: a machine-checked model of safe composition
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Supporting automatic model inconsistency fixing
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A systematic review of UML model consistency management
Information and Software Technology
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Aspect-Oriented Model-Driven Software Product Line Engineering
Transactions on Aspect-Oriented Software Development VI
Automated analysis of feature models 20 years later: A literature review
Information Systems
Formal approach to integrating feature and architecture models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
How to Solve It: Modern Heuristics 2e
How to Solve It: Modern Heuristics 2e
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Detecting inconsistencies in multi-view models with variability
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Supporting the effective configuration of software product lines
Proceedings of the 16th International Software Product Line Conference - Volume 2
Reverse engineering feature models with evolutionary algorithms: an exploratory study
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Change propagation due to uncertainty change
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
| Hi-index | 0.00 |
Recent years have witnessed a convergence between research in SPL and Model-Driven Engineering (MDE) that leverages the complementary capabilities that both paradigms can offer. A crucial factor for the success of MDE is the availability of effective support for detecting and fixing inconsistencies among model elements. The importance of such support is attested by the extensive literature devoted to the topic. However, when coupled with variability, the research focus has been devoted to inconsistency detection, while leaving the important issue of fixing the inconsistency largely unaddressed. In this research-in-progress paper, we explore one of the issues that variability raises for inconsistency fixing. Namely, in which features to locate the fixes. We compute what is the minimal number of fixes and use it as a baseline to compare fixes obtained with a heuristic based on feature model analysis and random approaches. Our work highlights the pros and cons of both approaches and suggests how they could be addressed.