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 language | English |
|---|---|
| Pages (from-to) | 531-541 |
| Number of pages | 11 |
| Journal | ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING |
| Volume | 214 |
| Issue number | 214 |
| DOIs | |
| Publication status | Published - 2014 |
| Publication type | A1 Journal article-refereed |
Keywords
- Feature model
- Functional requirement
- Labeled transition system
- Software product line
Publication forum classification
- No publication forum level