Validating reconfigurations of Reo circuits in an e-banking scenario