Reasoning about feature models in higher-order logic

Proceedings - 11th International Software Product Line Conference, SPLC 2007

Volumn , Issue , 2007, Pages 13-22

  Janota, Mikoláš ^a   Kiniry, Joseph ^a  

^a UNIVERSITY COLLEGE DUBLIN   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONS;

FEATURE MODELS; FEATURE TREES; MODELING APPROACHES;

MATHEMATICAL MODELS;

EID: 47949101578     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SPLINE.2007.4339251     Document Type: Conference Paper

References (17)

1. Don Batory. Feature models, grammars, and propositional formulas. In Henk Obbink and Klaus Pohl, editors, Proceedings of the 9th International Conference, SPLC 2005, volume 3714 of Lecture Notes in Computer Science. Springer Berlin/Heidelberg, September 2005.
2. David Benavides, Pablo Trinidad, and Antonio Ruiz-Cortés. Automated reasoning on feature models. In Pastor Oscar and João Falcão e Cunha, editors, Proceedings of 17th International Conference, (CAiSE 2005), volume 3520 of Lecture Notes in Computer Science. Springer-Verlag, 2005.
3. Krzysztof Czarnecki, Thomas Bednasch, Peter Unger, and Ulrich Eisenecker. Generative programming for embedded software: An industrial experience report. In Don Batory, Charles Consel, and Walid Taha, editors, Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE 2002), volume 2487 of Lecture Notes in Computer Science. Springer Berlin/Heidelberg, October 2002.
4. Krzysztof Czarnecki and Ulrich W. Eisenecker. Generative Programming - Methods, Tools, and Applications. Addison-Wesley Publishing Company, 2000.
5. Gary J. Chastek, editor. Software Product Lines, volume 2379 of Lecture Notes in Computer Science. Springer Berlin/Heidelberg, August 2002.
6. Krzysztof Czarnecki, Simon Helsen, and Ulrich Eisenecker. Formalizing cardinality-based feature models and their staged configuration. Technical Report 04-11, Department of Electrical and Computer Engineering, University of Waterloo, Canada, April 2004.
7. Krzysztof Czarnecki, Simon Helsen, and Ulrich Eisenecker. Staged configuration using feature models. In Robert L. Nord, editor, Proceedings of Third International Conference, SPLC 2004, volume 3154 of Lecture Notes in Computer Science. Springer Berlin/Heidelberg, August 2004.
8. Krzysztof Czarnecki and Chang Hwan Peter Kim. Cardinality-based feature modeling and constraints: A progress report. In Proceedings of International Workshop on Software Factories, 2005.
9. Paul Clements and Linda Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley Publishing Company, 2002.
10. Daniel Fey, Robert Fajta, and András Boros. Feature modeling: A meta-model to enhance usability and usefulness. In Chastek [Cha02],
11. Rohit Gheyi, Tiago Massoni, and Paulo Borba. A theory for feature models in Alloy. In Proceedings of First Alloy Workshop, 2006.
12. Chang Hwan Peter Kim and Krzysztof Czarnecki. Synchronizing cardinality-based feature models and their specializations. In Proceedings of European Conference on Model Driven Architecture: Foundations and Applications, Lecture Notes in Computer Science. Springer-Verlag, 2005.
13. Kyo C. Kang, Sholom G. Cohen, James A. Hess, William E. Novak, and A. Spencer Peterson. Feature-oriented domain analysis (FODA), feasibility study. Technical Report CMU/SEI-90-TR-021, Software Engineering Institute, Carnegie Mellon University, November 1990.
14. Mike Mannion. Using first-order logic for product line model validation. In Chastek [Cha02].
15. Pierre-Yves Schobbens, Patrick Heymans, and Jean-Christophe Trigaux. Feature diagrams: A survey and a formal semantics. In Proceeding of 14th IEEE International Requirements Engineering Conference (RE'06). IEEE Computer Society, 2006.
16. Detlef Streitferdt, Matthias Riebisch, and Ilka Philippow. Details of formalized relations in feature models using OCL. In Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003). IEEE Computer Society, 2003.
17. Jing Sun, Hongyu Zhang, Yuan Fang Li, and Hai Wang. Formal semantics and verification for feature modeling. In Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005). IEEE Computer Society, 2005.