WO2001059532A1

WO2001059532A1 - Control program generating method, apparatus thereof, storage medium, and program

Info

Publication number: WO2001059532A1
Application number: PCT/JP2001/000897
Authority: WO
Inventors: Kenji Obata; Koji Mishima; Yutaka Yamada
Original assignee: Daikin Industries, Ltd.
Priority date: 2000-02-10
Filing date: 2001-02-08
Publication date: 2001-08-16
Also published as: AU3224901A

Abstract

A control program generating apparatus comprising a section (1) for holding a structured model, a section (2) for creating a heard file based on the structured model, a section (3) for defining a definition code of state variables based on the structured model, a DFD activator function defining section (4) for defining a DFD activator function code for moving the execution to an initial state designator connected with a state belonging to the highest level based on the structured model, and a DFD execution function defining section (5) for defining a DFD execution function code to be called after executing the DFD activator function. Erroneous write of a control program due to misinterpretation is prevented and the productivity of control program increases.

Description

Description Control program generation method, device thereof, storage medium, and program

The present invention relates to a program generation method, a device thereof, and a storage medium, and more particularly, to a control program generation method capable of easily, accurately, and in a short time creating a control program, a device thereof, and a control program generation. The present invention relates to a storage medium storing a program for performing the above. Background art

Conventionally, when developing a control program, the required specifications were examined to create a functional specification, and based on this functional specification, the design specifications were examined and an external specification was created. It is common to perform a series of operations to create a control program consisting of source codes by performing programming based on the source code. Of course, the created control program is tested, and if there is any inconvenience, debugging is performed, and the above series of work is performed based on the debugging result.

When the above-mentioned control program development process is adopted, the creator of the functional specification, the creator of the external specification, and the programmer are different people, and the creator and interpreter of each specification are different from each other. Even if each specification is accurate, if the expression is ambiguous or incomplete, there is a high possibility that misinterpretation will be performed. In such a case, the created control program will It will not work properly.

In addition, since humans perform programming, it is highly likely that mistakes will be embedded in the control program. Gram does not work properly.

As a result, the debugging process, the modification of each specification based on the debugging process results, and the programming based on the revised specification must be repeated. And, as the number of corrections increases, not only does the reliability of the control program decrease, but these corrections take a long time and reduce productivity.

SUMMARY OF THE INVENTION The present invention has been made in view of the above problems, and a control program generation method, an apparatus thereof, and a control program capable of preventing erroneous creation of a control program due to an interpretation error and improving productivity of the control program. It aims to provide storage media. Disclosure of the invention

The control program generation method according to claim 1 is a data flow diagram representing the input / output relationship of data between processes, and a state that is paired with each data flow diagram, and that the start / stop of the process and the data processing are represented in a condition-driven manner. Creates a hierarchically structured model that includes a transition diagram and uses multiple processes to determine output data from input data, and provides a condition judgment code for making judgments on the current state based on the state transition diagram. This is a method for generating an action code that responds to the condition determination result.

The control program generation method according to claim 2, wherein the structured model further includes a data processing description diagram representing a data processing method for determining output data from input data in a corresponding process. This is a method of generating condition judgment code and action code in consideration of the above.

The control program generation device according to claim 3 is a data flow diagram representing the input / output relationship of data between processes, and a state that is paired with each data flow diagram, and represents a process start, a Z stop, and data processing in a condition-driven manner. Input data including transition diagram A structured model holding means for creating and holding a hierarchical structured model using multiple processes that determine output data from the data, and for making a judgment on the current state based on a state transition diagram And a function code generating means for generating an action code responsive to the result of the condition determination.

5. The control program generation device according to claim 4, wherein the structured model holding unit is a dictionary managing unit that creates and holds dictionary data for interpreting a description included in a structured model including a data flow diagram and a state transition diagram. The control program generation device according to claim 5, further comprising a data processing description diagram representing a data processing method for determining output data from input data in a corresponding process, as the structured model. And the condition determination code generation means and the action code generation means which generate a condition determination code and an action code in consideration of a data processing method are also adopted.

A storage medium according to claim 6 stores a computer program for executing the processing procedure according to claim 1 or 2.

The program of claim 7 causes a computer to execute the processing procedure of claim 1 or claim 2.

According to the control program generation method of claim 1, it is paired with the data flow diagram showing the data input / output relationship between the processes and each data flow diagram, and also starts the process Z stop and conditionally drives the data processing. Creates a hierarchical structured model using multiple processes that determine output data from input data, including a state transition diagram expressed in terms of types, and performs judgment on the current state based on the state transition diagram Since the condition judgment code is generated and the action code that responds to the condition judgment result is generated, the structured model can be created in a clear and complete state, and easily and accurately. And actions Code can be generated, which can prevent a malfunction of the control program and increase productivity.

