Virtual Finite-state Machine - Virtual Environment

Virtual Environment

The virtual environment characterises the environment in which a VFSM operates. It is defined by three sets of names:

• input names, represented by the control properties of all available variables
• output names, represented by all the available actions on the variables
• state names, as defined for each of the states of the FSM.

The input names build virtual conditions to perform state transitions or input actions. The virtual conditions are built using the positive logic algebra. The output names trigger actions (entry actions, exit actions, input actions or transition actions).