JP2982725B2 - Automatic program generator - Google Patents

Description

DETAILED DESCRIPTION OF THE INVENTION

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to an automatic program generation device that internally has a conversion rule describing the relationship between an input specification and an output program and generates a program from the input specification in accordance with the conversion rule. The present invention relates to an automatic program generation device having a meta-rule that separates a part as external information, accesses the information, and dynamically switches a conversion method.

[0001]

2. Description of the Related Art Japanese Unexamined Patent Publication No. 5-250174 discloses a program conversion for generating an output program by converting a syntax analysis of an input program using a conversion rule set represented by a set of syntax tree pairs. The method is described.

[0002]

The problem to be solved by the present invention is disclosed in Japanese Patent Laid-Open No. Hei 5-250
In the technique described in Japanese Patent Application Publication No. 174, all output programs to be generated by inputting input specifications are described in conversion rules. Therefore, in order to add the format of the input specification, it is necessary to add a conversion rule indicating what program is to be output from the added portion of the format of the input specification. Must be changed, the conversion rules for converting the format of a certain input specification into the format of the output program must be modified.

[0003] That is, this conventional technique has a problem that a program conversion rule must be added and corrected every time it is desired to add an input specification format or change an output program format.

Further, the conventional technique has a problem that a user cannot easily understand a method of describing a conversion rule and customization is difficult.

[0005] It is an object of the present invention to provide an automatic program generation device that can easily add a format of an input specification or change a format of an output program without modifying a conversion rule.

[0006]

According to a first aspect of the present invention, there is provided a program automatic generating apparatus for converting a specification data input from an input device into a program, a reference section referred to by the program generating section, Wherein the program generation unit includes a meta rule for converting the specification data into the program with reference to the reference unit.

According to a second automatic program generation device of the present invention, in the first automatic program generation device, the program generation section includes a set of conversion rules.

According to a third automatic program generation device of the present invention, in the first automatic program generation device, the meta-rule includes a plurality of conversion rules for accessing the reference section.

According to a fourth automatic program generation device of the present invention, in the first automatic program generation device, the reference section includes at least one input / output correspondence table and at least one template.

According to a fifth automatic program generation device of the present invention, in the fourth automatic program generation device, the input / output correspondence table defines a relationship between the specification data and the program.

According to a sixth automatic program generation device of the present invention, in the fourth automatic program generation device, the input / output correspondence table defines a relationship between an object name of the specification data and the template. I do.

According to a seventh automatic program generation device of the present invention, in the sixth automatic program generation device, the meta-rule accesses the template corresponding to the relationship defined in the input / output correspondence table. I do.

An eighth automatic program generation apparatus according to the present invention includes a program generation unit for converting specification data input from an input device into a program, and a reference unit for presetting a conversion method for the specification data, The program generation unit may determine a conversion method with reference to the reference unit, and include a meta rule for converting the specification data into the program according to the determined conversion method.

According to a ninth program automatic generation device of the present invention, in the eighth program automatic generation device, the program generation unit converts the specification data into the program without referring to the reference unit. It is characterized by including a group.

According to a tenth program automatic generation device of the present invention, in the ninth program automatic generation device, the reference section includes at least one input / output correspondence table and at least one template group. .

According to an eleventh program automatic generation device of the present invention, in the tenth program automatic generation device, the input / output correspondence table indicates a correspondence between an input pattern to be converted and an output pattern as a result of the conversion. A plurality of entries to be defined are included, the input pattern of each entry includes the specification data, and the output pattern includes an identifier of the template.

A twelfth program automatic generation device according to the present invention is the automatic program generation device according to the eleventh program, wherein the input pattern of each entry of the input / output correspondence table is the output pattern defined by another entry. Including
The output pattern includes the input pattern defined by another entry.

In a thirteenth or twelfth automatic program generation apparatus according to the present invention, the meta-rule searches the input / output correspondence table using the specification data as the input pattern. When the identifier of the template is obtained as the output pattern corresponding to the pattern, the template corresponding to the identifier is read out from the template group, and the read template is expanded by reflecting the specification data, whereby the program Is generated.

In a fourteenth automatic program generation device according to the present invention, in the thirteenth automatic program generation device, the meta rule further searches the input / output correspondence table using the specification data as the input pattern, and When the input pattern defined by another entry of the input / output correspondence table is obtained as the corresponding output pattern,
The input / output correspondence table is searched based on the input pattern.

According to a first automatic program generation method of the present invention, a meta-rule for converting specification data input from an input device into the program in accordance with a method of converting the specification data stored in an external storage device in advance. It is characterized by including a program generating step to be executed.