3. The control program generating method according to claim 2, wherein the structured model further includes a data processing description diagram representing a data processing method for determining output data from input data in a corresponding process. Since the condition judgment code and the action code are generated in consideration of the above, a more accurate control program can be generated in addition to the effect of the wording request 1. With the control program generation device of claim 3, it is paired with the data flow diagram showing the data input / output relationship between processes and each data malo diagram, and starts the process Z stop and drives data processing conditionally Including a state transition diagram represented by a type, a hierarchical structured model is created using a plurality of processes for determining output data from input data, and the hierarchical model is held in the structured model holding means. Based on the state transition diagram, it is possible to generate a condition determination code for making a determination on the current state, and to generate an action code responding to the condition determination result by the action code generation means.

Therefore, the structured model can be created and maintained in a clear and complete state, and the condition determination code and the action code can be easily and accurately generated, and the control program Can be prevented from malfunctioning, and productivity can be improved.

In the control program generating apparatus according to claim 4, as the structured model holding means, dictionary data for interpreting a description included in a structured model including a data flow diagram and a state transition diagram is created. Since the system further includes a dictionary management unit that retains the dictionary, it is possible to eliminate the restriction on the language for the description included in the structured model and to achieve the function of claim 3. . The control program generation device according to claim 5, wherein the structured model is a data processing that determines output data from input data in a corresponding process. A method that further includes a data processing description diagram representing a method is employed, and the condition determination code generation means and the action code generation means generate a condition determination code and an action code by considering a data processing method. Since this is adopted, a more accurate control program can be generated in addition to the effect of claim 3 or claim 4.

The storage medium of claim 6 achieves the same operation as that of claim 1 or claim 2 by causing a computer to execute a computer program that executes the processing of claim 1 or claim 2 using a computer. be able to.

With the program of claim 7, the same operation as that of claim 1 or claim 2 can be achieved by causing a computer to execute the processing procedure of claim 1 or claim 2. BRIEF DESCRIPTION OF THE FIGURES

FIG. 1 is a schematic diagram showing an example of a structured model.

FIG. 2 is a schematic diagram showing a conventional notation and a notation of the present invention in a state transition diagram.

Figure 3 is a schematic diagram showing a configuration of an air conditioner _n

FIG. 4 is a diagram showing a top-level DFD chart corresponding to the air conditioner (air conditioner) in FIG.

FIG. 5 is a diagram showing a lower layer DFD chart corresponding to a process of controlling an air conditioner.

FIG. 6 is a view showing a CSPEC chart corresponding to the DFD chart of FIG.

FIG. 7 is a diagram showing a PSP ECC lower-order layer corresponding to the process of stopping a fan.

Fig. 8 shows the PSPEC key in the lower hierarchy corresponding to the process of operating the fan. It is a figure which shows a chart.

FIG. 9 is a diagram showing a PSPEC chart of the lower hierarchy corresponding to the process of closing the flap.

FIG. 10 is a diagram showing a lower layer DFD chart corresponding to the process of adjusting the wind direction.

FIG. 11 is a diagram showing a CSPEC chart corresponding to the DFD chart of FIG.

FIG. 12 is a schematic diagram showing a generated code created from a DFD chart and a corresponding CSPEC chart.

FIG. 13 is a schematic diagram showing an example of a DFD chart and a corresponding CSPEC chart.

FIG. 14 is a schematic diagram showing the generated code created from the DFD chart of FIG. 13 and the corresponding CSPEC chart.

FIG. 15 is a schematic diagram showing a refinement of the DFD chart of FIG. 13 and the corresponding CSPEC chart.

Figure 16 is a schematic diagram showing the generated code created for each refinement in Figure 15

FIG. 1 is a schematic diagram showing another example of a CSPEC chart.

FIG. 18 is a diagram for explaining the correspondence between the state of the CSPEC chart and the classes.

FIG. 19 is a schematic diagram showing a generated code of the DFD activator function. _C FIG. 20 is a schematic diagram showing a generated code of the pass 1 in the DFD execution function.

FIG. 21 is a schematic diagram showing a generated code of the bus 2 among the DFD execution functions.

FIG. 22 is a schematic diagram illustrating the execution order of the transition flow. FIG. 23 is a schematic diagram for explaining the execution order of the parallel group.

FIG. 24 is a schematic diagram showing a generation code of the always-on process.

FIG. 25 is a schematic diagram showing a state transition diagram of a parallel group and a corresponding generated code.

FIG. 26 is a schematic diagram showing a state transition diagram using a dynamic timer and corresponding generated code.

FIG. 27 is a schematic diagram showing a state transition diagram using an integration timer.

FIG. 28 is a schematic diagram showing a part of the generated code corresponding to the state transition diagram of FIG. 27,

FIG. 29 is a schematic diagram showing the rest of the generated code corresponding to the state transition diagram of FIG.

FIG. 30 is a schematic diagram showing a state transition table and a corresponding state transition diagram. FIG. 31 is a schematic diagram showing the generated code corresponding to FIG.

