Reasoning of feature models from derived features

  • Authors:

  • Uwe Ryssel;Joern Ploennigs;Klaus Kabitzsch

  • Affiliations:

  • Dresden University of Technology, Dresden, Germany;Dresden University of Technology, Dresden, Germany;Dresden University of Technology, Dresden, Germany

  • Venue:
  • Proceedings of the 11th International Conference on Generative Programming and Component Engineering
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

When using product lines, whose variability models are based on derived features, e.g., Simulink variant objects, the dependencies among the features are only described implicitly. This makes it difficult to verify the mapping of the features to the solution space and to create a comprehensive overview of the feature dependencies like in a feature model. In this paper, an OWL-based approach is presented, which permits the automatic verification of the feature mapping and an automatic feature model synthesis for derived features using OWL reasoning and formal concept analysis.