Class UML 2.5::StateInvariant
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. A StateInvariant is an InteractionFragment and it is placed
on a Lifeline.
Direct Superclasses: InteractionFragmentDirect Subclasses: Class Precedence List: StateInvariant,
InteractionFragment,
NamedElement,
ElementProperties:
![](/se-interop/image/down-arrow.png?hunchentoot-session=14399%3AB387DC4A9DDCFF84AE8B2BE4C81B8E10)
covered :
Lifeline (1 1); -- source
StateInvariant![](/se-interop/image/down-arrow.png?hunchentoot-session=14399%3AB387DC4A9DDCFF84AE8B2BE4C81B8E10)
invariant :
Constraint (1 1); -- source
StateInvariant![](/se-interop/image/down-arrow.png?hunchentoot-session=14399%3AB387DC4A9DDCFF84AE8B2BE4C81B8E10)
enclosingInteraction :
Interaction (0 1); -- source
InteractionFragment![](/se-interop/image/down-arrow.png?hunchentoot-session=14399%3AB387DC4A9DDCFF84AE8B2BE4C81B8E10)
enclosingOperand :
InteractionOperand (0 1); -- source
InteractionFragment![](/se-interop/image/down-arrow.png?hunchentoot-session=14399%3AB387DC4A9DDCFF84AE8B2BE4C81B8E10)
generalOrdering :
GeneralOrdering (0 *); -- source
InteractionFragment![](/se-interop/image/down-arrow.png?hunchentoot-session=14399%3AB387DC4A9DDCFF84AE8B2BE4C81B8E10)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=14399%3AB387DC4A9DDCFF84AE8B2BE4C81B8E10)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=14399%3AB387DC4A9DDCFF84AE8B2BE4C81B8E10)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=14399%3AB387DC4A9DDCFF84AE8B2BE4C81B8E10)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=14399%3AB387DC4A9DDCFF84AE8B2BE4C81B8E10)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=14399%3AB387DC4A9DDCFF84AE8B2BE4C81B8E10)
visibility :
VisibilityKind (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=14399%3AB387DC4A9DDCFF84AE8B2BE4C81B8E10)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=14399%3AB387DC4A9DDCFF84AE8B2BE4C81B8E10)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=14399%3AB387DC4A9DDCFF84AE8B2BE4C81B8E10)
owner :
Element (0 1); -- source
ElementConstraints:
No additional constraints.
Operations:
No additional operations.
Send questions or comments to
[email protected].