Icon class icon_class fas fa-quote-left icon_class_computed fas fa-quote-left Related content TIP/GOTCHA: SysMLv1/UML: Cameo Simulation Toolkit: If you use a «decisionInputFlow» to a DecisionNode you MUST also have a ControlFlow to the DecisionNode; if you don't use an explicit «decisionInputFlow» you don't need the "extra" ControlFlow TIP: SysMLv1/UML: Cameo Simulation Toolkit: HOWTO convert an fUML ReadLine CLI String to a Boolean for cleaner DecisionNode tests against a LiteralBoolean [true] guard. Source Unified Modeling Language 2.5.1 Copyright information About Object Management Group copyright in text extracts quoted from OMG specifications for educational purposes Snippet kind CONSTRAINT UML keywords DecisionNode ActivityEdge ActivityNode::incoming ControlFlow DecisionNode::decisionInputFlow DecisionNode::decisionInput Parameter Parameter::direction ParameterDirectionKind::in Behavior::inputParameters() Behavior TypedElement object token token TypedElement::type Type Previous snippet Full quote incoming_control_one_input_parameter If the DecisionNode has a decisionInputFlow and an incoming ControlFlow, then any decisionInput Behavior has one in Parameter whose type is the same as or a supertype of the type of object tokens offered on the decisionInputFlow. inv: (decisionInput<>null and decisionInputFlow<>null and incoming- >exists(oclIsKindOf(ControlFlow))) implies decisionInput.inputParameters()->size()=1 Next snippet Related snippets A DecisionNode is a ControlNode that chooses between outgoing ActivityEdges for the routing of tokens. decisionInput : Behavior [0..1] ... A Behavior that is executed to provide an input to guard ValueSpecifications on ActivityEdges outgoing from the DecisionNode. decisionInputFlow : ObjectFlow [0..1] ... An additional ActivityEdge incoming to the DecisionNode that provides a decision input value for the guards ValueSpecifications on ActivityEdges outgoing from the DecisionNode. zero_input_parameters If the DecisionNode has no decisionInputFlow and an incoming ControlFlow, then any decisionInput Behavior has no in parameters. DecisionNode::edges The ActivityEdges incoming to and outgoing from a DecisionNode, other than the decisionInputFlow (if any), must be either all ObjectFlows or all ControlFlows. decision_input_flow_incoming The decisionInputFlow of a DecisionNode must be an incoming ActivityEdge of the DecisionNode. two_input_parameters If the DecisionNode has a decisionInputFlow and a second incoming ObjectFlow, then any decisionInput has two in Parameters ... DecisionNode::incoming_outgoing_edges A DecisionNode has one or two incoming ActivityEdges and at least one outgoing ActivityEdge. Related snippets (backlinks) A decisionInput Behavior has no out parameters, no inout parameters, and one return parameter. Visit also Visit also (backlinks) Flags