According to a second program automatic generation method of the present invention, in the first program generation method, the program generation step is performed irrespective of a method of converting the specification data stored in the external storage device in advance. ,
A conversion rule group for converting the specification data into the program is executed.

According to a third automatic program generation method of the present invention, in the second automatic program generation method, the meta rule is the input pattern to be converted and the result of the conversion using the specification data as an input pattern. A plurality of entries defining a correspondence with an output pattern, wherein the input pattern of each entry includes the specification data and the output pattern defined by another entry, and the output pattern includes an identifier of the template and another When an input / output correspondence table including the input pattern defined in the entry is searched, and an identifier of an arbitrary template in a template group is obtained as the output pattern corresponding to the input pattern, the input / output correspondence table corresponding to the identifier is obtained. Reads a template from the template group and reflects the specification data on the read template By deploying Te, and generates the program.

According to a fourth automatic program generation method of the present invention, in the third automatic program generation method, the meta rule further searches the input / output correspondence table using the specification data as the input pattern, and When the input pattern defined by another entry of the input / output correspondence table is obtained as the corresponding output pattern, the input / output correspondence table is searched based on the input pattern.

[0024]

Embodiments of the present invention will now be described in detail with reference to the drawings.

Referring to FIG. 1, an embodiment of the present invention includes an input device 11 such as a keyboard and a pointing device, and a processing device 12 which operates under program control.
And an output device 13 such as a display device or a printing device.

The processing device 12 includes a program generation unit 121
Is provided. The program generation unit 121 converts the input specification into a program by referring to the input / output correspondence table 122 and the template 123 created in advance by the user.

The program generation unit 121 includes a conversion rule set 1211 as a set of rules defining a conversion method, and 2
It includes two meta-rules (table search rules and template expansion rules) 1212 and an engine 1213 that performs actual conversion according to the rules.

Input / output correspondence table 122 and template 123
Defines a plurality of conversion patterns. The meta-rule defines a conversion method by extracting a specific conversion pattern from the input / output correspondence table 122 and the template 123. That is, the meta-rule controls the operation of the automatic program generation device.

The conversion rule set 1211 is represented by s (X1,...,
Xn) is a set of conversion rules for converting an input specification represented by a sequence of specifications such as Xn) into an output program. The conversion from the input specification to the output program is performed in a plurality of steps by applying conversion rules one after another.

In the following description, a pattern to be applied with a conversion rule in a certain conversion step is referred to as an input in the step, and a pattern rewritten by applying the conversion rule is referred to as an output in the step. Call. The input specification input by the program generation unit 121 is an input pattern. This input pattern becomes a condition part of the conversion rule, and corresponds to the left column of the input / output correspondence table 122. The operation part of the conversion rule that is the output pattern becomes the input pattern of another conversion rule, and corresponds to the right column of the input / output correspondence table 122.

The meta-rule 1212 corresponds to the input / output correspondence table 12
A table search rule for searching the output corresponding to the input from 2;
And a template expansion rule for replacing variables in the template 123 with the input variables.

The input / output correspondence table 122 is a reference table for converting an input specification into an output program.

