Abstract <br /><br /> Coordination models and languages are relatively new methods in modeling component-based software systems. These models and languages separate the communication aspect of systems from their ...