Research Article
A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT
Table 1
Transitions of the ExporterTarget state diagram.
| | Transition | Trigger | Action |
| | Initial | — | — | | configPort | Port: setPort | | Signal: portName | ·registerSAP(aux); | | Initial1 | — | | Initial2 | — | | receiveMsg | Port: t | = *rtdata; | | = ·msg1; | | Signal: msg | = ·msg2; | | consumeMsg | — | | exportMsg | — | export·msg()·send(); | | msgConsumed | — | | msgExported | — | | waitMsg | Port: timer | — | | Signal: timeout |
|
|
