Software Disclaimer

Class UML 2.4.1::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: InteractionFragment

Direct Subclasses:

Class Precedence List: StateInvariant, InteractionFragment, NamedElement, Element

Properties:

covered : Lifeline (1 1); -- source StateInvariant
invariant : Constraint (1 1); -- source StateInvariant
enclosingInteraction : Interaction (0 1); -- source InteractionFragment
enclosingOperand : InteractionOperand (0 1); -- source InteractionFragment

The operand enclosing this InteractionFragment (they may nest recursively)
Subsets: NamedElement.namespace
Opposite: InteractionOperand.fragment

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 NamedElement
visibility : VisibilityKind (0 1); -- source NamedElement

Determines where the NamedElement appears within different Namespaces within the overall model, and its accessibility.

ownedComment : Comment (0 *); -- source Element
ownedElement : Element (0 *); -- source Element
owner : Element (0 1); -- source Element

Constraints:

No additional constraints.

Operations:

No additional operations.



Send questions or comments to [email protected].