Research Article
A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT
Table 2
Entry and exit actions of the states in the capsule TopSystem and its subcapsules.
| Capsule | State | Entry action | Exit action |
| TopSystem | | — | — |
| Source | | timer·informIn(RTTimespec); | — | | — | — | | timer·informIn(RTTimespec); | — |
| Router | | — | — | | timer·informIn(RTTimespec); | — | | timer·informIn(RTTimespec); | — |
| ConsumerTarget | | — | — | | — | — | | timer·informIn(RTTimespec); | — |
| ExporterTarget | | — | — | | — | — | | timer·informIn(RTTimespec); | — | | — | — | | — | — |
|
|