Abstract
In this paper, we consider the problem of merging feature models which consist of trees with "requires" and "excludes" constraints. For any two such feature models which are parent-compatible, their merge is defined to be the smallest parent-compatible feature model which has all products of the constituents. We show how the specification can be implemented, present a number of properties of the merged feature models and give some examples.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 14th International Software Product Line Conference |
| Subtitle of host publication | Jeju Island, South Korea, 13-17 September 2010 |
| Place of Publication | Lancaster, UK |
| Publisher | Lancaster University |
| Pages | 83-89 |
| Number of pages | 7 |
| Volume | 2: Workshops, industrial track, doctoral symposium, demonstrations and tools |
| ISBN (Print) | 978-1-86220-274-0 |
| Publication status | Published - 2010 |
| Event | 14th International Software Product Line Conference, SPLC 2010 - Jeju Island, Korea, Republic of Duration: 13 Sept 2010 → 17 Sept 2010 Conference number: 14 |
Conference
| Conference | 14th International Software Product Line Conference, SPLC 2010 |
|---|---|
| Abbreviated title | SPLC |
| Country/Territory | Korea, Republic of |
| City | Jeju Island |
| Period | 13/09/10 → 17/09/10 |
Keywords
- SE-Q: Quality Modelling and Verification