FIG. 32 is a schematic diagram showing a function corresponding to the branching process from the switch connector shown in FIG. 30 (b) and a coding corresponding to the activator function shown in FIG. 30 (a).

FIG. 33 is a schematic diagram showing the coding corresponding to the pass 1 function and the pass 2 function in (a) of FIG. 30,

FIG. 34 is a schematic diagram showing an action table.

FIG. 35 is a schematic diagram showing the coding corresponding to FIG.

FIG. 36 is a block diagram showing an embodiment of the control program generation device of the present invention.

FIG. 37 is a block diagram showing another embodiment of the control program generation device of the present invention. BEST MODE FOR CARRYING OUT THE INVENTION S

Hereinafter, with reference to the accompanying drawings, embodiments of a control program generation method and an apparatus thereof according to the present invention will be described in detail.

FIG. 1 is a schematic diagram showing an example of a structured model.

The highest level (first level) of this structured model is a process 1 that inputs data A and outputs data B and data C, and a process 2 that inputs data C and data D and outputs data E. And a state transition diagram CS PEC corresponding to the data flow diagram DFD. The next higher level (second level) corresponds to process 1, which is process 1 1 that inputs data A and outputs data X, and process 1 that inputs data X and outputs data B and data C 2 A data flow diagram DFD 1 having the following, a second data flow diagram A state transition diagram CSPEC 1 corresponding to DFD 1, and a processing method for determining data E from data C and data D corresponding to process 2. It has a data processing description diagram PSPEC 2 that describes the method.

The third layer corresponds to the process 11 and includes a process 111 that outputs data Y with data A as an input and a process 111 that outputs data X with data Y as an input. Flow diagram DFD 11 and this data flow diagram State transition diagram corresponding to DFD 11 CS PEC 11 and corresponding to process 12 Data 1000 and data B and output data G and C And a state transition diagram CS PEC 12 corresponding to the data flow diagram DFD 12.

It should be noted that there are further lower layers corresponding to the processes 111 and 112, but these are not shown. In addition, the illustration of a global variable declaration header, a data dictionary including a global variable definition header, and a constant dictionary including a constant definition header is omitted. These dictionaries are used to interpret each description (including descriptions in natural language) in the structured data model data diagram, state transition diagram, and data processing description diagram. In the structured model described above, a hierarchical model is described centering on the process of determining output data from input data, so that the entire software can be easily grasped. In this structured model, a data flow diagram (DFD chart) that mainly describes the data input / output relationship between processes is paired with a DFD chart for each layer, and the processes in the DFD chart are activated. / State transition diagram (CSP EC chart) describing stop and data processing.

In the DFD chart, input / output data of the state transition diagram can be described. The processes in the DFD chart are representative of multiple processes (see process 1), those that represent simple data processing (see process 2), and those that represent state transition diagrams that perform data processing (process 1). 2).

Therefore, a process that represents a plurality of sub-processes is composed of a DFD chart that describes the sub-process and a CSP EC chart that describes the start / stop of the sub-process in this DFD chart. You will have it as

A process that represents simple data processing has no subprocess, and has only a data processing description diagram (PSPEC chart) that describes data processing as its lower hierarchy. However, the PSPEC chart has no lower hierarchy.

The process that represents the state transition diagram that performs data processing includes a DFD chart that has no subprocess and describes the input / output relationship of data to and from the state transition diagram, and a state transition diagram that describes the data processing below its own. It will have in the hierarchy.

Next, generation of a program from a structured model will be described. In the following description, code generation which is a structural unit of a program will be described. In addition, except for code generation from the PSP EC channel, code generation from state transition diagrams io

The main is.

FIG. 2 is a diagram comparing the conventional state transition diagram {see FIG. 2 (A)} with the state transition diagram of the present invention {see FIG. 2 (B)}.

In the state transition diagram (A) in Fig. 2, the initialization of the process and the description of the process activation are required for all transitions to the process activation state, and the process transition is applied to all transitions from the process activation state. A stop description is required. On the other hand, these descriptions are unnecessary in the state transition diagram in (2) in FIG.

In addition, in the state transition diagram (第) in Fig. 2, when adding a new state or transition flow, the process operation (initialization, start / stop) must be described, and the second description is forgotten. In such a case, there is a risk that the state transition diagram will be different. On the other hand, in the state transition diagram of (Β) in Fig. 2, these dangers do not exist at all because these descriptions are unnecessary from the beginning.

Furthermore, in the state transition diagram in (2) in Fig. 2, it is not possible to confirm the state in which the process is started unless all transitions are verified. On the other hand, in the state transition diagram in (2) in Fig. 2, it is clear that the process is started only by describing the process start in the state. Therefore, good visibility can be achieved with respect to unauthorized multiple activation of a process. As can be seen from FIG. 2, the conventional state transition diagram is described as an event driven type, whereas the state transition diagram of the present invention is described as a condition driven type. In this condition-driven state transition diagram, the description of the event is omitted because it is assumed that only a single type of event (process execution) exists. Therefore, only the transition condition is described in the condition transition flow.

