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

Identifiers

  1. Number

Attributes

No non-referential attributes.

Clone this wiki locally