Learn about Webel's comprehensive SysMLv2 Workshop Seminar course!
Webel now has a SysMLv2 Online Self-Study course with self-test Quizzes!
Learn about the Webel Q&A     online self-testing system for SysML v2/v1

choice – ... If more than one guard evaluates to true, one of the corresponding Transitions is selected. The algorithm for making this selection is not defined.

Icon class
icon_class
fas fa-quote-left
icon_class_computed
fas fa-quote-left
Related content
uml101 - StateMachines - NOTATION REFERENCE CARD
uml101 - StateMachines - NOTATION REFERENCE CARD
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
SEMANTIC
UML keywords
Pseudostate
PseudostateKind::choice
StateMachine
Transition::guard
Consequently, choice is used to realize a dynamic conditional branch. It allows splitting of compound transitions into multiple alternative paths such that the decision on which path to take may depend on the results of Behavior executions performed ...
Full quote
If more than one guard evaluates to true, one of the corresponding Transitions is selected. The algorithm for making this selection is not defined.
Next snippet
choice – ... If none of the guards evaluates to true, then the model is considered ill formed. To avoid this, it is recommended to define one outgoing Transition with the predefined “else” guard for every choice Pseudostate.
Related snippets
Related snippets (backlinks)
Visit also
Visit also (backlinks)