Exam OMG-OCUP2-FOUND100 Topic 1 Question 44 Discussion

Pseudostates in UML state machines serve a different purpose than regular states. They are used as markers or waypoints to facilitate complex state transitions. Key distinctions include:
* Transient Nature: Pseudostates do not represent persistent states of an object. They are not associated with entry/exit actions or internal activities like regular states. The state machine immediately transitions through a pseudostate.
* Run-to-Completion Restrictions: A run-to-completion step (the sequence of states and transitions activated by a single event) cannot end in a pseudostate.
Let's analyze why the other options are incorrect:
* Option A (A pseudostate must have an outgoing transition):While most pseudostates have outgoing transitions to guide the flow of the state machine, this is not a strict requirement. For example, the
'terminate' pseudostate signifies the end of a statemachine and thus has no outgoing transitions.
* Option B (An outgoing transition from a pseudostate must always terminate on a regular state):
While true in many cases, outgoing transitions can also target other pseudostates for more intricate state machine designs.
* Option D (The outgoing transitions of a pseudostate must have triggers that consist exclusively of guard conditions):Pseudostate transitions can have a mix of triggers, including events, timeouts, and guard conditions.
References:
* UML Specification (Superstructure) Version 2.5.1: Specifically, sections covering statemachines (Chapter 14), pseudostates (Section 14.2.3.8), and run-to-completion steps (Section 14.2.3.13). You can find it on the OMG website: https://www.omg.org/spec/UML/2.5.1