A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT

Figure 14

The state diagrams of the capsules: (a) Car, (b) Trans, and (c) Control.

(a)

(b)

(c)