Cancel Delayed Signal Action - modelint/shlaer-mellor-metamodel GitHub Wiki

If a signal is to be generated at some point in the future specified by a Delivery Time, then a Cancel Delayed Signal Action specifies that such a signal is to be canceled.

Let's say, for example, that we previously executed the Scrall statement:

Check temperature -> heater @control interval

This statement schedules the occurrence of the Check temperature Event at the time delay named control interval.

We could later do this:

Check temperature ->* heater

which cancels the signal emission so that the delayed Event does not occur.

Shlaer-Mellor specifies that:

There can be at most one delayed signal of a given name (an event specification) outstanding for each sender-receiver pair at any one time. [MB]

Identifiers

1. ID + Activity + Domain

Attributes

No non-referential attributes.