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

When a template classifier is used to specify the type of a typed element, the actual parameters for the template classifier's formal parameters must be provided by a set of bound elements. This means that for a template classifier to be used as a type, there must be a corresponding binding that specifies what elements are used as arguments for its template parameters. This allows the typed element to have a concrete type that is a specific instantiation of the template classifier with particular values for its template parameters. This use of template classifiers is described in the UML 2.x Superstructure Specification, which details how template binding works to create specific instances of template classifiers.

Given that the system is inStateA1, the sequence of triggers that will move the system toStateCmust take into account the transitions and their associated triggers as defined in the UML state diagram. Starting fromStateA1, the triggera5will cause a transition withinStateA, followed bya6, which moves toStateA2. The triggera5is not relevant as it is an internal transition inStateA1. Then,a3(the exit action forStateA) anda2would be followed to leaveStateAaltogether. Once out ofStateA,a1is used to transition toStateB, wherea10is an entry action, not a trigger. Finally, to get fromStateBtoStateC, the triggersa11followed bya12are needed. This sequence of triggers reflects the correct usage of exit, entry, and transition triggers as defined by UML state machine semantics.