The FXU framework is based on the second solution, applying a run-time library.
The process presented above is realized in the FXU framework .
The FXU framework consists of two components FXU Generator and FXU Runtime Library.
The FXU framework is limited to the most typical case, when a behavioral state machine models behavior of class instances.
A distinctive feature of FXU is dealing with all UML elements of behavioral state machines and their realization in C# application.
Using an FXU template the resulting programming class can be created for the Runway class and its behavioral model.
The structure of basic elements of the FXU Runtime Library corresponds to the simplified state machine meta-model (Fig, 2).
Basic algorithms of FXU realization, like execution of a state machine, entry to a state, exit from a state, were presented in .
In the FXU RunTime Library it is implemented by multithreading.
Such dynamic verification will be completed by the appropriate classes of the FXU Runtime Library.
The FXU framework is not directly associated with any modelling tool but UML models are passed between tools using files.