Skip to main content
SpringerLink
Log in

Solving Temporal Constraints Satisfaction Problems with an Object-Oriented model

  • Design and Architecture
  • Conference paper
  • First Online:
Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 1992)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 604))

  • 269 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. ; James Allen, “Maintaining Knowledge about temporal interval”, Communications of the ACM, November 1983

    Google Scholar 

  2. ; James Allen & Patrick Hayes, “A common-sense theory of time”, IJCAI, Milan Italy, 1985

    Google Scholar 

  3. ; Camel Balthazaar, Alex Gray & Ted Lawson, “An Object Oriented Temporal Model Embodied as Eiffel Software components”, TOOLS 90, 1990

    Google Scholar 

  4. ; BNR-Prolog Reference Manual & user guide, Bell-Northern Research Publishing, 1988

    Google Scholar 

  5. ; Laurent Cervoni, “Planification en construction: utilisation de la programmation logique et de la propagation de contraintes”, Xèmes journées d'Avignon, 1990

    Google Scholar 

  6. ; Rina Dechter & Itay Meiri, “Experimental Evaluation of preprocessing technics in constraint satisfaction problems”, IJCAI 1989

    Google Scholar 

  7. Hervé Gallaire, “Merging Objects and Logical programming: relational semantics”, AAAI 1986

    Google Scholar 

  8. ; Adèle Goldberg, “Reengineering applications toward Object Oriented Technology”, Tutorials TOOLS 90, Paris, 1990

    Google Scholar 

  9. ; Soochang Hwang & Sukho Lee, “Modelling Semantic Relationships and Constraints in Object-Oriented Databases”, Communication of the ACM 10, 1990, p396–416

    Google Scholar 

  10. ; C.B. Jones & R.C. Show, “Case Studies in Systematic Software Development”, Prentice Hall International, 1990.

    Google Scholar 

  11. ; Bernard Nadel, “Constraint satisfaction algorithms”, Computer Intelligence Journal 5, 1989

    Google Scholar 

  12. ; A. Mackworth, “Consistency in networks of relations”, Artificial Intelligence Journal 8, 1977

    Google Scholar 

  13. ; Bertrand Meyer, “Object Oriented Software Construction”, Prentice Hall International, 1988

    Google Scholar 

  14. ; Ugo Montanari, “Networks of constraints: Fundamental properties and applications to picture processing”, Information Science 7, 1974

    Google Scholar 

  15. ; Jean-François Puget & Patrick Albert, “Pecos: programmation par contrainte orientée objet”, ILOG, 1991

    Google Scholar 

  16. ; 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, 1991

    Google Scholar 

  17. ; Edward Tsang, “Time Structure for Artificial Intelligence”, IJCAI 87, Milan Italy, August 1987

    Google Scholar 

  18. ; Marc Vilain & Henry Kaultz, “Constraint Propagation Algorithms for Temporal Reasonning”, AAAI, 1986

    Google Scholar 

  19. ; C. Zaniolo, “Object-oriented programming in Prolog”, International Symposium on logical programming, February 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. I.T.M.I., 92, Bd du Montparnasse, 75682, Paris Cedex 14, France

    Laurent Cervoni

  2. Rouen University L.I.R., BP 118, 76134, Mont Saint Aignan Cedex, France

    Laurent Cervoni

  3. Syseca, 315, Bureaux de la Colline, 92213, Saint-Cloud Cedex, France

    Francis Rousseaux

  4. Paris VI University Laforia, Place Jussieu, Tour 46-00, 75005, Paris, France

    Francis Rousseaux

Authors
  1. Laurent Cervoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Francis Rousseaux
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Fevzi Belli Franz Josef Radermacher

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cervoni, L., Rousseaux, F. (1992). Solving Temporal Constraints Satisfaction Problems with an Object-Oriented model. In: Belli, F., Radermacher, F.J. (eds) Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. IEA/AIE 1992. Lecture Notes in Computer Science, vol 604. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024992

Download citation

  • DOI: https://doi.org/10.1007/BFb0024992

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55601-5

  • Online ISBN: 978-3-540-47251-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation