Decoding a little bit
Connectors represent links to components on the roles, which are ports of the connectors
- The WRIGHT process descriptions describe the obligations of each connector
The glue process coordinates the behavior of the roles
- Essentially, it defines a high-level protocol
One can then prove properties about the stated protocols