Rule based system for synthesizing a program suited for a target system in response to an input target system specification

Claim 2

An automatic program synthesizer for synthesizing a program suited for a target system in response to input of a system specification of the target system to be controlled by the program, comprising: a software part retrieval rule memory portion including a memory section for storing program synthesis rules which are divided into hierarchial groups for reducing the target system specification into simplified functions, and software part retrieval rules for searching for software parts which satisfy the simplified functions; a software part memory portion for storing said software parts, including a program pattern defining a prototype program for customization to satisfy a given simplified function, a program pattern customizing knowledge base for customizing or changing the program pattern so that the program pattern satisfies the system specification, and a memory section for storing a knowledge base for defining an attribute of a variable in the program pattern; software part retrieval means for obtaining the program synthesis rule from the system specification, and for searching for the software part, having a function requested by the software part retrieval rule, from the obtained program synthesis rule; variable manager section including a variable name generating section for generating a name of a variable or constant used in the program in accordance with an attribute thereof, and a variable attribute memory section for storing a variable name and an attribute of the variable or constant; and software part customizing means for defining an attribute of the variable according to a variable attribute definition in the software part searched for by said software part retrieval means, supplying the defined variable attribute to said variable manager section to obtain the variable name, and customizing or changing the program pattern in the software part in accordance with the obtained variable name and the knowledge base for customizing the program in the software part.

Claim 5

An automatic program synthesizer for synthesizing a program suited for a target system in response to input of a system specification of the target system to be controlled by the program, comprising: program synthesis rule memory means for storing software synthesis rules which are divided into hierarchial groups for reducing the target system specification into simplified functions; software part retrieval rule memory means for storing software part retrieval rules which is used for searching for software parts which satisfy the simplified functions; program pattern memory means for storing a program pattern for customization to satisfy a given simplified function, the program pattern including a variable having a predetermined attribute; memory means for storing a program pattern customizing knowledge base for customizing or changing the program pattern so that the program pattern satisfies the system specification; memory means for storing a variable attribute definition in the program pattern; software part retrieval means for obtaining the program synthesis rule from the system specification, and for searching for a software part, having a function requested by the software part retrieval rule, from the obtained program synthesis rule; and program customizing means for defining an attribute of the variable according to the variable attribute definition in the software part retrieved by said software part retrieval means, obtaining a variable name from the defined variable attribute, and customizing or changing the program pattern in the software part in accordance with the obtained variable name and program pattern customizing knowledge base in the software part.

Claim 6

An automatic program synthesizer for synthesizing a program suited for a target system in response to input of a system specification of the target system to be controlled by the program, comprising: program synthesis rule memory means for storing software synthesis rules which are divided into hierarchial groups for reducing the target system specification into simplified functions; software part retrieval rule memory means for storing software part retrieval rules which is used for searching for software parts which satisfy the simplified functions; program pattern memory means for storing a program pattern for customization to satisfy a given simplified function, the program pattern including a variable having a predetermined attribute; memory means for storing a program pattern customizing knowledge base for customizing or changing the program pattern so that the program pattern satisfies the system specification; memory means for storing a variable attribute definition in the program pattern; software part retrieval means for obtaining the program synthesis rule from the system specification, and for searching for a software part, having a function requested by the software part retrieval rule, from the obtained program synthesis rule; and program customizing means for defining an attribute of the variable according to the variable attribute definition in the software part retrieved by said software part retrieval means, obtaining a variable name from the defined variable attribute, and customizing or changing the program pattern in the software part in accordance with the obtained variable name and program pattern customizing knowledge base in the software part.

Claim 7

A program synthesizer according to claim 3, further comprising: variable name generating means for generating a variable name of a variable or constant used in the program in accordance with an attribute thereof; and variable attribute memory means for storing the variable name and the attribute thereof.

Claim 8

A program synthesizer according to claim 3, further comprising: means for storing a program customized or changed by said program customizing means, and converting the stored program into a target program expressed in a predetermined language.

Claim 9

A program synthesizer according to claim 3, further comprising: data memory means of a system specification for converting the system specification into intermediate data used in the automatic program synthesizer, storing the converted intermediate data, and supplying the stored data to said software part retrieval means.

Claim 10

A program synthesizer according to claim 3, further comprising: memory means for temporarily storing data used to search the software part.

Claim 11

An automatic program synthesizer for synthesizing a program suited for a target system in response to input of a system specification of the target system to be controlled by the program, comprising: a software part retrieval rule memory portion including a memory section for storing program synthesis rules which are divided into hierarchial groups for reducing the target system specification into simplified functions, and software part retrieval rules for searching for software parts which satisfy the simplified function; a software part memory portion for storing said software parts, including a program pattern defining a prototype program for customization to satisfy a given simplified function, a program pattern customizing knowledge base for customizing or changing the program pattern so that the program pattern satisfies the system specification, and a memory section for storing a knowledge base for defining an attribute of a variable in the program pattern; software part retrieval means for obtaining the program synthesis rule from the system specification, and for searching for the software part, having a function requested by the software part retrieval rule, from the obtained program synthesis rule; variable manager section including a variable name generating section for generating a name of a variable or constant used in the program in accordance with an attribute thereof, and a variable attribute memory section for storing a variable name and an attribute of the variable or constant; software part customizing means for defining an attribute of the variable according to a variable attribute definition in the software part searched for by said software part retrieval means, for supplying the defined variable attribute to said variable manager section to obtain the variable name, and for customizing or changing the program pattern in the software part in accordance with the obtained variable name and the knowledge base for customizing the program in the software part; and intermediate memory means for storing each program synthesized by the automatic program synthesizer according to a defined variable attribute thereof, the software part customizing means also searching the intermediate memory means for the attribute of the variable defined by the software part customizing means.

Claim 12

An automatic program synthesizer for synthesizing a program suited for a target system in response to input of a system specification of the target system to be controlled by the program, comprising: a software part retrieval rule memory portion including a memory section for storing program synthesis rules which are divided into hierarchial groups for reducing the target system specification into simplified functions, and software part retrieval rules for searching for software parts which satisfy the simplified function; a software part memory portion for storing said software parts, including a program pattern defining a prototype program for customization to satisfy a given simplified function, a program pattern customizing knowledge base for customizing or changing the program pattern so that the program pattern satisfies the system specification, and a memory section for storing a knowledge base for defining an attribute of a variable in the program pattern; software part retrieval means for obtaining the program synthesis rule from the system specification, and for searching for the software part, having a function requested by the software part retrieval rule, from the obtained program synthesis rule; variable manager section including a variable name generating section for generating a name of a variable or constant used in the program in accordance with an attribute thereof, and a variable attribute memory section for storing a variable name and an attribute of the variable or constant; software part customizing means for defining an attribute of the variable according to a variable attribute definition in the software part searched for by said software part retrieval means, for supplying the defined variable attribute to said variable manager section to obtain the variable name, and for customizing or changing the program pattern in the software part in accordance with the obtained variable name and the knowledge base for customizing the program in the software part; and intermediate memory means for storing each program synthesized by the automatic program synthesizer according to a defined variable attribute thereof, the software part customizing means also searching the intermediate memory means for the attribute of the variable defined by the software part customizing means.

Claim 15

An automatic program synthesizer for synthesizing a program suited for a target system in response to input of a system specification of the target system to be controlled by the program, comprising: program synthesis rule memory means for storing software synthesis rules which are divided into hierarchial groups for reducing the target system specification into simplified functions; software part retrieval rule memory means for storing software part retrieval rules which is used for searching for software parts which satisfy the simplified functions; program pattern memory means for storing a program pattern for customization to satisfy the simplified function, the program pattern including a variable having a predetermined attribute; memory means for storing a program pattern customizing knowledge base for customizing or changing the program pattern so that the program pattern satisfies the system specification; memory means for storing a variable attribute definition in the program pattern; software part retrieval means for obtaining the program synthesis rule from the system specification, and for searching for a software part, having a function requested by the software part retrieval rule, from the obtained program synthesis rule; program customizing means for defining an attribute of the variable according to the variable attribute definition in the software part retrieved by said software part retrieval means, obtaining a variable name from the defined variable attribute, and customizing or changing the program pattern in the software part in accordance with the obtained variable name and program pattern customizing knowledge base in the software part; and intermediate memory means for storing each program synthesized by the automatic program synthesizer according to a defined variable attribute thereof, the program customizing means searching the intermediate memory means for the attribute of the variable defined by the program customizing means.

Claim 16

An automatic program synthesizer for synthesizing a program suited for a target system in response to input of a system specification of the target system to be controlled by the program, comprising: program synthesis rule memory means for storing software synthesis rules which are divided into hierarchial groups for reducing the target system specification into simplified functions; software part retrieval rule memory means for storing software part retrieval rules which is used for searching for software parts which satisfy the simplified functions; program pattern memory means for storing a program pattern for customization to satisfy the simplified function, the program pattern including a variable having a predetermined attribute; memory means for storing a program pattern customizing knowledge base for customizing or changing the program pattern so that the program pattern satisfies the system specification; memory means for storing a variable attribute definition in the program pattern; software part retrieval means for obtaining the program synthesis rule from the system specification, and for searching for a software part, having a function requested by the software part retrieval rule, from the obtained program synthesis rule; program customizing means for defining an attribute of the variable according to the variable attribute definition in the software part retrieved by said software part retrieval means, obtaining a variable name from the defined variable attribute, and customizing or changing the program pattern in the software part in accordance with the obtained variable name and program pattern customizing knowledge base in the software part; and intermediate memory means for storing each program synthesized by the automatic program synthesizer according to a defined variable attribute thereof, the program customizing means searching the intermediate memory means for the attribute of the variable defined by the program customizing means.