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: InteractionFragmentDirect Subclasses: Class Precedence List: StateInvariant, InteractionFragment, NamedElement, ElementProperties:
covered : Lifeline (1 1); -- source StateInvariant invariant : Constraint (1 1); -- source StateInvariant 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 NamedElement visibility : VisibilityKind (0 1); -- source NamedElement ownedComment : Comment (0 *); -- source Element ownedElement : Element (0 *); -- source Element owner : Element (0 1); -- source ElementConstraints:
No additional constraints.Operations:
No additional operations.Send questions or comments to [email protected].