Software Disclaimer

Class UML 2.3::DecisionNode

Description:

A decision node is a control node that chooses between outgoing flows.

Direct Superclasses: ControlNode

Direct Subclasses:

Class Precedence List: DecisionNode, ControlNode, ActivityNode, RedefinableElement, NamedElement, Element

Properties:

decisionInput : Behavior (0 1); -- source DecisionNode
decisionInputFlow : ObjectFlow (0 1); -- source DecisionNode
activity : Activity (0 1); -- source ActivityNode
inGroup : ActivityGroup (0 *); -- source ActivityNode
inInterruptibleRegion : InterruptibleActivityRegion (0 *); -- source ActivityNode
inPartition : ActivityPartition (0 *); -- source ActivityNode
inStructuredNode : StructuredActivityNode (0 1); -- source ActivityNode
incoming : ActivityEdge (0 *); -- source ActivityNode
outgoing : ActivityEdge (0 *); -- source ActivityNode
redefinedNode : ActivityNode (0 *); -- source ActivityNode
isLeaf : Boolean (1 1); -- source RedefinableElement
redefinedElement : RedefinableElement (0 *); -- source RedefinableElement
redefinitionContext : Classifier (0 *); -- source RedefinableElement
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 Element

Constraints:

Signature: zero_input_parameters() : Boolean;
Description: If the decision node has no decision input flow and an incoming control flow, then a decision input behavior has zero input parameters.
Expression: true

Signature: two_input_parameters() : Boolean;
Description: If the decision node has a decision input flow and an second incoming object flow, then a decision input behavior has two input parameters, the first of which has a type that is the same as or a supertype of the type of the type of object tokens offered on the nondecision input flow and the second of which has a type that is the same as or a supertype of the type of object tokens offered on the decision input flow.
Expression: true

Signature: parameters() : Boolean;
Description: A decision input behavior has no output parameters, no in-out parameters and one return parameter.
Expression: true

Signature: incoming_outgoing_edges() : Boolean;
Description: A decision node has one or two incoming edges and at least one outgoing edge.
Expression: true

Signature: incoming_object_one_input_parameter() : Boolean;
Description: If the decision node has no decision input flow and an incoming object flow, then a decision input behavior has one input parameter whose type is the same as or a supertype of the type of object tokens offered on the incoming edge.
Expression: true

Signature: incoming_control_one_input_parameter() : Boolean;
Description: If the decision node has a decision input flow and an incoming control flow, then a decision input behavior has one input parameter whose type is the same as or a supertype of the type of object tokens offered on the decision input flow.
Expression: true

Signature: edges() : Boolean;
Description: The edges coming into and out of a decision node, other than the decision input flow (if any), must be either all object flows or all control flows.
Expression: true

Signature: decision_input_flow_incoming() : Boolean;
Description: The decisionInputFlow of a decision node must be an incoming edge of the decision node.
Expression: true

Operations:

No additional operations.



Send questions or comments to [email protected].