The dynamic behavior of different ports of an individual component is described using the Communicating Sequential Processes (CSP) process algebra. The roles that different components interacting through a connector can take are also described using CSP.
The behavior of various ports in an individual component is described using Communicating Sequential Processes (CSP) process algebra, and the functions or roles of different components communicating through a connector are similarly explained with CSP.