State-Transition-Matrix based generation of a computer program

摘要

An action table that describes an action for each state is generated by extracting cells that describe the action to be executed by a system from a state transition matrix. A transition table that describes a state of the transition destination for each state is generated by extracting only cells that describe actions of transition destinations from the generated matrix. An event table that describes an event that exists in each state is generated. A program code is generated by confirming existence of an event under each state by referring to the event table when an event has occurred, and by executing an action of an event that has occurred in the current state by referring to the action table and the transition table.