Solving Temporal Constraints Satisfaction Problems with an Object-Oriented model
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.
KeywordsTemporal Constraints Satisfaction Problems Object-oriented Design Prolog
Unable to display preview. Download preview PDF.
- [Allen 83]; James Allen, “Maintaining Knowledge about temporal interval”, Communications of the ACM, November 1983Google Scholar
- [Allen & al. 85]; James Allen & Patrick Hayes, “A common-sense theory of time”, IJCAI, Milan Italy, 1985Google Scholar
- [Balthazaar & al. 90]; Camel Balthazaar, Alex Gray & Ted Lawson, “An Object Oriented Temporal Model Embodied as Eiffel Software components”, TOOLS 90, 1990Google Scholar
- [BNR-Prolog 88]; BNR-Prolog Reference Manual & user guide, Bell-Northern Research Publishing, 1988Google Scholar
- [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
- [Dechter & al. 89]; Rina Dechter & Itay Meiri, “Experimental Evaluation of preprocessing technics in constraint satisfaction problems”, IJCAI 1989Google Scholar
- [Gallaire 86]Hervé Gallaire, “Merging Objects and Logical programming: relational semantics”, AAAI 1986Google Scholar
- [Goldberg 90]; Adèle Goldberg, “Reengineering applications toward Object Oriented Technology”, Tutorials TOOLS 90, Paris, 1990Google Scholar
- [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
- [Jones & al. 90]; C.B. Jones & R.C. Show, “Case Studies in Systematic Software Development”, Prentice Hall International, 1990.Google Scholar
- [Nadel 89]; Bernard Nadel, “Constraint satisfaction algorithms”, Computer Intelligence Journal 5, 1989Google Scholar
- [Mackworth 77]; A. Mackworth, “Consistency in networks of relations”, Artificial Intelligence Journal 8, 1977Google Scholar
- [Meyer 88]; Bertrand Meyer, “Object Oriented Software Construction”, Prentice Hall International, 1988Google Scholar
- [Montanari 74]; Ugo Montanari, “Networks of constraints: Fundamental properties and applications to picture processing”, Information Science 7, 1974Google Scholar
- [Puget & al. 91]; Jean-François Puget & Patrick Albert, “Pecos: programmation par contrainte orientée objet”, ILOG, 1991Google Scholar
- [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
- [Tsang 87]; Edward Tsang, “Time Structure for Artificial Intelligence”, IJCAI 87, Milan Italy, August 1987Google Scholar
- [Vilain & al. 86]; Marc Vilain & Henry Kaultz, “Constraint Propagation Algorithms for Temporal Reasonning”, AAAI, 1986Google Scholar
- [Zaniolo 84]; C. Zaniolo, “Object-oriented programming in Prolog”, International Symposium on logical programming, February 1984.Google Scholar