Research Article
A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT
Table 4
Pseudocode of the transitions in the capsule TopSystem and its subcapsules.
| Capsule | Transition | Trigger pseudocode | Action pseudocode |
| TopSystem | Initial | — | setCT send portName() | setET send portName () |
| Source | Initial | — | — | timeout | timer receive timeout( ) | — | sendPortX | — | send portName() | sendPortY | — | send portName() | timeout2 | — | — |
| Router | Initial | — | — | receivePort | receive portName() | alert = | sendMsg | timer receive timeout( ) | alert send msg | waitPort | timer receive timeout( ) | — |
| ConsumerTarget | Initial | — | — | configPort | setPort receive portName (aux) | = aux | consumeMsg | receive msg | — | waitMsg | timer receive timeout( ) | — |
| ExporterConsumer | Initial | — | — | configPort | setPort receive portName(aux) | = aux | Initial1 | — | — | Initial2 | — | — | receiveMsg | receive msg | — | consumeMsg | — | — | exportMsg | — | export send msg() | msgConsumed | — | — | msgExported | — | — | waitMsg | timer receive timeout( ) | — |
|
|