VFSM executable specification

A software design method is presented, based on a virtual finite state machine (VFSM) concept. The concept defines a virtual environment that allows the finite state machine to be an entirely table driven software module. A hybrid finite state model is used to achieve a superior design clarity. The method separates the control part of the design problem from the data manipulation part. The specification of the control part is directly executable. The control part is not coded. It is expressed in a table that is executed by the virtual finite state machine executor. The concept of virtual environment has been utilized for the design of complex software control systems.<>