Validating reconfigurations of reo circuits

We formalize dynamic reconfiguration of Reo circuits (multi-party interactions built from primitive channels) by graph transformation and apply it to a critical infrastructure controlling the business process of an e-banking scenario, in which reconfiguration is triggered as soon as the communication buffers reach specific predefined thresholds of congestion.