Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
The Rational Unified Process: An Introduction
The Rational Unified Process: An Introduction
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Aspect-Oriented Software Development with Use Cases (Addison-Wesley Object Technology Series)
Aspect-Oriented Software Development with Use Cases (Addison-Wesley Object Technology Series)
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Verifying feature-based model templates against well-formedness OCL constraints
Proceedings of the 5th international conference on Generative programming and component engineering
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
FeatureMapper: mapping features to models
Companion of the 30th international conference on Software engineering
Towards Consistent Specifications of Product Families
FM '08 Proceedings of the 15th international symposium on Formal Methods
Automated analysis of feature models 20 years later: A literature review
Information Systems
VML* – a family of languages for variability management in software product lines
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Multi-view composition language for software product line requirements
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Detecting inconsistencies in multi-view models with variability
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Safe composition of configuration knowledge-based software product lines
Journal of Systems and Software
Incrementally synthesizing controllers from scenario-based product line specifications
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Generating counterexamples of model-based software product lines: an exploratory study
Proceedings of the 17th International Software Product Line Conference
Hi-index | 0.00 |
A key aspect for effective variability modeling of Software Product Lines (SPL) is to harmonize the need to achieve separation of concerns with the need to satisfy consistency of requirements and constraints. Techniques for variability modeling such as feature models used together with use scenarios help to achieve separation of stakeholders' concerns but ensuring their joint consistency is largely unsupported. Therefore, inconsistent assumptions about system's expected use scenarios and the way in which they vary according to the presence or absence of features reduce the models usefulness and possibly renders invalid SPL systems. In this paper we propose an approach to check consistency -- the verification of semantic relationships among the models -- between features and use scenarios that realize them. The novelty of this approach is that it is specially tailored for the SPL domain and considers complex composition situations where the customization of use scenarios for specific products depends on the presence or absence of sets of features. We illustrate our approach and supporting tools using variant constructs that specify how the inclusion of sets of variable features (that refer to uncommon requirements between products of a SPL) adapt use scenarios related to other features.