Concepedia

A formal semantics for feature cardinalities in feature diagrams

Raphaël Michel, Arnaud Hubaux, Quentin Boucher

2011 · 39 citations · 15 references

Open access

Concepts

ArchitectureComputer ScienceDiagrammingFormal MethodsSyntaxFeature DescriptionGraphical RepresentationFeature DefinitionFeature ModelsFeature Tree RepresentationFeature Tree Structures

Abstract

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".

References

15

Extending and implementing the stable model semantics

Patrik Simons, Ilkka Niemelä, Timo Soininen · Artificial Intelligence · 2002 · 850 citations

Computing, Computer Science, Algorithms +15

Formalizing cardinality‐based feature models and their specialization

Krzysztof Czarnecki, Simon Helsen, Ulrich W. Eisenecker · Software Process Improvement and Practice · 2005 · 594 citations

Computing, Computer Science, Systems Engineering +15

Staged configuration through specialization and multilevel configuration of feature models

Krzysztof Czarnecki, Simon Helsen, Ulrich W. Eisenecker · Software Process Improvement and Practice · 2005 · 420 citations

Engineering, Systems Engineering, Feature Engineering +12

Feature Diagrams: A Survey and a Formal Semantics

Pierre‐Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux · 2006 · 413 citations

Computing, Computer Science, Formal Methods +12

On challenges of model transformation from UML to Alloy

Kyriakos Anastasakis, Behzad Bordbar, Geri Georg et al. · Software & Systems Modeling · 2008 · 193 citations

Engineering, Systems Engineering, Model-based Systems Engineering +11