A formal semantics for feature cardinalities in feature diagrams | Zendy

Raphaël Michel | Zendy; Andreas Claßen | Zendy; Arnaud Hubaux | Zendy; Quentin Boucher | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A formal semantics for feature cardinalities in feature diagrams

Author(s) -

Raphaël Michel,

Andreas Claßen,

Arnaud Hubaux,

Quentin Boucher

Publication year - 2011

Publication title -

citeseer x (the pennsylvania state university)

Language(s) - English

Resource type - Conference proceedings

DOI - 10.1145/1944892.1944902

Subject(s) - feature (linguistics) , computer science , semantics (computer science) , cloning (programming) , formal semantics (linguistics) , theoretical computer science , programming language , linguistics , philosophy

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research