Using constraint programming to reason on feature models

17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005

Volumn , Issue , 2005, Pages 677-682

  Benavides, David ^a   Trinidad, Pablo ^a   Ruiz Cort́es, Antonio ^a  

^a UNIVERSITY OF SEVILLE   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED REASONING; CONSTRAINT PROGRAMMING; FEATURE MODELS; MODELING SOFTWARES; PRODUCT FAMILIES;

COMPUTER PROGRAMMING; CONSTRAINT THEORY; KNOWLEDGE ENGINEERING;

SOFTWARE ENGINEERING;

EID: 78349281785     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. D. Benavides, A. Ruiz-Cort́es, and P. Trinidad. Coping with automatic reasoning on software product ines. In Proceedings of the 2nd Groningen Workshop on Software Variability Management, Nov. 2004.
2. D. Benavides, A. Ruiz-Cort́es, and P. Trinidad. Automated reasoning on feature models. In The 17th Conference on Advanced Information Systems Engineering (CAiSE'05). LNCS, June 2005.
3. J. Bosch. Design and Use of Software Architectures. Addison-Wesley, 1 edition, 2000.
4. P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. SEI Series in Software Engineering. Addison-Wesley, Aug. 2001.
5. K. Czarnecki and U. Eisenecker. Generative Programming: Methods, Techniques, and Applications. Addison-Wesley, may 2000. ISBN 0-201-30977-7.
6. K. Czarnecki, S. Helsen, and U. Eisenecker. Staged configuration using feature models. In Proceedings of the Third Software Product Line Conference 2004, pages 266-282. Springer, LNCS 3154, 2004.
7. A. v. Deursen and P. Klint. Domain-specific language design requires feature descriptions. Journal of Computing and Information Technology, 10(1):1-17, 2002.
8. P. Fernandez and M. Resinas. James project. Available at http://jamesproject.sourceforge.net/2002-2005.
9. K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, Nov. 1990.
10. K. Kang, J. Lee, and P. Donohoe. Feature-Oriented Product Line Engineering. IEEE Software, 19(4):58-65, July/Aug. 2002.
11. M. Mannion. Using First-Order Logic for Product Line Model Validation. In Proceedings of the Second Software Product Line Conference (SPLC2), LNCS 2379, pages 176- 187, San Diego, CA, 2002. Springer.
12. C. Prehofer. Feature-oriented programming: A new way of object composition. Concurrency and Computation: Practice and Experience, 13(6):465-501, 2001.
13. T. Soininen, J. Tiihonen, T. M̈annisẗo, and R. Sulonen. Towards a general ontology of configuration. AI EDAM, 12(4):357-72, 1998.
14. D. Streitferdt, M. Riebisch, and I. Philippow. Details of formalized relations in feature models using ocl. In Proceedings of 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), Huntsville, USA. IEEE Computer Society, pages 45-54, 2003.
15. J. van Gurp, J. Bosch, and M. Svahnberg. On the notion of variability in software product lines. In Proceedings of the Working IEEE/IFIP Conference on Software Architecture (WICSA'01), IEEE Computer Society, pages 45-54, 2001.