Feature link propagation across variability representations with Isabelle/HOL
Kammueller, Florian 
ORCID: https://orcid.org/0000-0001-5839-5488, Rein, Alexander and Reiser, Mark-Oliver
(2010)
Feature link propagation across variability representations with Isabelle/HOL.
In:
Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering.
Rubin, Julia, Botterweck, Goetz, Mezini, Mira, Maman, Itay and Lero, Andreas, eds.
ACM, New York, pp. 48-53.
ISBN 9781605589688.
[Book Section]
|
PDF
- Draft pre-submission version (with author's formatting)
Download (296kB) | Preview |
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.
| Item Type: | Book Section |
|---|---|
| Additional Information: | Conference held in Cape Town, South Africa — May 01 - 08, 2010. |
| Research Areas: | A. > School of Science and Technology > Computer Science > Foundations of Computing group A. > School of Science and Technology > Computer Science > Artificial Intelligence group |
| Item ID: | 6849 |
| Notes on copyright: | post refereed version as permitted by publisher. |
| Useful Links: | |
| Depositing User: | Dr Florian Kammueller |
| Date Deposited: | 19 Jan 2011 15:46 |
| Last Modified: | 30 Nov 2022 01:11 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/6849 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)