Extending and implementing the stable model semantics
Artificial Intelligence
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Formal Semantics and Verification for Feature Modeling
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Feature Diagrams: A Survey and a Formal Semantics
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Kumbang: A domain ontology for modelling variability in software product families
Advanced Engineering Informatics
A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Automated analysis of feature models 20 years later: A literature review
Information Systems
Feature and meta-models in Clafer: mixed, specialized, and coupled
SLE'10 Proceedings of the Third international conference on Software language engineering
A text-based approach to feature modelling: Syntax and semantics of TVL
Science of Computer Programming
A user survey of configuration challenges in Linux and eCos
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Software variability: the design space of configuration languages
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
FAMILIAR: A domain-specific language for large scale management of feature models
Science of Computer Programming
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
The anatomy of a sales configurator: an empirical study of 111 cases
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Towards statistical prioritization for software product lines testing
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
| Hi-index | 0.00 |
Feature cardinalities in feature diagrams determine the number of times a feature and its subtree can be duplicated during configuration by an operation named "cloning". Other authors already investigated the problem and published different proposals of semantics for this construct. However, this previous work is not easily amenable to the formal study of the various properties of feature diagrams and their derived configurations. Also, cross-tree constraint languages still need to be properly extended to account for feature cardinalities. This paper presents an extension of an earlier formal semantics of feature diagrams by adding support for feature cardinalities.