An FSM-based program generator for communication protocol software

A program generator for communication protocol software is presented. This program generator takes an extended finite state machine as a domain model and generates a group of C++ classes needed for an implementation. In the program generator, an object is generated for each state of the FSM. In a given state, for each interface event that triggers a state transition from the state to another state or back to itself, a member function (or called method) is created for the state object. The actions associated with a state transition constitute bodies of the member function corresponding to the interface event that triggers the transition. The program generator now includes a state machine editor, a program editor, and a class library. Incremental implementation is also supported by the program generator.<>