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 Scholar
Digital 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 Scholar
Cross 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 Scholar
Digital 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 Scholar
Digital 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 Scholar
Digital Library
- Bernhard Ganter and Rudolf Wille. Formal Concept Analysis --- Mathematical Foundations. Springer, 1999. Google Scholar
Digital 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 Scholar
Digital 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 Scholar
Digital Library
- Manfred Schmidt-Schauß and Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48(1): 1--26, 1991. Google Scholar
Digital 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 Scholar
Digital 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 Scholar
Digital 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 Scholar
Digital 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 Scholar
Digital Library
Index Terms
Reasoning of feature models from derived features
Recommendations
Reasoning of feature models from derived features
GPCE '12: Proceedings of the 11th International Conference on Generative Programming and Component EngineeringWhen 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. ...
Associativity between feature models across domains
SM '03: Proceedings of the eighth ACM symposium on Solid modeling and applicationsAssociativity between feature models implies the automatic updating of different feature models of a part after changes are made in one of its feature models. This is an important requirement in a distributed and concurrent design environment, where ...






Comments