In addition, when there are multiple transitions from a certain state and multiple transition conditions are satisfied at the same time, the problem at the time of simultaneous establishment is solved by describing the judgment order for the transitions from the same state. I do.

Furthermore, a state based on each of the parent-child processes in the hierarchical state If there is a transition, the transition condition from the parent process is determined first, and the transition condition based on the state of the lower layer is determined in order.

Further explanation will be given.

For the state variables indicating the current state in the state transition diagram, it is necessary to prepare the minimum number of variables that can identify the state according to the number of existing states and the state hierarchy. In response to this request, it is preferable that the input editing support function of the structured model be provided with a function for automatically securing necessary variables, so that the operator does not need to secure variables. Specifically, for each hierarchical class (level) of state, the necessary memory is allocated so that the state within that class can be identified. However, for the parallel groomer, the independent name can be identified for each gel.

Operation of transition condition / transition function part

In the present invention, since the event type is considered to be a single type, the transition condition that needs to be determined differs depending on the current state (current state). Therefore, first, a judgment block relating to the current state (current state judgment block) is created, and in the current state judgment block, judgment of a transition condition based on the state (occurrence of state transition) is performed.

In the transition condition judgment part, the condition judgment code for judging the transition condition and the action code when the condition judgment is satisfied are described. Event that causes state transition (omitted single-type event) Since only one transition occurs at a time, if any transition condition determination block is satisfied, no further transition determination is performed „

In the action code part when the transition condition judgment is satisfied, the change code of the state variable accompanied by the transition and the execution code of the transition function are generated.

Operation of the action part in the state

In the present invention, an action can be described in a state. Note in state The described action is performed if the current state is in that state. Strictly speaking, the actions in the state are executed immediately after the transition to that state due to a certain transition, and when the state remains in that state due to the failure of the transition condition.

If the in-state action is described in each of the hierarchical parent-child states, code is generated to execute the actions in the child state in order after executing the in-state actions in the parent state. .

Self-declaration of the process

In the second invention, a process can be described in the function in the state. The process described in the function in the state is started at the time of transition to that state, and is always started as long as the state transition stays at that state:

In the second invention, the behavior of such a process is decomposed into two processes of process initialization and process execution to generate a code.

The process initialization is an initialization process for initializing a process, for example, initializing state variables in a state transition diagram and initializing internal data of the process. Preferably, in the automatic program generation function, code is generated as a process initialization function (activator).

Process execution is the process execution of a process, and executes the part as an event of the state transition and the in-state action after the transition (including when there is no transition). In the second invention, the process is initialized at the time of transition to the state where the process is described or the child's state, and the process is executed when there is a process described in the state after the transition.

By generating code in this way, the start and stop of multiple processes can be represented by a state transition diagram. Even in a hierarchical process, the execution of multiple processes can be controlled in the same way by executing the process (single event) for the top-level process.

In addition, since the process can be described in the action in the state, the state transition diagram 3

Efficiency at creation Z safety can be improved.

Next, creation of a structured model will be described using an air conditioner as an example.

Incidentally, the air conditioner together with and an indoor unit 1 and the outdoor unit 2, reference and a remote control 3 for performing far隔操operation (in FIG. 3 (A)} and _r, The non-lap operation is set to 0 (deg) when stopped, and to be 20 to 120 (deg) when swinging 60 (deg) at the start of operation (see (B) in Fig. 3). The specifications of this air conditioner are set as follows. The second air conditioner is exclusively for cooling.

Pressing the operation button starts operation, and pressing it again stops operation. However, operation cannot be resumed for 1 minute after the stop.

Wind is emitted from the indoor unit during operation, and does not come out when stopped

While stopped, the flap is closed {0 (d e g)}. At the start of operation, it is opened up to 60 (deg) once. When the swing button is pressed, the flap swings in the range of 20 to 120 ■ d e g). If you press the swing button again during the swing, the flap stops immediately. When the swing button is pressed again, it starts moving in the direction it was moving before stopping and restarts the swing.

During operation, adjust the temperature by moving the outdoor unit so that the room temperature becomes the set temperature. However, to prevent hunting of the operation and stop of the outdoor unit, move the outdoor unit when the indoor temperature rises above the set temperature. When the indoor temperature drops 1 ° C below the set temperature, stop the outdoor unit.

If you press the OFF timer button during operation, it will stop after one hour. If the timer button is pressed again before one hour has passed, the timer is released.

