-
Notifications
You must be signed in to change notification settings - Fork 0
Output Target
An Actor plays the Role of an Output Target when it is the recipient, destination, or otherwise target of a System Output interaction.
Here's an example where multiple such targets are specified in the same System Output:
EVMAN ~|| UI, SIO : Door<S1> [ OPENING ]
Here the source Actor is the EVMAN:Door<S1> instance which notifies both the UI and SIO domains, each an Actor, that the OPENING state has been entered. In this case, the Action Type is bridgeable condition state entry.
Not all actions have receivers. For example, if we had instead specified the System Output as...
Door<S1> [ OPENING ]
...we are simply specifying a condition. It occurs and is of interest to the model debugger user, but it is not directed to any particular destination.
- Actor + Role + Interaction
No non-referential attributes.
Copyright 2025-2026 © Leon Starr under MIT Open Source License