P. Avesani, A. Perini, and F. Ricci, "COOL: An Object System with Constraints" proceedings of TOOLS'2, Paris, pp. 221-228, 1990.  Home/Search   Document Details and Download   Summary   Related Articles   Check

.... techniques can be used to realize change propagation in object oriented architectures, including using communication mechanisms such as MVC [21] distributed event handling [37] 35] one way constraints [15] 40] multi way constraints [4] 22] or predefined constraints on primitive objects [1][18] 20] Constraints, being primarily declarative, free the programmer from the arduous task of maintaining relationships by hand of communication and event handling mechanisms. However, the drawback of constraint satisfaction algorithms is their limitation to specific domains or types of ....

Avesani P, Perini A, Ricci F (1990), COOL: An Object System with Constraints. Proc. TOOLS 2.

....and resolve a small, typical scheduling problem. Keywords: constraint satisfaction tool, object oriented constraint solving system 2 1. Introduction In the last ten years, there has been an increasing number of integrations of constraint resolution in an object oriented (OO) environment [1][2] 8] 20] The main purpose of such an integration is to combine declarativity and efficient solving methods of constraint systems with powerful features of object oriented languages such as modularity or inheritance. In this paper we present YAFCRS (Y et Another Frame based C onstraint ....

....Nowadays, there are two main, different approaches concerning the introduction of constraints in an object oriented environment language: the first one is problem solving , and the other one is constraint object programming oriented. The main goal of the problem solving oriented systems ([1][2] 20] is to represent complex constraint problems (for example scheduling) and to globally resolve them by a backtracking based or other global mechanism. These systems are often extensions of an existing OO language, thus a constraint problem can be defined as a part of a more complex ....

[Article contains additional citation context not shown here]

P. Avesani, A. Perini, F. Ricci : "COOL: An Object System With Constraints", Proc. of Int. Conf. on Technology of Object-Oriented Languages and Systems, pp. 221-228, Paris, 1990.

.... Several techniques can be used to realize change propagation in object oriented architectures, including using communication mechanisms such as MVC [21] distributed event handling [37] 35] one way constraints [15] 40] multi way constraints [4] 22] or predefined constraints on primitive objects [1][18] 20] Constraints, being primarily declarative, free the programmer from the arduous task of maintaining relationships by hand of communication and event handling mechanisms. However, the drawback of constraint satisfaction algorithms is their limitation to specific domains or types of ....

Avesani P, Perini A, Ricci F (1990), COOL: An Object System with Constraints. Proc. TOOLS 2.

....and encapsulation mechanisms, the programmer should not need to know anything about the internal implementation of Rectangle, much less about what implementations of Points are used. A representative example of a system that uses this two domain, constraints on leaves technique is the COOL system [1]. This system appears to be reasonably efficient (meeting goal 6) but does not preserve the object oriented programming style when defining or using constraints (not meeting goal 2) 3.3 New Constraint Solvers The most powerful of the common techniques for integrating constraints and objects is ....

P. Avesani, A. Perini, and F. Ricci. COOL: An Object System with Constraints. In TOOLS 2, June 1990.

....is an intermediary position, comes from works aiming at integrating object oriented languages with constraints. Rather than providing specific computation domains as for CLP, the interest of integrating constraints and objects is to provide extensible and flexible implementations of CSP (e.g. COOL [Avesani, et al. 1990], PROSE [Berlandier 1992] ILOGSOLVER [Puget 1994] LAURE [Caseau 1994] Besides, objects provide facilities for domain adaptation. One particularly efficient way to achieve domain adaptation is to provide frameworks in which 1) general control loop and mechanisms are coded once for all, and 2) ....

P. Avesani, A. Perini, and F. Ricci, "COOL: An Object System with Constraints" proceedings of TOOLS'2, Paris, pp. 221-228, 1990.

....can do. 5. 3 Experimental Results In this section we shall illustrate a very simple example in order to give a practical feeling of what happens during an evolutionary process such as PHS (G; p; ffl) All the computations here reported have been performed using the object oriented language COOL [ Avesani et al. 1990 ] which was expressly developed to face CSP. We shall deal again with the previously mentioned 8 Queens problem. According to the definition of G(C) Section 3.2) this CSP can be translated into a non cooperative game with eight players with identical strategy sets S i = fs i0 ; s i7 g = ....

Paolo Avesani, Anna Perini, and Francesco Ricci. COOL: An object system with constraints. In Jean B'ezivin, Bertrand Meyer, and Jean-Marc Nerson, editors, Technology of Object-Oriented Languages and Systems, pages 221--228, 1990.

....Language. This work is motivated by the desire to have at disposal a tool, easily integrable into application packages, that can support problem definition and solving for Constraint Satisfaction Problems (CSPs) arising in real domains. This work is proceeding along a line introduced some time ago [1] and according to a set of standard goals for developing true Object Oriented Constraint Languages [6] In this module both continuous domain constraints and discrete domain constraints are considered. We use specific OO features, like polymorphism and inheritance, to build generic procedures ....

P. Avesani, A. Perini, and F. Ricci. COOL: An object system with constraints. In J. B'ezivin, B. Meyer, and J.-M. Nerson, editors, Technology of Object-Oriented Languages and Systems, pages 221--228, 1990.

No context found.

P. Avesani, A. Perini, and F. Ricci, "COOL: An Object System with Constraints" proceedings of TOOLS'2, Paris, pp. 221-228, 1990.

No context found.

Avesani, P. Perini, A. Ricci, F. (1990) COOL: An Object System with Constraints. Proc. of TOOLS'2, Paris (France), Angkor, pp. 221-228.

No context found.

Avesani, P. Perini, A. Ricci, F. (1990) COOL: An Object System with Constraints.

No context found.

Avesani, P. Perini, A. Ricci, F. (1990) COOL: An Object System with Constraints.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC