ABSTRACT
When using product lines, whose variability models are based on derived features, e.g., Simulink variant objects, the dependencies among the features are only described implicitly. This makes it difficult to verify the mapping of the features to the solution space and to create a comprehensive overview of the feature dependencies like in a feature model. In this paper, an OWL-based approach is presented, which permits the automatic verification of the feature mapping and an automatic feature model synthesis for derived features using OWL reasoning and formal concept analysis.
- FaCT++, 2012. http://code.google.com/p/factplusplus/.Google Scholar
- JaCoP - Java Constraint Programming solver, 2012. http://www.jacop.eu/.Google Scholar
- Franz Baader, Diego Calvanese, Deborah L. McGuiness, Daniele Nardi, and Peter F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, second edition, 2007. Google ScholarDigital Library
- Franz Baader and Bariş Sertkaya. Applying formal concept analysis to description logics. In International Conference on Formal Concept Analysis, volume 2961 of Lecture Notes in Computer Science, pages 261--286. Springer-Verlag, 2004.Google ScholarCross Ref
- David Benavides, Sergio Segura, and Antonio Ruiz-Cortés. Automated analysis of feature models 20 years later: A literature review. Information Systems, 35(6): 615--636, 2010. Google ScholarDigital Library
- David Benavides, Pablo Trinidad, and Antonio Ruiz-Cortés. Using constraint programming to reason on feature models. In International Conference on Software Engineering and Knowledge Engineering, pages 677--682, 2005.Google Scholar
- Thorsten Berger, Steven She, Rafael Lotufo, Andrzej Wąsowski, and Krzysztof Czarnecki. Variability modeling in the real: A perspective from the operating systems domain. In IEEE/ACM International Conference on Automated Software Engineering, pages 73--82, 2010. Google ScholarDigital Library
- Clark & Parsia. Pellet: OWL 2 Reasoner for Java, 2012. http://clarkparsia.com/pellet/.Google Scholar
- Krzysztof Czarnecki and Andrzej Wąsowski. Feature diagrams and logics: There and back again. In International Software Product Line Conference, pages 23--34, 2007. Google ScholarDigital Library
- Bernhard Ganter and Rudolf Wille. Formal Concept Analysis --- Mathematical Foundations. Springer, 1999. Google ScholarDigital Library
- Matthew Horridge and Sean Bechhofer. The OWL API: A Java API for working with OWL 2 ontologies. In OWL Experienced and Directions Workshop, 2009.Google Scholar
- Matthew Horridge and Peter F. Patel-Schneider. OWL 2 Web Ontology Language---Manchester Syntax. W3C. http://www.w3.org/TR/owl2-manchester-syntax/.Google Scholar
- Uwe Ryssel, Felix Distel, and Daniel Borchmann. Fast computation of proper premises. In International Conference on Concept Lattices and Their Applications, pages 101--113, 2011.Google Scholar
- Uwe Ryssel, Joern Ploennigs, and Klaus Kabitzsch. Automatic variation-point identification in function-block-based models. In International Conference on Generative Programming and Component Engineering, pages 23--32, 2010. Google ScholarDigital Library
- Uwe Ryssel, Joern Ploennigs, and Klaus Kabitzsch. Extraction of feature models from formal contexts. In International Software Product Line Conference, Workshop on Feature Oriented Software Development, pages 4: 1--4:8, 2011. Google ScholarDigital Library
- Manfred Schmidt-Schauß and Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48(1): 1--26, 1991. Google ScholarDigital Library
- Bariş Sertkaya. Computing the hierarchy of conjunctions of concept names and their negations in a description logic knowledge base using formal concept analysis. In International Conference on Formal Concept Analysis, 2006.Google Scholar
- Bariş Sertkaya. OntoComP: A Protégé plugin for completing OWL ontologies. In European Semantic Web Conference, 2009. http://code.google.com/p/ontocomp/. Google ScholarDigital Library
- Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wąsowski, and Krzysztof Czarnecki. Reverse engineering feature models. In International Conference on Software Engineering, pages 461--470, 2011. Google ScholarDigital Library
- Stanford Center for Biomedical Informatics Research. The Protégé Ontology Editor and Knowledge Acquisition System, 2012. http://protege.stanford.edu/.Google Scholar
- The Mathworks. Matlab, 2012. http://www.mathworks.de/products/matlab/.Google Scholar
- The Mathworks. Simulink, 2012. http://www.mathworks.de/products/simulink/.Google Scholar
- W3C. OWL 2 Web Ontology Language, 2009. http://www.w3.org/TR/owl2-overview/.Google Scholar
- Hai H. Wang, Yuan Fang Li, Jing Sun, Hongyu Zhang, and Jeff Pan. Verifying feature models using owl. Web Semantics: Science, Services and Agents on the World Wide Web, 5(2): 117--129, June 2007. Google ScholarDigital Library
- Xiaorui Zhang, Øystein Haugen, and Birger Møller-Pedersen. Model comparison to synthesize a model-driven software product line. In International Software Product Line Conference, pages 90--99, 2011. Google ScholarDigital Library
Index Terms
- Reasoning of feature models from derived features
Recommendations
Reasoning of feature models from derived features
GPCE '12When using product lines, whose variability models are based on derived features, e.g., Simulink variant objects, the dependencies among the features are only described implicitly. This makes it difficult to verify the mapping of the features to the ...
Verifying feature models using OWL
Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, the lack of a formal semantics and reasoning support of feature models has hindered the development of this area. ...
Understanding and improving ontology reasoning efficiency through learning and ranking
AbstractOntologies are the fundamental building blocks of the Semantic Web and Linked Data. Reasoning is critical to ensure the logical consistency of ontologies, and to compute inferred knowledge from an ontology. It has been shown both ...
Highlights- Prediction models that accurately estimate ontology reasoning time for reasoners.
Comments