assertion
A combined fragment in an interaction indicating that the behavior described by the contents is the only valid behavior at that point in the execution. Any other behavior contradicts the meaning.
Semantics
In general, an interaction is a specification of permissible behavior, which does not include all possible behavior. An assertion is a statement that the specified behavior of the assertion region is the only possible behavior at that point in the execution. Note, however, that the ignore and consider operators can be used to filter the behavior under consideration. If certain kinds of events are explicitly ignored, their occurrence or nonoccurrence will not affect an assertion.
For example, use an assertion fragment containing a ...
Get Unified Modeling Language Reference Manual, The, Second Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
