Abstract

As computer technology becomes widely used in all aspects of the industry, society and the people’s life nowadays, computers bring great commercial value social value, and meanwhile, bring us new requirements for software production.

Finite state machines can be used to describe some of software systems' internal logic and external behavior. It is a good idea to use finite state machines as a software function specification and to generate software automatically by using specifications. This may bring up efficiency and bring down the cost of software development remarkably.

This dissertation goes deeply into the theories and practice of designing and implementing a system that generates Java code from finite state machines.

The theories of formal languages, grammars and finite state machines have also been discussed thoroughly in this dissertation. The concepts and content of software-automatization have been studied in the dissertation as well. According to these theories and concepts, a general design of the auto-generation system has been achieved. The dissertation expounds the technology issues and hierarchy of the auto-generation program. Finally, the details of the implementation of the software are given.

In the end of the dissertation, the project is summarized and a list of further work is proposed.