Semantic Enrichment and Verification of Feature Models in DSPL

Thalisson Oliveira, Rossana M. C. Andrade, Windson Viana


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.


  1. Benavides, D., Felfernig, A., Galindo, J. A., and Reinfrank, F. (2013). Automated Analysis in Feature Modelling and Product Configuration, pages 160-175. Springer Berlin Heidelberg, Berlin, Heidelberg.
  2. Costa, P. A. d. S., Marinho, F. G., Andrade, R. M. d. C., and Oliveira, T. (2015). Fixture - A tool for automatic inconsistencies detection in context-aware SPL. In ICEIS 2015 - Proceedings of the 17th International Conference on Enterprise Information Systems, Volume 2, April, 2015, pages 114-125.
  3. Dentler, K., Cornet, R., ten Teije, A., and de Keizer, N. (2011). Comparison of reasoners for large ontologies in the owl 2 el profile. Semant. web, 2(2):71-87.
  4. Dermeval, D., Tenrio, T., Bittencourt, I. I., Silva, A., Isotani, S., and Ribeiro, M. (2015). Ontology-based feature modeling: An empirical study in changing scenarios. Expert Systems with Applications, 42(11):4950 - 4964.
  5. Filho, J. a. B. F., Barais, O., Baudry, B., Viana, W., and Andrade, R. M. C. (2012). An Approach for Semantic Enrichment of Software Product Lines. Proceedings of SPLC 2012, II.
  6. Hallsteinsen, S., Hinchey, M., Park, S., and Schmid, K. (2008). Dynamic software product lines. Computer, 41(4):93-95.
  7. Marinho, F. G., Maia, P. H. M., Andrade, R. M. C., Vidal, V. M. P., Costa, P. A. S., and Werner, C. (2012). Safe adaptation in context-aware feature models. In Proceedings of the 4th International Workshop on Feature-Oriented Software Development, FOSD 7812, pages 54-61, New York, NY, USA. ACM.
  8. Narwane, G. K., Galindo, J. A., Krishna, S. N., Benavides, D., Millo, J., and Ramesh, S. (2016). Traceability analyses between features and assets in software product lines. Entropy, 18(8):269.
  9. Rincón, L., Giraldo, G., Mazo, R., and Salinesi, C. (2014). An ontological rule-based approach for analyzing dead and false optional features in feature models. Electronic Notes in Theoretical Computer Science, 302(0):111 - 132. Proceedings of the {XXXIX} Latin American Computing Conference (CLEI 2013).
  10. Wohlin, C., Runeson, P., Hst, M., Ohlsson, M. C., Regnell, B., and Wessln, A. (2012). Experimentation in Software Engineering. Springer Publishing Company, Incorporated.
  11. Zaid, L. A., Kleinermann, F., and De Troyer, O. (2009). Applying semantic web technology to feature modeling. In Proceedings of the 2009 ACM symposium on Applied Computing, pages 1252-1256, New York, NY, USA. ACM.

Paper 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

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,},

in EndNote Style

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