Reo Coordination Language

 

 

1. Formal semantics

2. Dynamic Reconfigurability

3. Composability

 

• Enforces a channel based coordination model .
• Reo views a system that comprises of component instances interacting through connectors.
• A channel has 2 channel ends.
• 2 types of channel ends are:

1. Sink-dispenses data out of its channel.
2. Source-accepts data into the channel.