Katholieke Universiteit Leuven
In this paper the authors focused on complex coordination mechanisms based on constraint satisfaction. In particular, it focuses on data-sensitive connectors from the reo coordination language. These connectors restrict how and where data can flow between loosely-coupled components taking into account the data values being exchanged. Unfortunately, existing engines for reo provide a very limited support for data-sensitive connectors, even though data constraints are captured by the original semantic models for reo. In the authors' approach to execute reo coordination constraints are not exhaustively solved at compile time but at runtime on a per-need basis, powered by existing constraint and SMT (Satisfiability Module Theories) solvers.