FIG. 2 shows an input / output correspondence table 122 for converting an input s (X1,..., Xn) into an output Y.
, Xn}, a subsequence {Xi_1, ..., Xi_
k｝ (k is a natural number of 1 or more and n or less) determines Y. The input / output correspondence table 122 is searched by the table search rule of the meta rule 1212, and s (X1,..., Xn) is converted into Y. The subsequence is a key for searching the input / output correspondence table 122. The table search rule determines Y by searching the input / output correspondence table 122 using the key.

The template 123 represents a general pattern of output when an input value determines an output value in a step of converting an input specification into an output program.

That is, when the input s (X1,..., Xn) is Y
And the subsequence {Xi_1, {X1,..., Xn}
.., Xi_k｝ (k is a natural number of 1 or more and n or less) determines Y. When Y is a pattern represented as u (X1,..., Xn), this general pattern u (X1,
.., Xn) (X1,..., Xn are variables) are ｛Xi_1,
.., Xi_k}. u (X
1,..., Xn) indicate the general format of the template. FIG. 8 shows an example of u (X1,..., Xn). By expanding this template according to the template expansion rules, s (X1,..., Xn) is converted to Y.

Here, a modified example of the embodiment of the present invention will be described. A feature of the modification of the embodiment of the present invention is that the input / output correspondence table 122 has a plurality of columns.

When converting an input specification into an output program, there is a plurality of pieces of information corresponding to the input specification {Xi_1,..., Xi_k}, and each of them may be used in another conversion step. In such a case, the input / output correspondence table is not created separately for each corresponding information, but is made into one table having a plurality of columns.

FIG. 3 shows an input / output correspondence table having such a plurality of columns. Here, the table search rule for searching the input / output correspondence table is a rule that specifies an input value and an output value corresponding to which column of the table to search.

Next, the operation of the embodiment of the present invention will be described with reference to FIGS.

The input specifications given from the input device 11 are as follows:
It is provided to the processing device 12. When an input specification is given to the processing device 12, the engine 1213 in the program generation unit 121 configuring the processing device 12
1. Conversion is performed one after another with reference to the meta-rule 1212 to generate a program. Hereinafter, the conversion operation will be described in detail.

When the input specifications are given to the processing device 12,
The input specifications are to be converted (called input). The engine 1213 includes a conversion rule set 1211 and a meta-rule 121
A search is made to see if there is a conversion rule applicable from step 2, ie, a conversion rule in which the same pattern as the input is described as a pattern before conversion (steps 41 and 42). As described above, the input specification input by the program generation unit 121 is an input pattern. This input pattern becomes a condition part of the conversion rule, and corresponds to the left column of the input / output correspondence table 122. The operation part of the conversion rule that is the output pattern becomes the input pattern of another conversion rule, and corresponds to the right column of the input / output correspondence table 122. When there is an applicable conversion rule, engine 1213 performs the conversion according to the conversion rule.

For example, if the conversion rule is a template expansion rule, the variables in the template are replaced with the input variables for expanding the template (step 4).
31). If the conversion rule is a table search rule, an output value corresponding to the input is searched from the input / output correspondence table (step 432). If the conversion rule is a conversion rule other than the meta-rule, the input is converted according to the rule (step 433). The pattern converted by the engine 1213 is called an output. The output becomes the input of the next conversion, and steps 41 to 433 are repeated. The individual conversion rules are applied in any order, for example, in the order of appearance.

In step 42, when there are no more conversion rules applicable to the input, the input becomes the final output program and the conversion ends.

Next, an embodiment of the present invention will be described in detail with reference to the drawings.

In the embodiment of the present invention, a C ++ header file is generated by inputting object diagram information used in object-oriented design.

FIG. 5 is an example of a text expression representing information of an object diagram to be input. The class name, parent class name, attributes, and operation information are included for the classes included in this object diagram.

Referring to FIG. 5, the object diagram includes c
There are three classes, classA, classB, and classC. For example, for classA, Object
A is the parent class and the attributes are int-type Attr1 and cha
It includes an Atr2 of type r *, and the operation has a return value void,
The foo1 without the argument, the return value int, and the argument include the foo2 of the int type n and the char * type c.

FIG. 6 shows a program which is expected to be generated from generation based on the input specifications. classA. h with a file name of classB. h, the file 62, classC.h. It is expected that a file 63 having a file name of h will be generated.

When converting the input specification into an output program, an include declaration (the first line of each of 61, 62, 63, #include line) of an include file determined according to the parent class name is output. is necessary.

However, the user wants to change the file name because the method of outputting the parent class name and the file name is not regular, and the method of outputting the file name depends on the environment. Therefore, the correspondence between the parent class name as the input and the file name as the output is not appropriate to be described by the conversion rule, and is shown in a preset input / output correspondence table. FIG. 7 shows an example of the input / output correspondence table in the present embodiment.

The structure of the output class declaration changes depending on what is the parent class. The structure of this class declaration is shown by an example of a template shown in FIG. Further, which template is used for which class is shown in the example of the input / output correspondence table in FIG. FIG. 10 shows an example of a set of conversion rules and a meta-rule.

The operation of the embodiment will be described below.

It is assumed that the input specifications shown in FIG.

The engine 1213 has a conversion rule set 1211
And the meta rule 1212. Since Rule 1 can be applied, the engine 1213 rewrites the input specification according to Rule 1. Next, since rule 2 can be applied, rewriting is performed according to rule 2. The conversion rules applicable in this way are applied one after another and rewritten.

FIG. 11 shows the process of rewriting the input specifications. 11_1 indicates a state after the input specification has been rewritten several times by applying the conversion rule set shown in FIG. When this is input, the table search rule (10_2)
Is applicable, first, the input / output correspondence table 91 indicating the relationship between the parent class name and the corresponding include file name is searched, and classA. h include file name “ObjectA.h”, cl
assB. h include file name <Object
ctB. h>, classC. h include file name <lib / ObjectC. h> is obtained.

The table search rule (fi of 10_2) is stored in 11_1.
The result of rewriting by applying nd) is 11_2. Further, if 11_2 is input, the table search rule (10_2)
Is applied, and a template indicating the structure of the class declaration determined depending on the parent class name is obtained. The result of applying the table search rule (find of 10_2) to 11_2 is 11_3.

