JPH06110677A - Correlation checking/correcting device for system static information - Google Patents

Abstract

PURPOSE:To decrease a correction error, to shorten a correction period of time and to prevent the correction error from being overlooked by performing rechecking. CONSTITUTION:Based on the contents of a correlation check file 6, a correlation check processing part 15 checks whether the conflict point of correlative relation extended between processors exists in the SG control sentence in an file 5 defined at every processor or not, and a man-machine interface processing part 11 displays information showing the detected conflict point on a display 3. When a user observes the display and inputs correction information from a keyboard 2, based on the correction information, a control sentence correction processing part 14 corrects the SG control sentence and stores the corrected SG control sentence in a buffer 141. The correlation check processing part 15 checks the conflict point concerning the corrected SG control sentence stored in the buffer 141 again and displays the checked result through the man-machine interface processing part 11 onto the display 3.

Description

Detailed Description of the Invention

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention inputs a control statement of system static information individually defined for each processor in a multi-processor system in which a plurality of processors operate in correlation with each other, and The present invention relates to an improvement in a correlation check device having a function of detecting a contradiction point in a crossing correlation.

[0002]

2. Description of the Related Art In a multiprocessor system in which a plurality of processors operate in correlation with each other, system static information (hereinafter referred to as SG As a device for checking whether or not there is a contradiction in the correlation across processors with respect to the control statement (referred to as "), for example, a correlation check device as reported in Japanese Patent Application No. 3-302602 has been reported. .

This correlation checking device automatically determines, for the SG control statement individually defined for each processor, whether or not there is a contradiction in the correlation between the processors based on the contents of the correlation check file. This is a device for checking, and the detected inconsistencies in the SG correlation are output in the form of a list. Therefore, the user has modified the SG control statement on the desk by referring to this list.

[0004]

As described above, although the inconsistency of the defined SG correlation is automatically detected by the correlation checking device, the subsequent correction must be performed manually, and therefore the correction is required. Sometimes mistakes were mixed in, and although a contradiction was found, a correct SG control statement could not be obtained due to a correction error, and the correction error itself was overlooked.

The present invention has been made in view of such circumstances, and an object thereof is to newly add an SG correction function and a re-check function after correction to a correlation check device for SG control statements. Another object is to provide a correlation checking / correcting device.

[0006]

In order to achieve the above-mentioned object, the present invention provides SG control statements individually defined for each processor in a multiprocessor system in which a plurality of processors operate in a correlated manner. , A correlation checking device having a function of detecting a contradiction of a correlation between processors, a man-machine for displaying information indicating the detected contradiction on a display device and inputting correction information from the input device. An interface processing unit, a buffer that holds the control statement of the SG before correction and the control statement of the corrected SG, and the SG before correction based on the correction information input from the input device by the man-machine interface processing unit. And a control statement correction processing unit that stores the control statement of the corrected SG and the control statement of the uncorrected SG in the buffer. Correlation check processing unit for checking again whether or not there is a contradiction in the correlation between processors in the modified SG control statement stored in the buffer, and displaying the check result on the display device through the man-machine interface processing unit. It has and.

[0007]

In the SG correlation check / correction device of the present invention, SG control statements individually defined for each processor in a multi-processor system in which a plurality of processors operate in correlation are provided between the processors. When an inconsistency in the crossing correlation is detected, the man-machine interface processing unit displays information indicating the detected inconsistency on the display device. When the user sees this display and inputs the correction information from the input device, the man-machine interface processing unit inputs the correction information, and the control statement correction processing unit outputs the SG before correction based on the input correction information. Modify the control statement,
The corrected SG control statement and the uncorrected SG control statement are stored in an internal buffer, and then the correlation check processing unit has a correlation contradiction between processors regarding the modified SG control statement stored in the buffer. Is checked again, and the man-machine interface processing unit displays the check result on the display device.

[0008]

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

Referring to FIG. 1, one embodiment of the SG correlation check / correction apparatus of the present invention is a processing apparatus 1, a keyboard 2, a display 3, a printer 4, an SG control statement file 5, and a correlation. Check file 6 and modified S
The processing device 1 includes a G control statement file 7, and the processing device 1 includes a man-machine interface processing unit 11, a control statement reading unit 12, a correlation check information reading unit 13, and a control statement correction process including a control statement correction buffer 141. The correlation check processing unit 15 includes a unit 14 and buffers 151 and 152. Note that 9 is an SG creation tool, and 10 is an SG design document.

2 and 3 are flow charts for explaining the operation of the embodiment shown in FIG. 1. The operation of this embodiment will be described below with reference to the drawings.

The SG control statement of each processor in the multi-processor system created by the user using the known SG creation tool 9 with reference to the SG design document 10 is as follows:
It is stored in the SG control statement file 5. Further, the correlation check record showing the judgment criteria and the like when verifying the correctness of the correlation across the processors is stored in the correlation check file 6.

When the user gives an instruction to start the work from the keyboard 2 in order to check the correlation of the SG control statement stored in the SG control statement file 5 and correct it (S1 in FIG. 2), the processing unit 1 The man-machine interface processing unit 11 receives the instruction (S2), and instructs the correlation check processing unit 15 to start the work (S3).

The correlation check processing unit 15 first activates the control statement reading unit 12 (S4), and the activated control statement reading unit 12 checks the SG control statement of each processor to be checked from the SG control statement file 5. Read (S
5), the buffer 151 of the correlation check processing unit 15
(S6).

Next, the correlation check processing unit 15 activates the correlation check information reading unit 13 (S7), and the activated correlation check information reading unit 13 checks the correlation required for checking the SG control statement from the correlation check file 6. The check record is read (S8) and stored in the buffer 152 of the correlation check processing unit 15 (S9).

Next, the correlation check processing section 15 determines the S of each processor stored in the buffer 151 based on the content of the correlation check record stored in the buffer 152.
For the G control statement, the correctness of the correlation across the processors is verified, and all inconsistencies are identified (S10).

In the identification of the contradiction, when a factor which cannot be judged only from the information of the SG control statement of each processor is detected, the man-machine interface processing section 11 is used for various factors for the uncertain factor on the display 3. A message prompting the input of information is displayed, and the user proceeds with verification of the correlation according to the information input from the keyboard 2 in response to this message, and if a fatal contradiction is detected, man-machine interface processing is performed. Interactively, such as displaying the fact on the display 3 through the unit 11 and entrusting the user to decide the next work to be performed, and when the user inputs some instruction from the keyboard 2, the operation is restarted according to the instruction. Different methods are adopted.

When the correlation check processing unit 15 completes the identification of the inconsistencies, the correlation check processing unit 15 refers to the SG design document specification file 8 holding the conversion information between the SG design document 10 and the SG control sentence, and refers to the SG control sentence in the buffer 151. The original SG design document 10
The output information is edited by converting it to an SG design document having an expression close to the specification of (1) and adding a message indicating the content of the contradiction to the SG design document (S11). Then, this output information is passed to the man-machine interface processing unit 11 (S12), and the man-machine interface processing unit 11 sends it to the display 3
Is displayed on the screen (S13). Note that the same content may be output as a list from the printer 4 (S1).
4).

The above operation is performed even in the conventional correlation checking apparatus.

Now, a message indicating the SG design document and the inconsistency displayed on the display 3 by the user,
Based on the original SG design document 10, if all correct values that cause the inconsistency are input with correct values from the keyboard 2 and correction instructions are input (S2 in FIG. 3).
1) The man-machine interface processing unit 11 receives these and transmits them to the correlation check processing unit 15 (S2).
2).

