Skip to content

System Output

Leon Starr edited this page Feb 17, 2026 · 8 revisions

Conditions or occurrences that we observe in the System are considered system outputs as far as our model debugger is concerned.

Typically, we are only interested in selected outputs occurring in some expected sequence which is why we model these as System Interactions. From the Elevator Case Study, we might be interested in the following output:

EVMAN >|| UI : XFER<S1> Set destination( Floor=3 )

Here we have an Action Type external event (as indicate by the >|| symbol) with a source Actor named EVMAN:XFER<S1> (an instance of XFER in the EVMAN domain) and an Actor Target UI (the UI domain). The System Output name is Set destination (the external event name) and there is one Supplied Parameter Floor with the value 3.

Identifiers

  1. Number

Attributes

No non-referential attributes.

Clone this wiki locally