OMG-OCUP2-ADV300 Exam Dumps : OMG Certified UML Professional 2 (OCUP 2) - Advanced Level

The compiled model resulting from the Action Language for Foundational UML (fUML) must have the equivalent effect as a model resulting from the mapping to fUML. In other words, the compiled model should behave in the same way as if it were directly executed using the fUML execution semantics

The scope of fUML (Foundational UML) is to define execution semantics for a subset of the UML 2 metamodel that provides a shared foundation for higher-level UML modeling concepts. This includes the precise definition of the execution semantics of that subset, which is intended to be used by a wide range of system types, including physically distributed and concurrent systems without assumptions about global synchronization1.

Protocol State Machines in UML are used to specify the allowable protocol transitions that can be observed in the instances of a classifier. The interpretations that can be defined for protocol state machines are:

• A.Behavioral and protocol are not specific types of interpretations but rather describe aspects of state machines in general.
• B.Declarative and procedural describe styles or approaches to programming or specification, not specific to UML state machine interpretations.
• C.Declarative and executable is the correct answer. Declarative interpretations specify the allowed sequences of events in a state machine, while executable interpretations are concerned with the actual implementation that can be executed by a machine.
• D.Executable and non-executable are distinctions but not specifically pertaining to protocol state machine interpretations alone.

References:

• UML Specification: State Machines chapter, particularly sections on protocol state machines.
• Further details can be found in the UML 2.5 Documentation discussing the differences between different state machine interpretations.