Coordination via interaction constraints

Dave Clarke
Katholieke Universiteit Leuven, Belgium

Slides from the talk [pdf]

Wegner described coordination as constrained interaction. This talk will explore a literal interpretation of this idea by using constraint satisfaction as the basis of a coordination model. Our model derives from the behavioural constraints underlying Arbab's Reo coordination model, though extends it considerably. Coordination in Reo emerges from the composition of the local behavioural constraints of primitives such as channels in a component connector. Expressing behavioral possibilities as constraints provides a new computational model for component connectors, which also offers a clear intensional description of behaviour. By exploring variations on the constraint paradigm, such as open constraints and partial solutions, more refined interaction patterns can be expressed, including interaction with an unknown world and on-the-fly-constraint generation.

Last changed November 23, 2008 16:13 EET by local organizers, nwpt08(at)