July 2004
Intermediate to advanced
752 pages
35h 59m
English
A condition that must be true when a given state is active.
A state invariant is an assertion that a given constraint must be true when a certain state is active. If it is not true, the model is in error. The constraint may depend on the object whose state is active, as well as values reachable from the object or global values.
A state invariant may also be placed on a lifeline within an interaction. The interval between occurrence specifications is equivalent to a state. In this usage, the constraint is evaluated at the point when the next event occurs on the lifeline.
A state invariant on a state may be shown by attaching a comment containing the text of the constraint to the state symbol by a dashed line. ...
Read now
Unlock full access