xtUML CPP Transformation

Assumptions

See Validation-Rules

List of required mapping rules

1. Only state machine, assume CPPClass for XtClass is available

• State: create CPPState under CPPClass
• Transition: create CPPTranstion under CPPClass
• XtEvent (Transition.triggers.signal): create CPPEvent under CPPClass

Transition evaluation order in generated code

1. Transition evaluation is ordered based on the position in the CompositeState .transitions EList when multiple transitions have the same triggers

• Note that this order may not be the same as the order in UML (due to the nature of incremental transformation)

1. Transitions without triggers are not evaluated when processing an event

• These should be executed when a different method is called that will be used for as-long-as-possible execution