On the Use of LTSs to Analyze Software Product Line Products Composed of Features

    Research output: Contribution to journalArticleScientificpeer-review

    2 Citations (Scopus)

    Abstract

    In product line engineering, it is common to define the products as sets of features, where each feature has a related set of requirements. Typically, there is a common set of features/requirements, and some variable features/requirements for building different products. In an earlier proposal to use labeled transition systems (LTSs) to model and check the products, the products were composed using the feature-oriented approach and LTS models were analyzed using a related LTS analyzer tool. However, no further details or analysis about the models and possible conflicts were given. We investigate in more detail the types of conflicts that may arise and discuss the integration strategies for building an integrated LTS for the product composed of features.

    Original languageEnglish
    Pages (from-to)531-541
    Number of pages11
    JournalADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING
    Volume214
    Issue number214
    DOIs
    Publication statusPublished - 2014
    Publication typeA1 Journal article-refereed

    Keywords

    • Feature model
    • Functional requirement
    • Labeled transition system
    • Software product line

    Publication forum classification

    • No publication forum level

    Cite this