Class UML 2.3::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=8368%3A7A52F762A20952D44748D820F19914ED)
maxint :
ValueSpecification (0 1); -- source
InteractionConstraint![](/se-interop/image/down-arrow.png?hunchentoot-session=8368%3A7A52F762A20952D44748D820F19914ED)
minint :
ValueSpecification (0 1); -- source
InteractionConstraint![](/se-interop/image/down-arrow.png?hunchentoot-session=8368%3A7A52F762A20952D44748D820F19914ED)
constrainedElement :
Element (0 *); -- source
Constraint![](/se-interop/image/down-arrow.png?hunchentoot-session=8368%3A7A52F762A20952D44748D820F19914ED)
context :
Namespace (0 1); -- source
Constraint![](/se-interop/image/down-arrow.png?hunchentoot-session=8368%3A7A52F762A20952D44748D820F19914ED)
specification :
ValueSpecification (1 1); -- source
Constraint![](/se-interop/image/down-arrow.png?hunchentoot-session=8368%3A7A52F762A20952D44748D820F19914ED)
visibility :
VisibilityKind (1 1); -- source
PackageableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=8368%3A7A52F762A20952D44748D820F19914ED)
owningTemplateParameter :
TemplateParameter (0 1); -- source
ParameterableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=8368%3A7A52F762A20952D44748D820F19914ED)
templateParameter :
TemplateParameter (0 1); -- source
ParameterableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=8368%3A7A52F762A20952D44748D820F19914ED)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=8368%3A7A52F762A20952D44748D820F19914ED)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=8368%3A7A52F762A20952D44748D820F19914ED)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=8368%3A7A52F762A20952D44748D820F19914ED)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=8368%3A7A52F762A20952D44748D820F19914ED)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=8368%3A7A52F762A20952D44748D820F19914ED)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=8368%3A7A52F762A20952D44748D820F19914ED)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=8368%3A7A52F762A20952D44748D820F19914ED)
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].