Declarative Modelling in Computer Graphics: Current Results and Future Issues

  • Pierre-François Bonnefoi
  • Dimitri Plemenos
  • William Ruchaud
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3039)


A review of declarative scene modelling techniques is presented in this paper. After a definition of the purpose of declarative modelling, some existing declarative modellers are classified according to the manner to manage imprecision in scene description. The aim of this paper is to show the importance of declarative scene modelling for a really computer aided design and some open research problems in order to improve drawbacks of this modelling technique. Some suggestions for possible future extensions of declarative modelling are also given.


Computer Graphic Internal Model High Level Property Exploration Mode Scene Understanding 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Lucas, M., Martin, D., Martin, P., Plemenos, D.: The ExploFormes project: some steps towards declarative modelling of forms. Published in BIGRE, 67, pp. 35–49 (1990)Google Scholar
  2. 2.
    Plemenos, D.: A contribution to study and development of scene modeling, generation and display techniques - The MultiFormes project. Professorial Dissertation, Nantes (France) (November 1991) (in French)Google Scholar
  3. 3.
    Plemenos, D.: Declarative modeling by hierarchical decomposition. In: The actual state of the MultiFormes project. International Conference GraphiCon 1995, July 3-7, St Petersbourg, Russia (1995)Google Scholar
  4. 4.
    Plemenos, D., Tamine, K.: Increasing the efficiency of declarative modelling. In: Constraint evaluation for the hierarchical decomposition approach. International Conference WSCG 1997, Plzen (Czech Republic) (February 1997)Google Scholar
  5. 5.
    Martin, D., Martin, P.: PolyFormes: software for the declarative modelling of polyhedra. The Visual Computer, 55-76 (1999)Google Scholar
  6. 6.
    Mc Culloch, W.S., Pitts, W.: A logical calculus of the ideas immanent in nervous activity. Bulletin of Mathematical Biophysics 5, 115–133 (1943)CrossRefMathSciNetGoogle Scholar
  7. 7.
    Rosenblatt, F.: The perceptron: a perceiving and recognizing automaton. Project Para, Cornell Aeronautical Lab. Report 85-460-1 (1957)Google Scholar
  8. 8.
    Plemenos, D., Miaoulis, G., Vassilas, N.: Machine learning for a general purpose declarative scene modeller. In: International Conference GraphiCon 2002, Nizhny Novgorod (Russia), September 15-21 (2002)Google Scholar
  9. 9.
    Ruchaud, W., Plemenos, D.: MultiFormes: a declarative modeller as a 3D scene sketching tool. In: Int. Conference ICCVG 2002, Zakopane (Poland), September 25-29 (2002)Google Scholar
  10. 10.
    Bonnefoi, P.-F.: Constraint satisfaction techniques for declarative modelling. Application to concurrent generation of scenes. PhD thesis, Limoges (France) (June 1999)Google Scholar
  11. 11.
    Kochhar, S.: Cooperative Computer-Aided Design: a paradigm for automating the design and modeling of graphical objects. PhD thesis, Harvard University, Aiken Computation Laboratory, 33 Oxford Street, Cambridge, Mass. 02138, Available as TR-18-90 (1990)Google Scholar
  12. 12.
    Kochhar, S.: CCAD: A paradigm for human-computer cooperation in design. IEEE Computer Graphics and Applications (May 1994)Google Scholar
  13. 13.
    Sellinger, D., Plemenos, D.: Interactive Generative Geometric Modeling by Geometric to Declarative Representation Conversion. In: WSCG 1997 conference, Plzen (Czech Republic), February 10-14 (1997)Google Scholar
  14. 14.
    van Hentenryck, P.: Constraint satisfaction in logic programming. Logic Programming Series. MIT Press, Cambridge (1989)Google Scholar
  15. 15.
    Diaz, D.: A study of compiling techniques for logic languages for programming by constraints on finite domains: the clp(FD) system. PhD thesis, Orleans, France (1995)Google Scholar
  16. 16.
    Chauvat, D.: The VoluFormes Project: An example of declarative modelling with spatial control. PhD Thesis, Nantes (December 1994)Google Scholar
  17. 17.
    Poulet, F., Lucas, M.: Modelling megalithic sites. In: Eurographics 1996, Poitiers (France), pp. 279–288 (1996)Google Scholar
  18. 18.
    Champciaux, L.: Introduction of learning techniques in declarative modelling, PhD thesis, Nantes (France) (June 1998)Google Scholar
  19. 19.
    Kwaiter, G.: Declarative scene modelling: study and implementation of constraint solvers. PhD thesis, Toulouse (France) (December 1998)Google Scholar
  20. 20.
    Barral, P., Dorme, G., Plemenos, D.: Visual understanding of a scene by automatic movement of a camera. Short paper. Eurographics (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Pierre-François Bonnefoi
    • 1
  • Dimitri Plemenos
    • 1
  • William Ruchaud
    • 1
  1. 1.MSI laboratoryUniversity of LimogesLimogesFrance

Personalised recommendations