The first-level DFD chart created based on the above specifications DFD 0 As shown in Fig. 4, the process of controlling the air conditioner, the process of managing Monitoring process and running the fan It has a process, a “moving outdoor unit” process, and a “moving flap” process. Then, the operation request, set temperature, swing request, and off timer request are supplied from the “remote control” process to the “air conditioner” process, and the “room temperature control” process “controls the air conditioner”. Room temperature is supplied to the process, the fan is switched from the “control the air conditioner” process to the “activate the fan” process, and the outdoor unit is supplied to the process from the “control the air conditioner” to the “activate the outdoor unit” process. The target flap angle is supplied from the “controlling the air conditioner” process to the “moving the flap” process, and the flap angle is currently supplied from the “moving the flap” process to the “controlling the air conditioner” process.

The second layer DFD chart DFD 1 corresponding to the “controlling the air conditioner” process is as shown in Fig. 5, and the CS PEC chart CS PEC 1 corresponding to this DFD chart DFD 1 is the sixth chart. As shown in the figure. This DFD chart DFD 1 has a process of “stopping the fan”, a process of operating the fan, a process of “closing the flap”, and a process of “adjusting the wind direction”. Request, set temperature, room temperature, off Shows a state transition diagram that outputs the outdoor unit operation with the timer request as input, and the CS PEC chart CSP EC 1 starts / stops these processes and inputs A state transition diagram for enabling data as output data is described.

Third-level PSP EC tickets corresponding to the “Stop Fan” process, “Run Fan” process, and “Flap Close” process PS PEC 1.1, PS PEC 1.2, PS PEC 1.3 is shown in Fig. 7, Fig. 8, and Fig. 9.

The DFD 1.4 of the 3rd hierarchy corresponding to the “adjust wind direction” process is shown in Fig. 10, and the swing request, the flap movement method, and the current flap angle are used as inputs. Output the flap angle, It shows a state transition diagram in which the flap movement direction is input and the flap movement direction is output. The CS PEC chart CSPEC 1.4 corresponding to the DFD chart DFD 1.4 is as shown in Fig. 11, and the description corresponding to the above state transition diagram is made.

Next, code generation from the structured model will be described.

The structured model is generated as a set of functions in units of DFD charts and PSPEC charts. Here, the DFD chart is code-generated as one function, and the control structure of that function is made to correspond to the contents of the corresponding CSPEC chart (see Fig. 12). The access to the tough word described in the DFD chart is coded as the access to the global variable.

Specifically, if a DFD chart having a process X and a process Y and a CSPEC chart corresponding to the DFD chart are given as shown in FIG. As shown in the figure, code consisting of "Common header include declaration", "Definition and declaration of state variable", "Declaration of DFD activator function", and "Declaration of DFD execution function" is generated.

This will be described in more detail.

The DFD chart shown in Fig. 13 has process X and process Y, where process X has a lower-level PSPEC chart and process Y has a lower-level DFD chart and CS PEC chart. (Refer to Fig. 15) _{c The} structured model refines functions by layering charts. When generating code, the details down to the lower layer are coded in the form of “function calls”. Become

The code generation of “Detailing by DFD chart” (detailing of process Y in FIG. 15) is performed by coding the initialization processing and the start-up processing respectively (in FIG. 16 (A)).

Initialization processing is required for code generation of "Details by PSPEC chart" ί b

Instead, only the startup process needs to be performed (see (B) in Fig. 16):

The code generation of the “state transition table” requires the same initialization processing as the code generation of “DFD chart refinement”. In addition, the processing of pass 1 (state transition processing) and the refinement of the state transition table It is necessary to start the chart (pass 2) (processing of the state action) (see (C) in Fig. 16). Unlike the state transition table, the coding of the "action table" is different from the initialization processing and bus. No processing is required, only pass 2 processing is required (see (D) in Fig. 16).

FIG. 17 is a diagram showing another specific example of the CSPEC chart. Then, _Q describing the execution order of the state transition diagram with reference to the second CSPEC Chiya one DOO

The execution order in the CSPEC chart is the always-on process (before), the process in the one-state transition diagram → the always-on process (after).

The execution order of the state transition diagram is determined by the following conditions.

(1) Processing of transition flow conditions and actions is performed in the order of “parent state” to —child state ”.

(2) If there are parallel grooves that are processed in parallel with each other, evaluation is performed in ascending order of “execution order” set in the parallel group.

ί 3) When multiple transition flows are issued from one “state”, evaluation is performed in ascending order of “execution order” set in the transition-row.

Therefore, in the case of Fig. 17, the transition flow is evaluated in the following order _c

(1) Transition flow of "Trigger condition E", transition flow of "Trigger condition A" (However, according to the setting of "Execution order" of transition flow)

(2) Trigger condition D

(3) Trigger condition C transition flow

Next, the generated code will be described in detail.

''"Common header include declaration" \ The common header includes the header file included at the beginning of the generated code, including header files commonly required in automatically generated code, such as type declarations, variable declarations, constant definitions, timer-related definitions, and prototype declarations. It is described as follows.

"Definition and Declaration of State Variables"

A state variable is a variable that holds information about which “state” on the chart is being executed, and is declared as a structure having members as many as the required class IDs. That is, one state variable is assigned to one chart. Here, the class ID is an identifier assigned on a CSPEC channel basis, and indicates to which layer of the “state” the “state” belongs.

