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:
covered :
Lifeline (1 1); -- source
StateInvariant invariant :
Constraint (1 1); -- source
StateInvariantA Constraint that should hold at runtime for this StateInvariant.
{
composite}
Subsets: Element.ownedElement
enclosingInteraction :
Interaction (0 1); -- source
InteractionFragment enclosingOperand :
InteractionOperand (0 1); -- source
InteractionFragment generalOrdering :
GeneralOrdering (0 *); -- source
InteractionFragment clientDependency :
Dependency (0 *); -- source
NamedElement name : String (0 1); -- source
NamedElement nameExpression :
StringExpression (0 1); -- source
NamedElement namespace :
Namespace (0 1); -- source
NamedElement qualifiedName : String (0 1); -- source
NamedElementA name that allows the NamedElement to be identified within a hierarchy
of nested Namespaces. It is constructed from the names of the containing
Namespaces starting at the root of the hierarchy and ending with the name
of the NamedElement itself.
{
readonly,
derived}
visibility :
VisibilityKind (0 1); -- source
NamedElementDetermines whether and how the NamedElement is visible outside its owning
Namespace.
ownedComment :
Comment (0 *); -- source
Element ownedElement :
Element (0 *); -- source
ElementThe Elements owned by this Element.
{
composite,
readonly}
Derived union with sources: (ownedComment, nameExpression, generalOrdering, invariant)
Opposite: Element.owner
owner :
Element (0 1); -- source
ElementConstraints:
No additional constraints.
Operations:
No additional operations.
Send questions or comments to
[email protected].