Techniques for efficient formal verification using binary decision diagrams
Techniques for efficient formal verification using binary decision diagrams
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Using First-Order Logic for Product Line Model Validation
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Integrating Feature Modeling with the RSEB
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Optimizing model checking based on bdd characterization
Optimizing model checking based on bdd characterization
Feature-driven requirement dependency analysis and high-level software design
Requirements Engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
A dynamic-priority based approach to fixing inconsistent feature models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
A formal semantics for feature cardinalities in feature diagrams
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Software product line evolution with cardinality-based feature models
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Architectural evolution of FamiWare using cardinality-based feature models
Information and Software Technology
Beyond boolean product-line model checking: dealing with feature attributes and multi-features
Proceedings of the 2013 International Conference on Software Engineering
Cardinality-based feature models with constraints: a pragmatic approach
Proceedings of the 17th International Software Product Line Conference
Automated generation of computationally hard feature models using evolutionary algorithms
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |
In this paper, we present a kind of semantics for constraints in clone-enabled feature models, which resolves the problem of what kinds of constraint should be added to a feature model after some features are cloned. The semantics is composed of two patterns: the generatingpattern and the adaptingpattern, to address the two problems of what kind of constraints should be imposed on a clonable feature and its clones, and how an existing constraint should be transformed in the context that features involved in the constraint are cloned, respectively. After that, we propose a BDD-based approach to verifying clone-enabled feature models, an approach that makes efficient use of the BDD (binary decision diagram) data structures, by considering the specific characteristics of feature models' verification. Experiments show that this BDD-based approach is more efficient and can verify more complex feature models than our previous method.