Propagators and concurrent constraints
- 1 April 1991
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN OOPS Messenger
- Vol. 2 (2) , 68-72
- https://doi.org/10.1145/127070.127087
Abstract
A constraint is a numeric or geometric relationship between objects. Constraints have a declarative nature and are a natural way for describing relationships between objects. Combining constraint systems and object-oriented programming (OOP) appears hard. All existing systems implicitly compromise the encapsulation principle of OOP. Also, the constraint resolving mechanism is typically centralized, thereby restricting parallel execution of a constraint program. This paper proposes a mechanism that provides for constraints in the concurrent (parallel) object-oriented Procol environment. Constraints are implemented using propagators. Propagators are triggered by messages that are sent to objects. Propagator constraints are solved by local propagation of known state, intuitively allowing for parallel execution of a Procol constraint program.Keywords
This publication has 10 references indexed in Scilit:
- Project DIGIS: Building Interactive Applications by Direct ManipulationComputer Graphics Forum, 1990
- Kaleidoscope: mixing objects, constraints, and imperative programmingPublished by Association for Computing Machinery (ACM) ,1990
- Separating user interface and functionality using a frame based data modelPublished by Association for Computing Machinery (ACM) ,1989
- Procol: a protocol-constrained concurrent object-oriented languageInformation Processing Letters, 1989
- Constraint technology for user-interface construction in ThingLab IIPublished by Association for Computing Machinery (ACM) ,1989
- PROCOL: a parallel object language with protocolsPublished by Association for Computing Machinery (ACM) ,1989
- A user interface toolkit based on graphical objects and constraintsPublished by Association for Computing Machinery (ACM) ,1988
- Constraint-based tools for building user interfacesACM Transactions on Graphics, 1986
- Experiences with the alternate reality kit: an example of the tension between literalism and magicPublished by Association for Computing Machinery (ACM) ,1986
- Defining constraints graphicallyPublished by Association for Computing Machinery (ACM) ,1986