Paper Info
Title
Propagators and concurrent constraints
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.
Year
DOI
Venue
1991
10.1145/127056.127087
OOPS Messenger
Keywords
Field
DocType
existing system,encapsulation principle,propagator constraint,parallel execution,constraint program,object-oriented programming,procol constraint program,combining constraint system,concurrent constraint,object-oriented procol environment,declarative nature,object oriented programming,constraint programming,object oriented
Constraint satisfaction,Local consistency,Computer science,Constraint graph,Constraint programming,Constraint satisfaction problem,Theoretical computer science,Concurrent constraint logic programming,Constraint logic programming,Binary constraint
Journal
Volume
Issue
ISSN
2
2
1055-6400
ISBN
Citations 
PageRank 
0-89791-411-2
6
1.24
References 
Authors
8
2
Name
Order
Citations
PageRank
Chris Laffra115717.46
Jan Van Den Bos29167.60