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.

CapsuleTransitionTrigger pseudocodeAction pseudocode

TopSystemInitialsetCT send portName( )
setET send portName ( )

SourceInitial
timeouttimer receive timeout( )
sendPortX send portName( )
sendPortY send portName( )
timeout2

RouterInitial
receivePort receive portName( )alert =
sendMsgtimer receive timeout( )alert send msg
waitPorttimer receive timeout( )

ConsumerTargetInitial
configPortsetPort receive portName (aux) = aux
consumeMsg receive msg
waitMsgtimer receive timeout( )

ExporterConsumerInitial
configPortsetPort receive portName(aux) = aux
Initial1
Initial2
receiveMsg receive msg
consumeMsg
exportMsgexport send msg( )
msgConsumed
msgExported
waitMsgtimer receive timeout( )