in sub-blocks. The lowest level block is composed of one process or several processes described as finite-state machines.

Communication

Blocks are connected through channels that carry the messages (or signals) exchanged between the blocks. A block agent consists of process agents.

Behavior

Each process agent is a state machine that contributes