LIP6 1999/001
- Reports
Un Framework orienté-objet pour la satisfaction de contraintes - P. Roy, A. Liret, F. Pachet
- 22 pages - 02/19/1999- document en - http://www.lip6.fr/lip6/reports/1999/lip6.1999.001.ps.gz - 644 Ko
- Contact : Anne.Liret (at) nulllip6.fr
- Ancien Thème : OASIS
- Keywords : Constraint satisfaction, Object-oriented programming, Frameworks
- Publisher : Valerie.Mangin (at) nulllip6.fr
This paper discusses the relevance of the framework approach for building efficient and powerful constraint satisfaction programming environments. Constraint satisfaction programming is a paradigm for solving complex combinatorial problems. Integrating this paradigm with objects addresses two different objectives. On the one hand, objects may be used to implement efficiently constraint satisfaction algorithms. On the other hand, objects can be used to state and solve complex constraint problems more easily, and more
efficiently. Traditional systems offering an integration of the two paradigms use a language-based approach, i.e. are extensions of existing programming languages, which integrate both paradigms in various ways. In this chapter, we argue that the framework approach is more adapted to the requirements of embedded object oriented constraint satisfaction than the language-based approach. We propose such a framework for stating and solving constraint problems involving object, and illustrate it on various examples.
efficiently. Traditional systems offering an integration of the two paradigms use a language-based approach, i.e. are extensions of existing programming languages, which integrate both paradigms in various ways. In this chapter, we argue that the framework approach is more adapted to the requirements of embedded object oriented constraint satisfaction than the language-based approach. We propose such a framework for stating and solving constraint problems involving object, and illustrate it on various examples.