Decomposition for Connectors

[cfsnook]

Connectors should be decomposed as one machine per type with a single read operation and a single write operation. These operations should not have guards specifying the value to be read/written. The connector name should be used as the instance name for prefixing. The connector operations should be event synchronised with all component operations that read/write to that connector.