Solving Temporal Constraints Satisfaction Problems with an Object-Oriented model

  • Laurent Cervoni
  • Francis Rousseaux
Design and Architecture
Part of the Lecture Notes in Computer Science book series (LNCS, volume 604)


Object Oriented environments are becoming well accepted as suitable media for implementing applications, because of their qualities of extendibility, reusability, and compatibility.

From an operational point of view, a Control, Command, Communication & Intelligence System (C3I system) can be considered as a set of objects under specific constraints, and particularly under temporal constraints. However, from a design point of view, the object organization has nothing to do with specific constraints: on the contrary, it is very important to be able to design objects and their links, separately from the specific constraint network: then, it allows the Design of the system to be Object Oriented (OOD), objects being reusable and easy to modify.

Our purpose has been to develop an operational tool able to reuse some OOD application and objects represented in PROLOG to design a C3I System, taking in account some Temporal Constraints Satisfaction Problems (TCSP). This paper presents our tool, Objects under Constraints (C/O), on a theoretical and practical point of view, and discusses a temporal model which extends an Object Oriented environment.


Temporal Constraints Satisfaction Problems Object-oriented Design Prolog 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Allen 83]
    ; James Allen, “Maintaining Knowledge about temporal interval”, Communications of the ACM, November 1983Google Scholar
  2. [Allen & al. 85]
    ; James Allen & Patrick Hayes, “A common-sense theory of time”, IJCAI, Milan Italy, 1985Google Scholar
  3. [Balthazaar & al. 90]
    ; Camel Balthazaar, Alex Gray & Ted Lawson, “An Object Oriented Temporal Model Embodied as Eiffel Software components”, TOOLS 90, 1990Google Scholar
  4. [BNR-Prolog 88]
    ; BNR-Prolog Reference Manual & user guide, Bell-Northern Research Publishing, 1988Google Scholar
  5. [Cervoni 90]
    ; Laurent Cervoni, “Planification en construction: utilisation de la programmation logique et de la propagation de contraintes”, Xèmes journées d'Avignon, 1990Google Scholar
  6. [Dechter & al. 89]
    ; Rina Dechter & Itay Meiri, “Experimental Evaluation of preprocessing technics in constraint satisfaction problems”, IJCAI 1989Google Scholar
  7. [Gallaire 86]
    Hervé Gallaire, “Merging Objects and Logical programming: relational semantics”, AAAI 1986Google Scholar
  8. [Goldberg 90]
    ; Adèle Goldberg, “Reengineering applications toward Object Oriented Technology”, Tutorials TOOLS 90, Paris, 1990Google Scholar
  9. [Hwang & al. 90]
    ; Soochang Hwang & Sukho Lee, “Modelling Semantic Relationships and Constraints in Object-Oriented Databases”, Communication of the ACM 10, 1990, p396–416Google Scholar
  10. [Jones & al. 90]
    ; C.B. Jones & R.C. Show, “Case Studies in Systematic Software Development”, Prentice Hall International, 1990.Google Scholar
  11. [Nadel 89]
    ; Bernard Nadel, “Constraint satisfaction algorithms”, Computer Intelligence Journal 5, 1989Google Scholar
  12. [Mackworth 77]
    ; A. Mackworth, “Consistency in networks of relations”, Artificial Intelligence Journal 8, 1977Google Scholar
  13. [Meyer 88]
    ; Bertrand Meyer, “Object Oriented Software Construction”, Prentice Hall International, 1988Google Scholar
  14. [Montanari 74]
    ; Ugo Montanari, “Networks of constraints: Fundamental properties and applications to picture processing”, Information Science 7, 1974Google Scholar
  15. [Puget & al. 91]
    ; Jean-François Puget & Patrick Albert, “Pecos: programmation par contrainte orientée objet”, ILOG, 1991Google Scholar
  16. [Rousseaux 91]
    ; Francis Rousseaux, “Les technologies orientées objet chez SYSECA: l'exigence de méthodes adaptées aux grands systèmes temps réel”, AFCET Spécial, 1991Google Scholar
  17. [Tsang 87]
    ; Edward Tsang, “Time Structure for Artificial Intelligence”, IJCAI 87, Milan Italy, August 1987Google Scholar
  18. [Vilain & al. 86]
    ; Marc Vilain & Henry Kaultz, “Constraint Propagation Algorithms for Temporal Reasonning”, AAAI, 1986Google Scholar
  19. [Zaniolo 84]
    ; C. Zaniolo, “Object-oriented programming in Prolog”, International Symposium on logical programming, February 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Laurent Cervoni
    • 1
    • 2
  • Francis Rousseaux
    • 3
    • 4
  1. 1.I.T.M.I.Paris Cedex 14France
  2. 2.Rouen University L.I.R.Mont Saint Aignan CedexFrance
  3. 3.SysecaSaint-Cloud CedexFrance
  4. 4.Paris VI University LaforiaParisFrance

Personalised recommendations