May 2002
Intermediate to advanced
416 pages
8h 37m
English
Executable UML allows for a signal to be sent at some time in the future.
generate <signal> to <instance handle> delay <duration>;
This action causes the signal to be received after the duration expires. (It is not relevant whether the sender delays sending the signal, or the receiver delays receipt. That decision is properly the domain of the model compiler.)
A delayed signal cannot be manipulated directly by the application, because the delayed signal belongs in the domain of the model compiler, and any such manipulation would constitute domain pollution.
However, there remains a need to refer to a delayed signal, for example, to cancel it:
cancel <signal> from <instance handle> to <instance handle>;
Read now
Unlock full access