Complex sentence: The roles that different entities interacting through a connector can take are also described using CSP, allowing automatic checks of component/role compatibility and overal system consistency to be performed.
Split into simpler sentences: The roles that different components interacting through a connector can take are also described using CSP. Due to the formal nature of the behavior descriptions, automatic checks of port/role compatibility, and overall system consistency can be performed.