Specifically, when the CSPEC chart and the class are associated as shown in (A) and (B) in FIG. 18, the state variables are displayed as shown in (C) in FIG. Is coded (it is assigned to uns 〖gnedchar type here, but it can be assigned to the minimum necessary bits). The declaration of the state variable is coded as shown in Fig. 18 (D). "Declaration of DF activator function"

The DFD activator function is a function for performing initialization processing of the DFD execution function, and performs processing for transferring execution to an “initial state specifier” connected to “state belonging to the highest hierarchy” on the chart.

Specifically, taking the CSPEC chart shown in Fig. 13 as an example, as shown in Fig. 19, the state variables are set to "undefined" and the processing of the "DFD execution function" is initialized. Coding (see the part surrounded by the solid line) and the processing of the “undefined state”, that is, the coding of the processing of the initial state specifier at chart startup (see the part surrounded by the dotted line) Done.

"Declaration of DFD execution function"

DFD execution function is a function called after execution of DFD activator function The control structure corresponding to the CSPEC

It consists of “Path 1” that performs state transition processing (processing that performs “state transition judgment” and “execution of transition action”), and “path 2” that performs state action processing.

Specifically, taking the CSPEC chart shown in FIG. 13 as an example, "pass 1" is coded as shown in (A) and (B) in FIG. The coding in (A) in FIG. 20 is performed for states 1 to 4, and the coding in (B) in FIG. 20 shows only a part of the coding in an enlarged manner. In the coding of (B) in FIG. 20, the portion surrounded by a solid line indicates, in order from the top, the determination processing of “state”, the determination processing of “transition condition”, and the determination processing of “transition action”. This is the process of setting the process and status variables to the transition destination “status”.

For "pass 2", coding is performed as shown in (A) and (B) in FIG. The coding in (A) in FIG. 21 is performed for states 1 to 4, and the coding in (B) in FIG. 21 shows only a part of the coding in an enlarged manner. In the coding shown in (B) in FIG. 21, the portion surrounded by a solid line is a “state” determination process and a “state action” process in order from the top.

In addition, the execution order of the generated code can be specified at a predetermined position in the structured model, and the generated code changes according to the specified order. In other words, if multiple “transition flows” are described in a certain state, it is possible to specify which transition flow to evaluate from in the execution order. However, if it is not explicitly specified, it is assumed that any transition flow may be evaluated, and evaluation is performed in an appropriate order. Also, since the “parallel group” is a notation that indicates that there is a “child state” that transitions in parallel within a certain “state”, it is necessary to always specify the execution order. The code for "pass 2" changes. Of course, the control structure is divided into groups.

Specifically, there is a transition flow from “state A” to state B and state C. Condition 2 and condition 1 are evaluated first and condition 1 is evaluated first.

In this case, the generated code is generated as shown in (A) and (B) in Fig. 22, respectively. Also, of the concurrent groups (concurrent A that transitions from state A to state B and parallel B that transitions from state C to state D), the parallel Α is evaluated first and the parallel Β is evaluated. In the case where the evaluation is required first, the generated codes are generated as shown in (A) and (B) in FIG. 23, respectively.

Furthermore, while the DFD chart is running, the process that is always running is the “always running process”, and this “always running process” is not controlled by the state transition diagram of the CSPEC cast. It is executed before and after “Pass 1” processing and “Pass 2” processing in “Function”. The code corresponding to the activation of the “always-on access acces” is the portion enclosed by the solid line in FIG. In addition, state 1 includes a parallel group / lave 1 that transitions from state 3 to state 4 and a parallel group 2 that transitions from state 5 to state 6, and furthermore, transitions from state 1 to state 2. The code corresponding to the "parallel group" {see Fig. 25 (A)} is as shown in Fig. 25 (B). In this coding, the part surrounded by a solid line is, in order from the top, the processing of “parallel group 1” and the platform that transitioned from state belonging to “parallel group 1” to state 2 outside state 1. This is a determination to not perform the processing of “parallel groove ⁼ 2”, and the processing of “parallel gray 2”. That, _c the control structure to determine the "parallel grooves 2" and "parallel group 1" is generated separately

In addition, “dynamic timers” may be used in “transition flows”. The second “Dynamic Timer” is initialized when transitioning to “Dynamic Timer Use State”, and is checked in the transition flow conditioned on waiting for the dynamic timer. In the example of (A) in Fig. 26, when the initial state specifier transits to "state 1", the initialization by "set T 1 mer" and the start of the timer (start of counting) by "start T lmer" are performed. Done. In the transition flow to `` state 2, '' `` check T 2c imer "is waiting for the" operation timer ". Then, the code corresponding to the transition flow in (A) in FIG. 26 is as shown in (B) in FIG. In this coding, the parts surrounded by solid lines are, from the top, the processing of timer initialization, processing of timer count start, and processing of timer check.

