Я еще раз внимательно прочитал спецификацию UML.
Инвариант состояния к диаграмме состояний, к сожалению, отношения не имеет.
Леонид Борисович, не соглашусь с Вами.
Смотрим OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2
14.3.31 StateInvariant (from BasicInteractions)
Description
A StateInvariant is a runtime constraint on the participants of the interaction. It may be used to specify a variety of
different kinds of constraints, such as values of attributes or variables,
internal or external states, and so on.
...
Presentation Options
...
The state symbol represents the equivalent of a constraint that checks
the state of the object represented by the Lifeline.
...
На Figure 14.24 - Ignore, Consider, assert with State Invariants приведен пример нотации