11_3 includes a template development rule (1
Since (extend of 0_2) is applicable, the template is expanded. The result of applying the template development rule (extend of 10_2) to 11_3 is 11_
4. Thereafter, by applying rule 8, the contents whose input specifications have been rewritten are printed out in files with the respective names, and all the conversions are completed, and the program shown in FIG. 6 is generated.

[0057]

As described above, the program automatic generation device of the present invention sets information on the relationship between input specifications and output programs as an input / output correspondence table and a template outside the program generation unit, and stores the information. By providing a meta-rule for converting the input specification by referring to it, it is possible to easily add a format of the input specification or change a format of the output program without modifying the conversion rule. have.

[Brief description of the drawings]

FIG. 1 is a block diagram illustrating a configuration of an embodiment of the present invention.

FIG. 2 is a diagram illustrating contents of an input / output correspondence table according to the embodiment of the present invention.

FIG. 3 is a diagram illustrating contents of an input / output correspondence table according to the embodiment of the present invention.

FIG. 4 is a flowchart illustrating the operation of the exemplary embodiment of the present invention.

FIG. 5 is a diagram showing an example of an input specification in one embodiment of the present invention.

FIG. 6 is a diagram illustrating an example of an output program according to an embodiment of the present invention.

FIG. 7 is a diagram showing a specific example of an input / output correspondence table in one embodiment of the present invention.

FIG. 8 is a diagram showing a specific example of a template in one embodiment of the present invention.

FIG. 9 is a diagram showing a specific example of an input / output correspondence table in one embodiment of the present invention.

FIG. 10 is a diagram showing a specific example of a conversion rule set in one embodiment of the present invention.

FIG. 11 is a diagram showing an example of the operation of one embodiment of the present invention.

[Explanation of symbols]

 DESCRIPTION OF SYMBOLS 11 Input device 12 Processing device 121 Program generation part 1211 Conversion rule set 1212 Meta rule 1213 Engine 122 Input / output correspondence table 123 Template 13 Output device 10_1 Conversion rule set 10_2 Meta rule

Continuation of front page (56) References JP-A-5-108322 (JP, A) JP-A-8-278877 (JP, A) JP-A-8-202544 (JP, A) "Settings to support object-oriented design""Code Generation Function from Total Model", "Information Processing Society of Japan 96-SE-107", Information Processing Society of Japan, January 18, 1996, pp. 49-56, "Object-Oriented Analysis / Design Environment O OSPAC", NEC Technical Report, (1994), NEC Corporation, Vol. No. 6, pp. 25-29 "Object-Oriented Development Approach Crossover", IPSJ 49th (Late 1994) National Convention Collection of Papers (5), p. 5-241 to 5-246 (58) Field surveyed (Int. Cl. ⁶ , DB name) G06F 9/06-9/46

Claims (4)

(57) [Claims] An input pattern to be converted and a conversion pattern
Multiple entries that define the correspondence with the resulting output pattern
Input / output correspondence table consisting of birds and part of the output pattern
Including multiple templates preset as
Unit and the input pattern in the input / output correspondence table or the template.
Convert to the output pattern without reference to rate
A plurality of conversion rules and the output corresponding to the input pattern.
Table search rules for obtaining force patterns from the input / output correspondence table
And the template whose parameters have been replaced with the input pattern.
Execute the template development rules to obtain the plate and enter
Converts the specification data input from the force input device into a program
And a program generation unit comprising
Automatic ram generator. 2. The method according to claim 2, wherein each of the plurality of conversion rules is
Specification data, the output pattern converted by other conversion rules
And the output pattern obtained by the table search rule
Either as an input pattern, the input / output correspondence table or
Is the output pattern without reference to the template.
2. The program according to claim 1, wherein
Automatic generation system. 3. The table search rule according to claim 1, wherein the conversion rule is changed.
The output pattern, the specification data, and the
Enter any of the output patterns obtained by the table search rule
The corresponding output pattern as the pattern
3. It is obtained from a force correspondence table.
Automatic program generation device according to the above. 4. The method according to claim 1, wherein the template development rule is
The output pattern obtained by the like data or the table search rule
The above-mentioned text with parameters replaced with
4. The method according to claim 1, wherein
An automatic program generation device according to any of the preceding claims.