![](bg8.png)
2012) was one start point for our work. For automatic
verification in CASPL, we used the framework pro-
posed in (Zaid et al., 2009), which suggests the imple-
mentation of rules in SWRL. The rules into FixOnto
were then implemented in SWRL following the rules
proposed by (Marinho et al., 2012).
We demonstrated the semantic enrichment and
automatic verification of CAFM with a tool called
FixOnto, which is an extension of Fixture (Costa
et al., 2015). We also demonstrated the traceability,
which is very important to prevent errors and provide
time efficiency, using the model with DL Query.
There are evidences that our approach can be used
for traditional FM, but we still need to evaluate that in
future work as well as we aim to automatize the whole
approach. A usability evaluation should also be per-
formed over FixOnto to verify the benefits to the final
user, specifically the domain specialist. It is also im-
portant to model a second CASPL into the tool to an-
alyze different scenarios. We also aim to increase the
tool usability, displaying only human readable mes-
sages and excluding OWL individuals information.
REFERENCES
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.
Costa, P. A. d. S., Marinho, F. G., Andrade, R. M. d. C.,
and Oliveira, T. (2015). Fixture - A tool for auto-
matic inconsistencies detection in context-aware SPL.
In ICEIS 2015 - Proceedings of the 17th International
Conference on Enterprise Information Systems, Vol-
ume 2, April, 2015, pages 114–125.
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.
Dermeval, D., Tenrio, T., Bittencourt, I. I., Silva, A., Isotani,
S., and Ribeiro, M. (2015). Ontology-based feature
modeling: An empirical study in changing scenar-
ios. Expert Systems with Applications, 42(11):4950
– 4964.
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.
Hallsteinsen, S., Hinchey, M., Park, S., and Schmid, K.
(2008). Dynamic software product lines. Computer,
41(4):93–95.
Marinho, F. G., Andrade, R. M., Werner, C., Viana, W.,
Maia, M. E., Rocha, L. S., Teixeira, E., Filho, J. B. F.,
Dantas, V. L., Lima, F., and Aguiar, S. (2013). Mo-
biline: A nested software product line for the domain
of mobile and context-aware applications. Science of
Computer Programming, 78(12):2381 – 2398. Spe-
cial Section on International Software Product Line
Conference 2010 and Fundamentals of Software En-
gineering (selected papers of {FSEN} 2011).
Marinho, F. G., Maia, P. H. M., Andrade, R. M. C., Vi-
dal, 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 ’12,
pages 54–61, New York, NY, USA. ACM.
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 prod-
uct lines. Entropy, 18(8):269.
Rinc
´
on, 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).
Wohlin, C., Runeson, P., Hst, M., Ohlsson, M. C., Reg-
nell, B., and Wessln, A. (2012). Experimentation in
Software Engineering. Springer Publishing Company,
Incorporated.
Zaid, L. A., Kleinermann, F., and De Troyer, O. (2009). Ap-
plying semantic web technology to feature modeling.
In Proceedings of the 2009 ACM symposium on Ap-
plied Computing, pages 1252–1256, New York, NY,
USA. ACM.
Semantic Enrichment and Verification of Feature Models in DSPL
549