Furthermore, in the “transition flow”, an “integration timer” may be used. This “integration timer” is initialized when it transits to “state” in the “integration timer group”, and is checked in a transition flow that is conditioned on waiting for the “integration timer”. If the “destination state when transitioning from the integration timer use state j” is “state” in the “integration timer group”, the “integration timer” is suspended, and the “state” in the “integration timer group” If the transition to the “integration timer use state” is made, the “integration timer” restarts. In the example shown in Fig. 27, the transition from "state 1" to "state 2", the transition from "state 4" to "state 3", or the transition from the initial state specifier to "state 2" At the time of transition, initialization by "setT1mer" and start of timer (start of counting) by "startTimer" are performed. In the transition flow from “State 3” to “State 2”, the “operation timer” is waited for in “checkTimer”, and during this transition, the “accumulation timer” is temporarily stopped. Furthermore, when transitioning from “state 2” to “state 3”, the “integration timer” is restarted. The codes corresponding to the transition flow in FIG. 27 are as shown in FIGS. 28 and 29. Of the two encodings, the part enclosed by the solid line is the processing of timer initialization, processing of timer initialization, processing of timer checking, in the order of Fig. 28 and Fig. 29, and from top to bottom. These are timer stop processing, timer stop processing, timer count start processing, timer initialization processing, and timer count start processing.

The “state transition table” (“state transition table”) is an abbreviated table of a state transition diagram, and is described as a table including three items of “judgment order”, “transition condition”, and “action”. (See (A) in Fig. 30). The “state transition table” is shown in Fig. 30. It is coded as an equivalent state transition diagram as shown in (B). Then, the code corresponding to the state transition table of (A) in FIG. 30 is as shown in FIG. The part surrounded by a solid line in this coding is, from the top, processing for activating the state transition table, processing for path 1 of the state transition table, and processing for path 2 of the state transition table. .

