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); | — | | — | — | | — | — |
|
|
