Reconfiguring Distributed Reo Connectors
C. Koehler, F. Arbab & E.P. de Vink

The coordination language Reo defines circuit-like connectors to steer the
collaboration of independent components. In this paper, we present a framework
for the modeling of distributed, self-reconfigurable connectors based on
algebraic graph transformations. Reconfiguring a connector that is composed
with others, may involve a change of shared interfaces and may therefore
require a reconfiguration of the surrounding connectors as well. We present a
method of synchronized local reconfigu- rations in this setting and discuss a
bottom-up strategy for coordinating synchronized reconfigurations in a
connector network. We exploit the double-pushout approach for the modeling of
reconfigurations, and propose an adaptation of the concept of amalgamation for
synchronizing reconfigurations. We use a nondeterministic scheduler as our
running example.