Computer Science – Logic in Computer Science
Scientific paper
2009-11-29
EPTCS 12, 2009, pp. 17-39
Computer Science
Logic in Computer Science
Scientific paper
10.4204/EPTCS.12.2
Wegner describes coordination as constrained interaction. We take this approach literally and define a coordination model based on interaction constraints and partial, iterative and interactive constraint satisfaction. Our model captures behaviour described in terms of synchronisation and data flow constraints, plus various modes of interaction with the outside world provided by external constraint symbols, on-the-fly constraint generation, and coordination variables. Underlying our approach is an engine performing (partial) constraint satisfaction of the sets of constraints. Our model extends previous work on three counts: firstly, a more advanced notion of external interaction is offered; secondly, our approach enables local satisfaction of constraints with appropriate partial solutions, avoiding global synchronisation over the entire constraints set; and, as a consequence, constraint satisfaction can finally occur concurrently, and multiple parts of a set of constraints can be solved and interact with the outside world in an asynchronous manner, unless synchronisation is required by the constraints. This paper describes the underlying logic, which enables a notion of local solution, and relates this logic to the more global approach of our previous work based on classical logic.
Clarke Dave
Proença José
No associations
LandOfFree
Coordination via Interaction Constraints I: Local Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Coordination via Interaction Constraints I: Local Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Coordination via Interaction Constraints I: Local Logic will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-150791