Semantic Enrichment and Verification of Feature Models in DSPL
Thalisson Oliveira, Rossana M. C. Andrade, Windson Viana
2017
Abstract
Dynamic Software Product Lines (DSPLs) support the development of context-aware systems, which use context information to perform adapted services aiming to satisfy user’s needs. Feature models (FM) represent system similarities and variability in DSPL. However, some FM representations are limited in expressiveness. For example, relevant domain aspects (e.g., context-aware feature that implements a particular use case) are not described in FM. This research proposes an approach based on an OWL-DL ontology to add semantics to FM. It also provides automatic verification of the correctness and consistency of these models. We implemented this approach in a feature model design tool called FixOnto. Our first evaluation results showed that the use of ontologies brings benefits such as improvements on SPL information retrieval, and inference and traceability of the features, use contexts, and SPL artifacts.
DownloadPaper Citation
in Harvard Style
Oliveira T., Andrade R. and Viana W. (2017). Semantic Enrichment and Verification of Feature Models in DSPL . In Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-248-6, pages 542-549. DOI: 10.5220/0006376105420549
in Bibtex Style
@conference{iceis17,
author={Thalisson Oliveira and Rossana M. C. Andrade and Windson Viana},
title={Semantic Enrichment and Verification of Feature Models in DSPL},
booktitle={Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2017},
pages={542-549},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006376105420549},
isbn={978-989-758-248-6},
}
in EndNote Style
TY - CONF
JO - Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Semantic Enrichment and Verification of Feature Models in DSPL
SN - 978-989-758-248-6
AU - Oliveira T.
AU - Andrade R.
AU - Viana W.
PY - 2017
SP - 542
EP - 549
DO - 10.5220/0006376105420549