]>

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