DOI: 10.2298/CSIS100804016L

Feature Diagram Formalization Based on Directed Hypergraphs

Miguel A. Laguna1, Jose M. Marques1 and Guillermo Rodrıguez-Cano1

  1. Department of Computer Science, University of Valladolid
    Campus M. Delibes, 47011 Valladolid, Spain
    {fmlaguna,jmmcg}@infor.uva.es, wileeam@acm.org

Abstract

Feature models are used to represent the variability and commonality of software product lines (SPL), and to decide on the configuration of specific applications. Several variants based on tree or graph hierarchical structures have been proposed. These structures are completed with additional constraints, generally expressed in parallel with the feature diagram. This paper proposes the use of hypergraphs to integrate both concepts in a unique characterization. Therefore, the definition, validation and selection of feature configurations can be internally based on the hypergraph properties and well-known algorithms, while the concrete visual syntax remains unchanged for domain engineers. The implemented hypergraph algorithms have been tested using a complete set of feature diagrams. Finally a feature meta-model can be derived directly from the formal definitions, providing the foundations for building feature modeling tools.

Key words

Feature diagram, hypergraph, feature diagram configuration

Digital Object Identifier (DOI)

https://doi.org/10.2298/CSIS100804016L

Publication information

Volume 8, Issue 3 (June 2011)
Year of Publication: 2011
ISSN: 1820-0214 (Print) 2406-1018 (Online)
Publisher: ComSIS Consortium

Full text

DownloadAvailable in PDF
Portable Document Format

How to cite

Laguna, M. A., Marques, J. M., Rodrıguez-Cano, G.: Feature Diagram Formalization Based on Directed Hypergraphs. Computer Science and Information Systems, Vol. 8, No. 3, 611-633. (2011)