Class UML 2.3::StateInvariant
Description:
A state invariant 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 state invariant is an interaction fragment 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=95240%3A2A57240B906229529D295F2ECDD402BE)
covered :
Lifeline (1 1); -- source
StateInvariant![](/se-interop/image/down-arrow.png?hunchentoot-session=95240%3A2A57240B906229529D295F2ECDD402BE)
invariant :
Constraint (1 1); -- source
StateInvariant![](/se-interop/image/down-arrow.png?hunchentoot-session=95240%3A2A57240B906229529D295F2ECDD402BE)
enclosingInteraction :
Interaction (0 1); -- source
InteractionFragment![](/se-interop/image/down-arrow.png?hunchentoot-session=95240%3A2A57240B906229529D295F2ECDD402BE)
enclosingOperand :
InteractionOperand (0 1); -- source
InteractionFragment![](/se-interop/image/right-arrow.png?hunchentoot-session=95240%3A2A57240B906229529D295F2ECDD402BE)
generalOrdering :
GeneralOrdering (0 *); -- source
InteractionFragment The general ordering relationships contained in this fragment.
{
composite}
Subsets: Element.ownedElement
![](/se-interop/image/down-arrow.png?hunchentoot-session=95240%3A2A57240B906229529D295F2ECDD402BE)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=95240%3A2A57240B906229529D295F2ECDD402BE)
name : String (0 1); -- source
NamedElement![](/se-interop/image/right-arrow.png?hunchentoot-session=95240%3A2A57240B906229529D295F2ECDD402BE)
nameExpression :
StringExpression (0 1); -- source
NamedElement The string expression used to define the name of this named element.
{
composite}
Subsets: Element.ownedElement
![](/se-interop/image/down-arrow.png?hunchentoot-session=95240%3A2A57240B906229529D295F2ECDD402BE)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=95240%3A2A57240B906229529D295F2ECDD402BE)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/right-arrow.png?hunchentoot-session=95240%3A2A57240B906229529D295F2ECDD402BE)
visibility :
VisibilityKind (0 1); -- source
NamedElement Determines where the NamedElement appears within different Namespaces within
the overall model, and its accessibility.
![](/se-interop/image/down-arrow.png?hunchentoot-session=95240%3A2A57240B906229529D295F2ECDD402BE)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=95240%3A2A57240B906229529D295F2ECDD402BE)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/right-arrow.png?hunchentoot-session=95240%3A2A57240B906229529D295F2ECDD402BE)
owner :
Element (0 1); -- source
Element The Element that owns this element.
{
readonly}
Derived union with sources: (namespace, enclosingOperand)
Opposite: Element.ownedElement
Constraints:
No additional constraints.
Operations:
No additional operations.
Send questions or comments to
[email protected].