Feature link propagation across variability representations with Isabelle/HOL
Conference paper
Kammueller, F., Rein, A. and Reiser, M. 2010. Feature link propagation across variability representations with Isabelle/HOL. Rubin, J., Botterweck, G., Mezini, M., Maman, I. and Lero, A. (ed.) New York ACM. pp. 48-53
Type | Conference paper |
---|---|
Title | Feature link propagation across variability representations with Isabelle/HOL |
Authors | Kammueller, F., Rein, A. and Reiser, M. |
Abstract | When dealing with highly complex product lines it is usually indispensable to somehow subdivide the overall product line into several smaller, subordinate product lines and to define orthogonal views on the line’s variability tailored to partic- ular purposes, such as end-customer configuration. In this article we report on an ongoing research effort for dealing with feature links, i.e. logical constraints between features, in such a setting, by propagating such logical constraints defined in lower-level product lines to a higher level or from one view to another. |
Research Group | Foundations of Computing group |
Artificial Intelligence group | |
Page range | 48-53 |
Editors | Rubin, J., Botterweck, G., Mezini, M., Maman, I. and Lero, A. |
ISBN | |
Hardcover | 9781605589688 |
Publisher | ACM |
Place of publication | New York |
Publication process dates | |
Deposited | 19 Jan 2011 |
Output status | Published |
Copyright Statement | post refereed version as permitted by publisher. |
Additional information | Conference held in Cape Town, South Africa — May 01 - 08, 2010. |
Language | English |
Book title | Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering |
File |
Permalink -
https://repository.mdx.ac.uk/item/8311v
Download files
33
total views15
total downloads1
views this month1
downloads this month