When a correction instruction is given, the correlation check processing unit 15 receives the correct value for the incorrect value received from the man-machine interface processing unit 11 and the buffer 151.
The SG control statement is passed to the control statement correction processing unit 14 to instruct the correction (S23).

The control statement correction processing unit 14 stores the SG control statement passed from the correlation check processing unit 15 in the control statement correction buffer 141, and then uses the correct value for the illegal value also passed to cause each contradiction. Correct the part that became (S
24). Then, the corrected SG control statement is stored in the control statement correction buffer 141 (S25), and the correlation check processing unit 15 is notified of the end of the correction (S26).

Upon receiving this notification, the correlation check processing unit 15 reads the control statement of the modified SG stored in the control statement modification buffer 141 into the buffer 151 and stores it in the buffer 1
Correlation check based on the correlation check record stored in 52 is performed again to identify inconsistencies (S27).

When the contradictions have been identified,
Buffer 151 with reference to SG design document specification file 8
The SG control statement after modification is converted into an SG design statement having an expression close to the specifications of the original SG design document 10, a message indicating the content of the contradiction is added to the SG design statement, and the SG control statement before modification is used. The SG design document is added to edit the output information (S28). Then, this output information is passed to the man-machine interface processing unit 11 (S29), and the man-machine interface processing unit 11 sends it to the display 3
Is displayed on the screen (S30).

