Research Article
A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT
Table 6
Entry and exit actions of the states in the HeatingSystem subcapsules.
| | Capsule | State | Entry action | Exit action |
| | LowExceptions | OkayLPrio | — | — | | OffLPrio | timer·informIn(RTTimespec); | — |
| | HighExceptions | OffHPrio | — | — | | OkayHPrio | — | — | | WaitHPrio | timer·informIn(RTTimespec); | — |
| | HeatingController | Start | timer·informIn(RTTimespec); | — | | Level2 | out·msg(L2)·send(); | — | | timer·informIn(RTTimespec); | | Level1 | out·msg(L1) ·send(); | — | | Shutdown | out·msg(BAD) ·send(); | — |
|
|
