Skip to content

Output Target

Leon Starr edited this page Feb 19, 2026 · 15 revisions

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.

Identifiers

  1. Actor + Role + Interaction

Attributes

No non-referential attributes.

Clone this wiki locally