Class UML 2.4.1::InteractionConstraint
Description:
An interaction constraint is a Boolean expression that guards an operand
in a combined fragment.
Direct Superclasses: ConstraintDirect Subclasses: Class Precedence List: InteractionConstraint,
Constraint,
PackageableElement,
ParameterableElement,
NamedElement,
ElementProperties:
![](/se-interop/image/down-arrow.png?hunchentoot-session=12756%3A7D9FEE487253E25F36042C821AC51B05)
maxint :
ValueSpecification (0 1); -- source
InteractionConstraint![](/se-interop/image/down-arrow.png?hunchentoot-session=12756%3A7D9FEE487253E25F36042C821AC51B05)
minint :
ValueSpecification (0 1); -- source
InteractionConstraint![](/se-interop/image/down-arrow.png?hunchentoot-session=12756%3A7D9FEE487253E25F36042C821AC51B05)
constrainedElement :
Element (0 *); -- source
Constraint![](/se-interop/image/down-arrow.png?hunchentoot-session=12756%3A7D9FEE487253E25F36042C821AC51B05)
context :
Namespace (0 1); -- source
Constraint![](/se-interop/image/down-arrow.png?hunchentoot-session=12756%3A7D9FEE487253E25F36042C821AC51B05)
specification :
ValueSpecification (1 1); -- source
Constraint![](/se-interop/image/down-arrow.png?hunchentoot-session=12756%3A7D9FEE487253E25F36042C821AC51B05)
visibility :
VisibilityKind (1 1); -- source
PackageableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=12756%3A7D9FEE487253E25F36042C821AC51B05)
owningTemplateParameter :
TemplateParameter (0 1); -- source
ParameterableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=12756%3A7D9FEE487253E25F36042C821AC51B05)
templateParameter :
TemplateParameter (0 1); -- source
ParameterableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=12756%3A7D9FEE487253E25F36042C821AC51B05)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=12756%3A7D9FEE487253E25F36042C821AC51B05)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=12756%3A7D9FEE487253E25F36042C821AC51B05)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=12756%3A7D9FEE487253E25F36042C821AC51B05)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=12756%3A7D9FEE487253E25F36042C821AC51B05)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=12756%3A7D9FEE487253E25F36042C821AC51B05)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=12756%3A7D9FEE487253E25F36042C821AC51B05)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=12756%3A7D9FEE487253E25F36042C821AC51B05)
owner :
Element (0 1); -- source
ElementConstraints:
Signature: minint_non_negative() : Boolean;
Description: If minint is specified, then the expression must evaluate to a non-negative
integer.
Expression: true
Signature: minint_maxint() : Boolean;
Description: Minint/maxint can only be present if the InteractionConstraint is associated
with the operand of a loop CombinedFragment.
Expression: true
Signature: maxint_positive() : Boolean;
Description: If maxint is specified, then the expression must evaluate to a positive
integer.
Expression: true
Signature: maxint_greater_equal_minint() : Boolean;
Description: If maxint is specified, then minint must be specified and the evaluation
of maxint must be >= the evaluation of minint
Expression: true
Signature: global_data() : Boolean;
Description: The constraint may contain references to global data or write-once data.
Expression: true
Signature: dynamic_variables() : Boolean;
Description: The dynamic variables that take part in the constraint must be owned by
the ConnectableElement corresponding to the covered Lifeline.
Expression: true
Operations:
No additional operations.
Send questions or comments to
[email protected].