Software Disclaimer

Class UML 2.3::InteractionConstraint


An interaction constraint is a Boolean expression that guards an operand in a combined fragment.

Direct Superclasses: Constraint

Direct Subclasses:

Class Precedence List: InteractionConstraint, Constraint, PackageableElement, ParameterableElement, NamedElement, Element


maxint : ValueSpecification (0 1); -- source InteractionConstraint
minint : ValueSpecification (0 1); -- source InteractionConstraint

The minimum number of iterations of a loop
Subsets: Element.ownedElement

constrainedElement : Element (0 *); -- source Constraint
context : Namespace (0 1); -- source Constraint

Specifies the namespace that owns the NamedElement.
Subsets: NamedElement.namespace
Opposite: Namespace.ownedRule

specification : ValueSpecification (1 1); -- source Constraint
visibility : VisibilityKind (1 1); -- source PackageableElement
owningTemplateParameter : TemplateParameter (0 1); -- source ParameterableElement
templateParameter : TemplateParameter (0 1); -- source ParameterableElement

The template parameter that exposes this element as a formal parameter.
Opposite: TemplateParameter.parameteredElement

clientDependency : Dependency (0 *); -- source NamedElement
name : String (0 1); -- source NamedElement

The name of the NamedElement.

nameExpression : StringExpression (0 1); -- source NamedElement
namespace : Namespace (0 1); -- source NamedElement
qualifiedName : String (0 1); -- source NamedElement
ownedComment : Comment (0 *); -- source Element

The Comments owned by this element.
Subsets: Element.ownedElement

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


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


No additional operations.

Send questions or comments to