The activator function of the state transition diagram in (B) of Fig. 30 is as shown in (B) of Fig. 32. From the switch connector in the state transition diagram of (B) of Fig. 30, The function corresponding to the branching process in Fig. 32 is as shown in (A) in Fig. 32. In the coding in (A.) in Fig. 32, the part surrounded by the dotted line is The transition condition judgment of (d) in (B) of FIG. 30, the transition condition judgment of (B) {e in FIG. 30, and the transition condition judgment of (c) in (B) of FIG. In FIG. 30, the bus 1 function in the state transition diagram of B 1 is as shown in FIG. 33 (A, and the path 2 function in the state transition diagram of FIG. 30 (B) is in FIG. 33. As shown in (B), and after the coding in (A) in Fig. 33, the parts surrounded by dotted lines are activated in order from the top in the state transition diagram in (B) in Fig. 30. Transition judgment when The transition condition judgment of (g) in (B), the transition condition judgment of (h) in (B) of FIG. 30, and the transition condition judgment of (f) in (B) of FIG. The part enclosed by the dotted line in the coding of (B) is the transition condition judgment of (d) in (B) of Fig. 30, and the (B) '. This is the transition condition judgment of (c) in (B) of Fig. 30. Furthermore, the "action table" is one action described in the state, and is executed according to the condition. It is used to change the action, and the relationship between the condition and the action is represented as a table consisting of three items: “judgment order”, “execution condition”, and “action” (see Fig. 34). In the coding of (A) in Fig. 35, the part surrounded by a solid line is "

7 ”processing. (B) in Fig. 35 shows the details of this process. / Yon table ”shows execution of the first line, execution of the second line, and execution of the third line. Therefore, as can be seen from (B) in Fig. 35, the generated code is a sequence of simple i ί sentences.

By adopting the above embodiment, the structured model can be configured clearly and accurately with the DFD chart and the CSPEC chart as a pair, and the code can be automatically generated based on the structured model. Therefore, it is possible to automate code generation that requires the most man-hours, to achieve a significant reduction in man-hours as a whole of control program development, and to prevent program errors caused by human error. In addition, the entire structured model, models below a certain process, state transition diagrams, generated code, etc. can be reused according to the required level, and reusability can be improved.

FIG. 36 is a block diagram showing an embodiment of the control program automatic generation device of the present invention.

This control program automatic generation device has a structured model storage unit 1 that holds a structured model, a header file created based on the structured model Based on the structured model, the state variable definition creation unit 3 that creates state variable definition codes based on the state model is connected to the state that belongs to the highest level, and the execution is transferred to the initial state specifier. DFD activator function creation unit 4 that creates a DFD activator function code for the DFD execution function creation unit 4 that creates a DFD execution function code to be called after the execution of the DFD activator function based on the structured model , An always-on process creation unit 6 that creates an always-on process code based on the structured model, a created header file, state variable definition code, and DFD factories. Over data function code, and a code holding unit 7 for holding DFD executed function code, and the permanent boot process code in a predetermined order. The processing in each unit has already been described in the above description of the control program generation method. 説明 The description is omitted here.

When the control program automatic generation device having this configuration is adopted, first, the structured model is held by the structured model holding unit 1, and the header file is created by the header file creating unit 2 based on the held structured model. To create the definition code of the state variable by the state variable definition creation part 3 and to transfer the execution to the initial state specifier connected to the state belonging to the highest hierarchy by the DFD activator function creation part 4. Creates DFD activator function code, creates DFD execution function code to be called after execution of DFD activator function by DFD execution function creation unit 5, creates always-on process code by always-on process creation unit 6, and holds code Part 7 holds these created source codes. After that, the source code can be converted into an actual operation form (binary code) by compiling it.

However, the DFD execution function creating unit 5 creates a state determination processing code, a transition condition determination processing code, a transition action processing code, a processing code for setting a state variable to a transition destination state, and the like. Adopted is one that has a path 1 creation section, a path 2 creation section that creates state judgment processing code, state action processing code, etc., a transition flow, and an execution order setting section that sets the execution order of parallel groups. Is preferred.

FIG. 37 is a block diagram showing another embodiment of the control program automatic generation device of the present invention.

The control program automatic generation device includes a structured model management unit 11 including a chart management unit and a dictionary management unit, and a chart / dictionary editing unit 1 for exchanging data between the structured model management unit 11 and the structured model management unit 11. 2, a chart / dictionary check unit 13 that receives data from the structured model management unit 11 as input, and a code generation chart group setting holding unit 14 that receives data from the chart management unit. And the character 4- State variable definition creation unit that receives data from the management unit, initialization block creation unit that receives data from the ticket management unit, and state transition determination that uses data from the channel management unit as input. And execution block (pass 1) creation block, state-independent processing block that receives data from the chart management section (pass 2) creation block, state-independent processing block that receives data from the cache management section (Continuous startup process) A code generation unit 15 including a state transition diagram conversion unit including a creation unit, a replacement unit that receives data from the chart management unit and the dictionary management unit, and a code generation parameter holding unit 16 , A chart that receives data from the structured model management unit 11 and the print setting holding unit 18, a Z dictionary printing unit 17, a print setting holding unit 18, a state variable definition creation unit, and an initialization block creation Department State transition judgment and execution block (pass 1) creation unit, in-state processing block (.pass 2) creation unit, state-independent processing block (always running process) Program that inputs data from creation unit and replacement unit And a source code holding unit 19 including a header file holding unit that receives data from the file holding unit and the replacement unit. The function of each part is clear from the description of the control program automatic generation method, and therefore, detailed description is omitted. “GUI” indicates user interface.

When the control program automatic generation device having the above configuration is employed, the same operation as the control program automatic generation method or the control program automatic generation device can be achieved. Industrial applicability

By employing the control program generation method and apparatus of the present invention, it is possible to prevent erroneous creation of a control program due to an erroneous interpretation, and to increase the productivity of control programs.

Claims

-5 Claims

1. Includes a data flow diagram that represents the input / output relationship of data between processes, and a state transition diagram that is paired with each data flow diagram, and that represents process start, stop, and data processing in a condition-driven manner. Create a hierarchical structured model using multiple processes to determine output data,

Based on the state transition diagram, a condition judgment code for making a judgment on the current state is generated,

Generate a fax code that responds to the result of the condition judgment

A control program generation method characterized by the following two points.

2. The structured mogil further includes a data processing description diagram representing a data processing method for determining output data from input data in a corresponding process, and a condition determination code and an action code are also taken into consideration in consideration of the data processing method. The control program generation method according to claim 1, wherein the control program is generated.

3. Includes a data flow diagram that represents the input / output relationship of data between processes, and a state transition diagram that is paired with each data flow diagram and that indicates the process start, Z stop, and data processing in a condition-driven manner, and outputs from input data. A structured model holding means (1) (11) for creating and holding a hierarchical structured model using a plurality of processes for determining data;

Condition judgment code generation means (5) (15) for generating a condition judgment code for making a judgment on the current state based on the state transition diagram;

Function code generating means (5) (15) for generating an action code responding to the condition determination result

A control program generation device characterized by the above-mentioned.

4. The structured model holding means (15) creates dictionary data for interpreting the description included in the structured model including the data flow diagram and the state transition diagram. 4. The control program generation device according to claim 3, further comprising a dictionary management unit that holds the data in 2fc.

5. The structured model further includes a data processing description diagram representing a data processing method for determining output data from input data in a corresponding process, and the condition determination code generating means (5) (15) ), Action code generation means

(5) The control program generation device according to claim 3 or 4, wherein the condition generation code and the function code are generated in consideration of a data processing method.

6. A storage medium storing a computer program for executing the processing procedure of claim 1 or claim 2.

7. A gram that causes the computer to execute the processing procedure of claim 1 or claim 2.