Automatic program generating system using recursive conversion of a program specification into syntactic tree format and using design knowledge base

摘要

This automatic program generation system is a system to generate a target program by recursive conversion of program, which uses a specification input means to input specification and convert it into syntactic tree format and utilizes a design control means to control the conversion of the specification in syntactic tree format and outputs as a program the specification after conversion is repeated until it becomes impossible to further convert it. A design knowledge selection means selects select the design knowledge applied to the partial specification from the design knowledge base comprising accumulated design knowledge containing some program pieces and a relation part to indicate the mutual relation between them. A legitimate check means checks whether the partial specification matches with the applied design knowledge selected by the design knowledge selection means. When they match, it outputs the partial specification and the applied design knowledge, and when they do not match, it gives notice to that effect to the design knowledge selection means. A specification conversion means selects a specification conversion processing based on the partial specification and the applied design knowledge output from the legitimate check means.