Multiple view analysis of designs
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
ICSE '91 Proceedings of the 13th international conference on Software engineering
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Knowledge Base Approach to Consistency Management of UML Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Instant consistency checking for the UML
Proceedings of the 28th international conference on Software engineering
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Support for Managing Design-Time Decisions
IEEE Transactions on Software Engineering
Integrated tool support for software product line engineering
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Detecting model inconsistency through operation-based model construction
Proceedings of the 30th international conference on Software engineering
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Supporting the Grow-and-Prune Model in Software Product Lines Evolution Using Clone Detection
CSMR '08 Proceedings of the 2008 12th European Conference on Software Maintenance and Reengineering
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
Towards systematic ensuring well-formedness of software product lines
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
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
Type-Checking Software Product Lines - A Formal Approach
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Automated analysis of feature models 20 years later: A literature review
Information Systems
Structuring the modeling space and supporting evolution in software product line engineering
Journal of Systems and Software
Type safety for feature-oriented product lines
Automated Software Engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study
Automated Software Engineering
Using constraint programming to verify DOPLER variability models
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
ISA packager: a tool for SPL deployment
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
A comparison of decision modeling approaches in product lines
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Automatically generating and adapting model constraints to support co-evolution of design models
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Co-evolution of models and feature mapping in software product lines
Proceedings of the 16th International Software Product Line Conference - Volume 1
Supporting end users with business calculations in product configuration
Proceedings of the 16th International Software Product Line Conference - Volume 1
Constraint-Driven modeling through transformation
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Monitoring system-of-systems requirements in multi product lines
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
Incrementally synthesizing controllers from scenario-based product line specifications
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Proceedings of the 17th International Software Product Line Conference co-located workshops
Proceedings of the WICSA 2014 Companion Volume
| Hi-index | 0.00 |
The complexity of product line variability models makes it hard to maintain their consistency over time regardless of the modeling approach used. Engineers thus need support for detecting and resolving inconsistencies. We describe experiences of applying a tool-supported approach for incremental consistency checking on variability models. Our approach significantly improves the overall performance and scalability compared to batch-oriented techniques and allows providing immediate feedback to modelers. It is extensible as new consistency constraints can easily be added. Furthermore, the approach is flexible as it is not limited to variability models and it also checks the consistency of the models with the underlying code base of the product line. We report the results of a thorough evaluation based on real-world product line models and discuss lessons learned.