Here, if the user inputs correct correction information according to the message indicating the inconsistency displayed last time, all the inconsistencies are resolved, and the inconsistency remains in the corrected SG control statement. Therefore, the message indicating the inconsistency is not displayed on the display 3. However, if an incorrect correction is made due to an input error or the like, such a message will be displayed again. In this case,
By referring to the display on the display 3 and, if necessary, the original SG design document 10 and inputting the correct value for the incorrect value and instructing the correction again, the above-described correction processing is performed again as shown by the one-dot chain line in FIG. Be seen. This eliminates correction mistakes,
A complete SG control statement can be created.

When there is no contradiction, the user gives an instruction to create a modified file from the keyboard 2 (S31), and this instruction is sent via the man-machine interface processing unit 11 and the correlation check processing unit 15 to the control statement. The control statement correction processing unit 1 is transmitted to the correction processing unit 14 (S32).
4 outputs the corrected SG control statement in the control statement correction buffer 141 to the corrected SG control statement file 7 (S33).

[0026]

As described above, according to the SG correlation check / correction device of the present invention, the control statement is input by inputting correction information for correcting the detected inconsistency from an input device such as a keyboard. S automatically by the correction processing unit
The G control statement can be corrected, and the corrected SG control statement is automatically rechecked for correlation and the result is displayed on the display device. Compared with the conventional method that SG was corrected, the number of correction mistakes can be reduced and the correction time can be shortened.
Furthermore, if a correction mistake is made, it will be immediately detected by rechecking, so there is an effect that it is possible to prevent the correction mistake from being overlooked.

[Brief description of drawings]

FIG. 1 is a configuration diagram of a main part of an embodiment of the present invention.

FIG. 2 is a diagram showing a part of a flowchart for explaining the operation of the embodiment of the present invention.

FIG. 3 is a diagram showing the remaining part of the flowchart for explaining the operation of the embodiment of the present invention.

[Explanation of symbols]

 DESCRIPTION OF SYMBOLS 1 ... Processor 11 ... Man-machine interface processing part 12 ... Control sentence reading part 13 ... Correlation check information reading part 14 ... Control sentence correction processing part 141 ... Control sentence correction buffer 15 ... Correlation check processing part 151, 152 ... Buffer 2 … Keyboard 3… Display 4… Printer 5… SG control statement file 6… Correlation check file 7… Modified SG control statement file 8… SG design specification file 9… SG creation tool 10… SG design

Claims (1)

[Claims] 1. A contradiction of the correlation between the processors by inputting the control statement of the system static information individually defined for each processor in the multi-processor system in which the plurality of processors operate in correlation with each other. In the correlation checking device equipped with the function to detect, the man-machine interface processing unit that displays the information indicating the detected inconsistency on the display device and inputs the correction information from the input device, and A control statement of the pre-correction system static information is provided based on the modification information input from the input device by the man-machine interface processing unit, which has a buffer for holding the control statement of the control statement and the modified system static information. Store the modified and modified system static information control statement and the unmodified system static information control statement in the buffer. The text correction processing unit and the control statement of the corrected system static information stored in the buffer are checked again for inconsistencies in the correlations between processors, and the check results are checked by the man-machine interface processing unit. A correlation check / correction device for system static information, comprising: