Method and apparatus for automated program-generation

• US 5,920,717 A
• Filed: 12/18/1996
• Issued: 07/06/1999
• Est. Priority Date: 12/20/1995
• Status: Expired due to Fees

• Current Assignee: NEC Corporation
• Original Assignee: NEC Corporation
• Inventors: Noda, Natsuko
• Primary Examiner(s): Peeso, Thomas R.
• Assistant Examiner(s): SMITH-STEWART, DEMETRA R
• Application Number:
  US08/768,434
• Time in Patent Office: 930 Days
• Field of Search: 395/701, 395/703, 395/705, 395/500, 364/274, 364/274.1, 364/274.5
• US Class Current: 717/104
• CPC Class Codes: G06F 8/10 Requirements analysis; Specification techniques
• CPC Class Codes: G06F 8/30 Creation or generation of source code

Abstract

An automated program-generating apparatus, includes a program-generating section for receiving an input specification and for transforming the input specification into an output program. A reference device external to the program-generating section is available for referencing by the program-generating section. Metarules in the program-generating section operate with the reference device to transform the input specification into the output program.

Claims

1. An automated program-generating apparatus, comprising:

a transformer for transforming an input specification into a program; and

a referencing unit, connected to said transformer and external to said transformer, for being referenced by said transformer,

wherein said transformer includes transformation rules, metarules and an engine;

said engine performing;

an operation (a) of receiving said input specification as an input pattern,

an operation (b) of selecting a rule out of said transformation rules and said metarules to which said input pattern is applicable,

an operation (c) of obtaining a first output pattern by executing said rule selected in operation (b) if said rule selected in operation (b) is one of said transformation rules,

an operation (d) of obtaining a second output pattern by referencing said referencing unit if said rule selected in operation (b) is one of said metarules,

an operation (e) of repeating the sequence of operations (b) to (d), using a respective one of said first output pattern and said second output pattern obtained in operation (c) or (d) as said input pattern, until any rule to which said input pattern is applicable cannot be found, and

an operation (f) of outputting as said program said input pattern obtained after operation (e).

2. An apparatus as claimed in claim 1, wherein

said referencing unit includes an I/O corresponding table and templates;

said metarules include a table search rule and a template extension rule;

said transformation rules transform an input pattern into an output pattern;

said table search rule retrieves an output pattern corresponding to an input pattern from said I/O corresponding table; and

said template extension rule makes an output pattern by replacing a variable included in a template with a variable included in the input pattern.

3. An apparatus as in claim 1, wherein said metarules comprise variable transformation rules which access said referencing unit.

4. An apparatus as in claim 1, wherein said referencing unit comprises input/output correspondence tables and templates.

5. An apparatus as in claim 4, wherein said input/output correspondence table defines a relationship between said input specification and said output program.

6. An apparatus as in claim 4, wherein said input/output correspondence table defines a relationship between an object name of said input specification and at least one of an output pattern and said template.

7. An apparatus as in claim 6, wherein said metarules access said template corresponding to said relationship defined in said correspondence table.

8. An automated program-generating apparatus, comprising:

a program-generating section for receiving and transforming an input specification into a program; and

a referencing unit, external to and connected to said program-generating section, for being referenced by said program-generating section,

wherein said program-generating section includes metarules for dynamically switching between transformation modes, thereby to convert said input specification into said output program through transformation, transformation rules, and an engine;

said engine;

(a) receiving said input specification as an input pattern,

(b) selecting a rule out of said transformation rules and said metarules to which said input pattern is applicable,

(c) obtaining a first output pattern by executing said rule selected in operation (b) if said rule selected in operation (b) is one of said transformation rules,

(d) obtaining a second output pattern by referencing said referencing unit if said rule selected in operation (b) is one of said metarules,

(e) repeating the sequence of operations (b) to (d), using a respective one of said first output pattern and said second output pattern obtained in operation

(c) or (d) as said input pattern, until any rule to which said input pattern is applicable cannot be found, and

(f) outputting as said program said input pattern obtained after operation (e).

9. An apparatus as in claim 8, wherein said metarules comprise variable transformation rules.

10. An apparatus as in claim 9, wherein said referencing unit comprises an input/output correspondence table and a template.

11. An apparatus as in claim 10, wherein said input/output correspondence table defines a relationship between said input specification and said output program.

12. An apparatus as in claim 10, wherein said input/output correspondence table defines a relationship between an object name of said input specification and at least one of an output pattern and said template.

13. An apparatus as in claim 11, wherein said metarules extend said template corresponding to said relationship defined in said correspondence table.

14. A method of automating program generation, said method comprising:

inputting an input specification;

transforming said input specification into a program by applying metarules to said input specification, said metarules referencing an external table; and

using an engine, said engine;

(a) receiving said input specification as an input pattern,

(b) selecting a rule out of said transformation rules and said metarules to which said input pattern is applicable,

(c) obtaining a first output pattern by executing said rule selected in operation (b) if said rule selected in operation (b) is one of said transformation rules,

(d) obtaining a second output pattern by referencing said referencing unit if said rule selected in operation (b) is one of said metarules,

(e) repeating the sequence of operations (b) to (d), using a respective one of said first output pattern and said second output pattern obtained in operation

(c) or (d) as said input pattern, until any rule to which said input pattern is applicable cannot be found, and

(f) outputting as said program said input pattern obtained after operation (e).

15. A method as in claim 14, wherein said transforming step includes a step of switching transformation modes by said metarules based on a content of said external table.

16. A method as in claim 14, wherein said external table comprises input/output correspondence tables and templates.

17. A method as in claim 16, wherein said metarules comprise variable rules which access said template based on a relationship defined in said input/output correspondence table.

18. A method as in claim 14, wherein said transforming step comprises a step of applying a transformation rule set to said input specification, wherein said transformation rule set is separate from said external table.

19. A method as in claim 14, wherein said external table defines a relationship between said input specification and said output program.

20. A computer-readable medium storing a program for causing said computer to execute the following:

inputting an input specification;

transforming said input specification into a program by applying metarules to said input specification, said metarules referencing an external table; and

using an engine, said engine;

(a) receiving said input specification as an input pattern,

(b) selecting a rule out of said transformation rules and said metarules to which said input pattern is applicable,

(c) obtaining a first output pattern by executing said rule selected in operation (b) if said rule selected in operation (b) is one of said transformation rules,

(d) obtaining a second output pattern by referencing said referencing unit if said rule selected in operation (b) is one of said metarules,

(e) repeating the sequence of operations (b) to (d), using a respective one of said first output pattern and said second output pattern obtained in operation (c) or (d) as said input pattern, until any rule to which said input pattern is applicable cannot be found, and

(f) outputting as said program said input pattern obtained after operation (e).

21. A program storage device readable by machine, tangibly embodying a program of instructions executable by the machine to perform a method for automated program generation, said method comprising:

inputting an input specification;

transforming said input specification into a program by applying metarules to said input specification, said metarules referencing an external table; and

using an engine, said engine;

(a) receiving said input specification as an input pattern,

(b) selecting a rule out of said transformation rules and said metarules to which said input pattern is applicable,

(c) obtaining a first output pattern by executing said rule selected in operation (b) if said rule selected in operation (b) is one of said transformation rules,

(d) obtaining a second output pattern by referencing said referencing unit if said rule selected in operation (b) is one of said metarules,

(e) repeating the sequence of operations (b) to (d), using a respective one of said first output pattern and said second output pattern obtained in operation (c) or (d) as said input pattern, until any rule to which said input pattern is applicable cannot be found, and

(f) outputting as said program said input pattern obtained after operation (e).