Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis

Andreas Metzger, Patrick Heymans, Klaus Pohl, Pierre-Yves Schobbens, Germain Saval

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Résumé

Feature diagrams are a popular means for documenting variability in software product line engineering. When examining feature diagrams in the literature and from industry, we observed that the same modeling concepts are used for documenting two different kinds of variability: (1) product line variability, which reflects decisions of product management on how the systems that belong to the product line should vary, and (2) software variability, which reflects the ability of the reusable product line artifacts to be customized or configured. To disambiguate the documentation of variability, we follow previous suggestions to relate orthogonal variability models (OVMs) to feature diagrams. This paper reuses an existing formalization of feature diagrams, but introduces a formalization of OVMs. Then, the relationships between the two kinds of models are formalized as well. Besides a precise definition of the languages and the links, the important benefit of this formalization is that it serves as a foundation for a tool supporting automated reasoning on variability. This tool can, e.g., analyse whether the product line artifacts are flexible enough to build all the systems that should belong to the product line.
langue originaleAnglais
titreProceedings of 15th IEEE International Requirements Engineering Conference (RE'07)
rédacteurs en chefAlistair Sutcliffe, Pankaj Jalote
EditeurIEEE Computer Society Press
Etat de la publicationPublié - 2007

Empreinte digitale

Examiner les sujets de recherche de « Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis ». Ensemble, ils forment une empreinte digitale unique.
  • Evolution: PReCISE Evolution

    Cleve, A.

    1/01/1031/01/10

    Projet: Axe de recherche

Contient cette citation