JP2008084262A - Device, method and program for automatically generating program - Google Patents

Abstract

<P>PROBLEM TO BE SOLVED: To improve development efficiency and quality of a program. <P>SOLUTION: A state of the program is described from a state description function 12a, loop control transition which is one state transition between two states, self-transits a state at a link source when a reaction to an event is fewer than specific frequencies, and a loop control transition indicating transition to a state of a link destination is described from a loop control transition description function 12b when the specific frequencies are exceeded, regular transition indicating state transition other than the loop control transition is described from a regular transition description function 12c, the state, the loop control transition are created and the state transition 11a is created from the regular transition from a state transition drawing creation means 12. Then, a source code 3 comprised of a loop control code by which an event in execution is detected from the loop control transition, the current state is maintained if the generation frequencies of the event is equal to or less than the specific frequencies and processing by which the state is updated according to the loop control transition when the specific frequencies are exceeded and a regular processing code for attaining behaviors other than the loop control transition is generated from a source code generation means 13. <P>COPYRIGHT: (C)2008,JPO&INPIT

Description

  The present invention relates to an automatic program generation device, an automatic program generation method, and an automatic program generation program, and more particularly, an automatic program generation device, an automatic program generation method, and an automatic program for a program having an operation of changing a state to another state by counting up. It relates to the generation program.

  Conventionally, in the development of a program, when an electronic computer program is produced using a programming language such as an assembler or C language, means for directly describing the text in a text editor or the like has been used.

  On the other hand, when the scale of the program reaches a certain level, the text alone is poor in readability, and not only the design of the program but also a lot of labor is required for inspection, management and maintenance.

  Therefore, various techniques have been developed to solve such problems and to design software efficiently. For example, a description method of a tree structure diagram program called an HCP (Hierarchical and ComPacts description) chart (for example, see Patent Document 1) and a description method of a diagram program called a PAD (Problem Analysis Diagram) (for example, see Patent Document 2) Etc.). In software development for control systems, the use of software is described based on a state transition diagram consisting of multiple states and transitions between them, and a program is automatically generated from the described state transition diagram. A method for describing a program using a state transition diagram is also defined as a UML (Unified Modeling Language) state machine diagram.

The outline of this state transition diagram will be described below.
FIG. 12 is a description example of a conventional state transition diagram.
The outline of the state transition diagram will be described below with reference to FIG.

  The state transition diagram includes nodes representing states and arrow lines representing transitions between states. In addition, a transition condition indicating a condition in which the transition occurs may be added to each state transition.

  Specifically, it is as follows. That is, the state transition diagram 900 shows the state transition of the transition 911 from the state 1910 to the state 2920, the transition 921 from the state 2920 to the state 1910, and the transition 941 from the start state 940 to the state 1910. It has five elements: “state”, “transition”, “event”, “guard condition”, and “action”. In FIG. 12, for example, “eventX [condA] / actA” represents “event name [guard condition name] / action name”, and the same shall apply hereinafter.

The outline of the state transition in the state transition diagram 900 will be described below.
First, a transition 941 from the start state 940 to the state 1910 is generated.
Next, in state 1910, eventX 912 occurs, and when the guard condition cond 913 is met, act A 914 is performed, and a transition 911 from state 1910 to state 2920 occurs. Note that if it does not conform to cond A 913, that is, conforms to con nd A 913 b, act A 914 is performed, and self transition 911 b occurs in state 1910 and stays in state 1910.

  Also, in the state 2920, eventY922 occurs, and if it matches the guard condition condB923, actB924 is performed, and a transition 921 from the state 2920 to the state 1910 occurs.

As described above, in the state transition diagram 900, an event occurs, and a state transition occurs according to a condition conformance state.
Next, an outline of another state transition diagram will be described below.

FIG. 13 is another description example of the conventional state transition diagram.
The state transition diagram 900a shows the state transition of the transition 911 from the state 1910 to the state 2920, the transition 921 from the state 2920 to the state 1910, the transition 941a from the start state 940a to the state 1910, and the transition 911a from the state 1910 to the state 3930. It has six elements: “multiple states”, “transition”, “event”, “guard condition”, “action” and “count clear”.

  In such a state transition diagram 900a, a transition 911a from the state 1910a to the state 3930 is newly added to the state transition diagram 900 of FIG. In addition, since the count value is cleared when transitioning from the state 1910 to the state 2920 or the state 3930, the count clear (count = 0) 915, 915a is newly added.

The outline of the state transition of the state transition diagram 900a will be described below.
First, as in FIG. 12, the transition 941a from the start state 940a to the state 1910 is generated.

  Next, in state 1910, eventX 912 is generated, and if the guard condition cond 913 is met, actA 914 is performed, and a transition 911 from state 1910 to state 2920 occurs. If the count has a value at the time of this transition, the count value is cleared by count clear (count = 0) 915, and a state transition from the state 1910 to the state 2920 occurs.

  On the other hand, when condA 913 is not established and the count is smaller than the upper limit value of the count, for example, “5” in FIG. 13 (¬condAｃcount <5913b), a transition 911b to the state 1910 occurs. . Then, when ¬cond occurs continuously a plurality of times, the number of count values increases by 1 (count + 1914b).

  Further, when ¬cond continues five times and the sixth time occurs (count ≧ 5), a transition 911a from the state 1910 to the state 3930 occurs. At this time, since the count has a value, the count value is cleared by the count clear (count = 0) 915a, and the state transition from the state 1910 to the state 3930 occurs. The operation in which a transition occurs when the number of times of staying in the state 1910 exceeds the upper limit value is hereinafter referred to as a “loop control transition operation”.

  Next, in the state 2920, eventY922 is generated, and when the guard condition condB923 is met, actB924 is performed, and the transition 921 from the state 2920 to the state 1910 occurs.

As described above, in the state transition diagram 900a, an event occurs and a state transition occurs according to the adaptation of the condition.
JP-A-2-235144 Japanese Examined Patent Publication No. 6-40302 JP 7-78076 A

However, the program description method using the state transition diagram has the following problems.
In order to describe the loop control transition operation, it is necessary to describe many elements. That is, when considered as an automatic program generation device, it is necessary to describe all of the elements such as “state”, “event”, “guard condition”, “action”, “count clear”, and “count number upper limit”. . If even one of these elements is not described, there is a problem that automatic generation of the program is not performed correctly and the generated program does not operate correctly.

  In addition, the program having the loop control transition operation is introduced as software for incorporation into an industrial equipment device. When describing the operation of embedded software by using a state transition diagram, the loop control transition operation can be used together with a fixed-cycle event in order to detect a timeout error and wait for a certain period of time. It is an essential action that often appears and has a high frequency of appearance. For this reason, it is necessary to correctly describe a loop control transition operation that requires a large number of elements in order to realize an operation with a high appearance frequency in terms of software development efficiency and quality improvement.

  The present invention has been made in view of these points, and an object thereof is to provide an automatic program generation device, an automatic program generation method, and an automatic program generation program that can improve the development efficiency and quality of program development. To do.

  In the present invention, in order to solve the above-described problem, an automatic program generation device that generates source code from a state transition diagram includes a state description function that describes the state of a program and one state transition that links the two states. In response to an event, a loop control transition indicating that the state of the link source self-transitions when the event is less than or equal to the user's designated number of times, and transitions to the state of the link destination when the number of times exceeds the designated number of times. And a normal transition description function for describing a normal transition indicating the state transition other than the transition represented by the loop control transition, and according to a user operation input, State transition diagram creating means for creating the state transition diagram composed of state, loop control transition and normal transition, and created by the state transition diagram creating means When the state transition diagram storage unit that holds the state transition diagram and the generation instruction are input from the user, the loop control transition described in the state transition diagram that the state transition diagram storage unit holds Detecting the event that occurs, holding the number of occurrences of the event, maintaining the current state if the event is less than or equal to the specified number of times, and if the event exceeds the specified number of times, the state according to the loop control transition A loop control code describing the process, and generating a normal process code that realizes a behavior other than the loop control transition described in the state transition diagram, and the loop control code and the normal process code And an automatic program generation device comprising: a source code generation means for generating the source code comprising: That.

  According to such an automatic program generation device, the state description function describes the state of the program, and the loop control transition description function indicates one state transition between two states, and the reacted event is less than the specified number of times. During this period, a loop control transition indicating that the link source state self-transitions and transitions to the link destination state when the specified number of times is exceeded is described, and the normal transition description function indicates a state transition other than the loop control transition. The transition is described, and a state transition diagram is created from the state, the loop control transition, and the normal transition by the state transition diagram creating means. Then, the source code generation means detects an event at the time of execution from the loop control transition, and the current state is maintained when the number of occurrences of the event is less than or equal to the specified number of times. Source code including a loop control code indicating a process to be updated and a normal process code realizing behavior other than the loop control transition is generated.

  In order to solve the above problem, in the automatic program generation method for generating source code from the state transition diagram, the state description function describes the state of the program, and the loop control transition description function links the two states. In response to an event, the state of the link source self-transitions when the event is less than or equal to the number of times specified by the user, and transitions to the state of the link destination when the number of times exceeds the specified number of times. , The normal transition description function describes the normal transition indicating the state transition other than the transition represented by the loop control transition, and the state transition diagram creating means includes the state description function. The loop control transition description function and the normal transition description function, and according to a user operation input, the state, the loop control transition and the normal transition The state transition diagram configured by the state transition diagram storage unit is created, the state transition diagram storage unit holds the state transition diagram created by the state transition diagram creation unit, and the source code generation unit receives a generation instruction from the user And detecting the event occurring at the time of execution from the loop control transition described in the state transition diagram held by the state transition diagram storage means, holding the number of occurrences of the event, and the event is the specified number of times In the following cases, the current state is maintained, and when the specified number of times is exceeded, the state is updated according to the loop control transition, and a loop control code describing the process is generated and described in the state transition diagram. Generating a normal processing code for realizing a behavior other than the loop control transition, and the source code comprising the loop control code and the normal processing code Generating, automatic program generation method, characterized in that there is provided.

  According to such a program automatic generation method, the state of the program is described by the state description function, and one state transition for linking two states by the loop control transition description function, in response to the event, When the event is less than the user's specified number of times, the state of the link source self-transitions, and when the number of times exceeds the specified number of times, a loop control transition indicating that the state changes to the link destination state is described. A normal transition indicating a state transition other than the transition represented by the transition is described, and the state transition diagram creating means has a state description function, a loop control transition description function, and a normal transition description function. A state transition diagram composed of a loop control transition and a normal transition is created, and the state transition diagram creating unit creates a state transition diagram storing unit. When a transition diagram is held and a source code generation unit inputs a generation instruction from a user, an event that occurs at the time of execution is detected from the loop control transition described in the state transition diagram held by the state transition diagram storage unit If the number of event occurrences is retained, the current state is maintained if the number of events is less than or equal to the specified number of times, and the state is updated according to the loop control transition if the specified number of times is exceeded. At the same time, a normal processing code that realizes behavior other than the loop control transition described in the state transition diagram is generated, and a source code composed of the loop control code and the normal processing code is generated.

  In order to solve the above-mentioned problem, in a program automatic generation program for generating source code from a state transition diagram, a computer describes a state description function that describes the state of the program and one state transition that links the two states. A loop indicating that in response to an event, the state of the link source self-transitions while the event is less than or equal to the user's designated number of times, and when the number of times exceeds the designated number of times, the state of the link destination is transited to A loop control transition description function for describing a control transition, and a normal transition description function for describing a normal transition indicating the state transition other than the transition represented by the loop control transition, and according to a user operation input , A state transition diagram creating means for creating the state transition diagram composed of the state, the loop control transition and the normal transition, and the state transition State transition diagram storage means for holding the state transition diagram created by the creation means, and when a generation instruction is input from the user, from the loop control transition described in the state transition diagram held by the state transition diagram storage means Detecting the event that occurs at the time of execution, holding the number of occurrences of the event, maintaining the current state if the event is less than or equal to the specified number of times, and transitioning to the loop control if the specified number of times is exceeded The state is updated according to the above, a loop control code describing the process is generated, and a normal processing code that realizes behavior other than the loop control transition described in the state transition diagram is generated, and the loop control code and the A program that functions as source code generation means for generating the source code comprising normal processing code Dynamic generation program is provided.

  According to a computer that executes such an automatic program generation program, the state of the program is described by the state description function, and one state transition between the two states by the loop control transition description function. If the specified number of times is less than the specified number of times, the state of the link source will make a self-transition, and if the number of times exceeds the specified number of times, a loop control transition will be described indicating that the state will change to the link destination state. A normal transition indicating the transition is described, and a state transition diagram is created from the state, the loop control transition, and the normal transition by the state transition diagram creating means. Then, the source code generation means detects an event at the time of execution from the loop control transition, and the current state is maintained when the number of occurrences of the event is less than or equal to the specified number of times. Source code including a loop control code indicating a process to be updated and a normal process code realizing behavior other than the loop control transition is generated.

  In the present invention, one state transition for linking two states, in response to an event, the state of the link source self-transitions when the event is less than or equal to the user's designated number of times, and when the number of times exceeds the designated number, the link destination A loop control transition indicating that a transition is made to the state is described. Next, a normal transition indicating a state transition other than the transition represented by the loop control transition is described. Then, a state transition diagram including a state, a loop control transition, and a normal transition is created in accordance with a user operation input. Then, the source code generation means detects the event that occurs at the time of execution from the loop control transition described in the state transition diagram, holds the number of occurrences of the event, and maintains the current state if the number of events is less than the specified number In addition to generating a loop control code describing the process, a normal processing code that realizes behavior other than the loop control transition described in the state transition diagram is generated, and the source code composed of the loop control code and the normal processing code is It was made to generate. Thereby, the development efficiency and quality of the program development using the state transition diagram can be improved.

Hereinafter, embodiments of the present invention will be described in detail with reference to the drawings.
First, an outline of the invention will be described, and then an embodiment of the present invention will be described.
FIG. 1 is a schematic diagram of an embodiment.

  The automatic program generation device 10 shown in FIG. 1 automatically generates a program from a state transition diagram and a detailed description of transition conditions for each state transition. In the automatic program generation device 10, the state transition diagram creating means 12 is used via the input device 2 to create the state transition diagram 11 a, and the source code 3 is generated from the created state transition diagram 11 a. Is.

The automatic program generation apparatus 10 includes a state transition diagram storage unit 11, a state transition diagram creation unit 12, and a source code generation unit 13.
The state transition diagram storage unit 11 stores the state transition diagram 11 a created by the state transition diagram creation unit 12. As already described, the state transition diagram 11a is composed of nodes representing states and arrow lines representing transitions between states. In addition, a transition condition indicating a condition in which the transition occurs may be added to each state transition. However, the state transition diagram 11a in FIG. 1 does not describe details of each transition condition.

The state transition diagram creating means 12 has a state description function 12a, a loop control transition description function 12b, and a normal transition description function 12c.
In the state description function 12a, the user describes a node representing the state of the program via the input device 2.

  In the loop control transition description function 12b, in response to an event between nodes in two states among which the user is described in the state description function 12a via the input device 2, this event is less than or equal to the number of times specified by the user. During this period, the link source state changes itself. On the other hand, when the specified number of times is exceeded, the state transitions to the link destination state. The loop control transition description function 12b describes loop control transitions indicating these.

In the normal transition description function 12c, the user describes a state transition other than the transition represented by the loop control transition via the input device 2.
Then, the state transition diagram creating means 12 has these, and the user via the input device 2 "state", "loop control" by the state description function 12a, the loop control transition description function 12b, and the normal transition description function 12c. A state transition diagram 11a composed of “transition” and “normal transition” is created.

  Conventionally, in a state transition diagram having a loop control transition operation or the like, the loop control transition operation or the like has been composed of many elements. As described above, in the state transition diagram having the loop control transition operation and the like created by the state transition diagram creation unit 12, the elements constituting the loop control transition operation and the like are simplified, and the state transition diagram 11a is created. . The state transition diagram 11 a is stored in the state transition diagram storage unit 11.

  In the source code generation means 13, the program is automatically generated from the state transition diagram 11 a stored in the state transition diagram storage means 11 in the same manner as the prior art, and the source code 3 is generated.

  As described above, in the automatic program generation device 10, the state transition diagram 11a having a simplified loop control transition operation is described by the state transition diagram creation means 12 via the input device 2. Then, the source code generation means 13 automatically generates a program from the state transition diagram 11a in the same manner as the prior art, and generates the source code 3.

  From this result, when describing a state transition diagram having a loop control transition operation composed of a large number of elements, the user can simplify those elements and create a state transition diagram. Therefore, the state transition diagram can be easily described, and input errors such as elements can be prevented when describing the state transition diagram. The source code generation means 13 can generate the source code from the state transition diagram. Therefore, the development efficiency and quality of program development using a state transition diagram can be improved by such an automatic program generation apparatus.

Embodiments using the present invention will be described below with reference to the drawings.
This embodiment is composed of one program automatic generation device. A user can describe a state transition diagram using an automatic program generation device. Then, the source code of the program can be generated from the described state transition diagram.

  FIG. 2 is a diagram illustrating a hardware structure of the automatic program generation device. The entire automatic program generation apparatus 100 is controlled by a CPU (Central Processing Unit) 101. A random access memory (RAM) 102, a hard disk drive (HDD) 103, a graphic processing device 104, and an input interface 105 are connected to the CPU 101 via a bus 106.

  The RAM 102 temporarily stores at least part of an OS (Operating System) program and application programs to be executed by the CPU 101. The RAM 102 stores various data necessary for processing by the CPU 101. The HDD 103 stores an OS program and application programs.

  A monitor 21 is connected to the graphic processing device 104. The graphic processing device 104 displays an image on the screen of the monitor 21 in accordance with a command from the CPU 101. A keyboard 22 and a mouse 23 are connected to the input interface 105. The input interface 105 transmits a signal sent from the keyboard 22 or the mouse 23 to the CPU 101 via the bus 106.

With the hardware configuration as described above, the processing functions of the present embodiment can be realized.
Next, the module configuration of the automatic program generation device 100 will be described.

FIG. 3 is a block diagram illustrating functions of the automatic program generation device.
The automatic program generation device 100 includes a state transition diagram storage unit 110, a source code storage unit 120, a state transition diagram creation unit 130, and a source code generation unit 140.

The state transition diagram storage unit 110 stores the state transition diagram created by the state transition diagram creation unit 130.
The source code storage unit 120 stores the source code generated by the source code generation unit 140 automatically generating a program from the state transition diagram.

  The state transition diagram creation unit 130 includes a state description unit 131, a loop control transition description unit 132, and a normal transition description unit 133. Note that these can accept input from the user via the monitor 21 and the keyboard 22 and the mouse 23.

In the state description unit 131, a user describes a node representing a program state via the monitor 21 and the keyboard 22 and the mouse 23.
The loop control transition description unit 132 reacts to an event between two state nodes described in the state description unit 131, and sets the link source state as long as the event is less than the user-specified number of times. Transition. On the other hand, when the specified number of times is exceeded, transition to the link destination state is made. The loop control transition description unit 132 describes loop control transitions indicating these. Conventionally, in a state transition diagram having a loop control transition operation or the like, the loop control transition operation or the like is composed of a number of elements such as self transition and count operation. For this reason, it is necessary to describe all these elements in order to describe the loop control transition operation. However, the loop control transition description unit 132 does not need to describe all elements as in the conventional case, and can simplify the elements and describe the loop control transition operation.

In the normal transition description part 133, the user describes state transitions other than the transitions represented by the loop control transitions through the monitor 21 and the keyboard 22 and the mouse 23.
The state transition diagram creation unit 130 includes a state description unit 131, a loop control transition description unit 132, and a normal transition description unit 133. The “state transition”, “loop control transition”, and “normal” described by the state transition unit 131 are described below. A state transition diagram composed of “transition” is created. The state transition diagram created by the state transition diagram creation unit 130 is stored in the state transition diagram storage unit 110.

  The source code generation unit 140 generates source code from the state transition diagram. An example of the generation method will be described below. First, a simplified element is analyzed from the state transition diagram stored in the state transition diagram storage unit 110. Then, by adding the analysis result, the state transition diagram stored in the state transition diagram storage unit 110 is converted. Source code is automatically generated from the converted state transition diagram. The generated source code is stored in the source code storage unit 120.

  As described above, in the automatic program generation device 100, the state transition diagram creating unit 130 creates a state transition diagram having a simplified loop control transition operation. Then, the source code generation unit 140 analyzes the simplified element and adds the analysis result, thereby converting the state transition diagram stored in the state transition diagram storage unit 110 and converting the state. Source code is generated from the transition diagram. The generated source code is stored in the source code storage unit 120.

Next, automatic generation of a program will be described with reference to a specific state transition diagram using such an automatic program generation device 100.
FIG. 4 is a diagram showing a state having elements of a loop control transition operation.

As a first example, a case of a state transition diagram described using a state having an element of an upper limit value of the number of counts will be described.
In FIG. 4, in addition to the elements included in the state 1910 of FIG. 13, there are elements of the upper limit value of the number of counts (count up: 5210c) and elements of the operation of the loop control transition 211a.

FIG. 5 shows a state transition diagram described using the state 210 by the state transition diagram creating unit 130.
FIG. 5 is a state transition diagram of the first example.

  The state transition diagram 200 shows the state transition of the transition 211 from the state 1210 to the state 2220, the transition 221 from the state 2220 to the state 1210, the transition 241a from the start state 240a to the state 1210, and the transition 211a from the state 1210 to the state 3230. It has five elements: “multiple states”, “transition”, “event”, “guard condition”, and “action”.

The outline of the state transition of the state transition diagram 200 will be described below.
First, the transition 241a from the start state 240a to the state 1210 is generated.
Next, in the state 1210, eventX212 occurs, and when it matches the guard condition condA213, actA214 is performed, and the transition 211 from the state 1210 to the state 2220 occurs. At this time, if the count has a value, the count value is cleared and a state transition from the state 1210 to the state 2220 occurs.

  On the other hand, when the cond A 213 is not suitable, a self-transition occurs in the state 1210 when the count is smaller than the count-up: 5210c that is the upper limit value of the count. Each time self-transition occurs continuously, the number of count values increases by one.

  Furthermore, when the self-transition exceeds five times and the sixth time occurs, a transition 211a from the state 1211 to the state 3230 occurs. At this time, the count value is cleared and a state transition from the state 1210 to the state 3230 occurs.

  Next, in the state 2220, eventY222 is generated, and if it is suitable for the guard condition condB223, actB224 is performed, and the transition 221 from the state 2220 to the state 1210 occurs.

A process for generating a source code by the source code generation unit 140 from the state transition diagram 200 will be described below.
As one example of a method for automatically generating source code from a state transition diagram, simplified elements are analyzed from a state transition diagram having a simplified loop control transition operation created by the automatic program generation apparatus 100. Then, there is a method for generating a source code by automatically generating a program from a converted state transition diagram by converting a state transition diagram created by adding an analysis result. In the following, the state transition diagram conversion processing and the automatic program generation processing from the converted state transition diagram will be described in order by taking the state transition diagram 200 of FIG. 5 as an example.

  First, the process of converting the state transition diagram 200 by analyzing simplified elements from the state transition diagram 200 and adding the analysis result to the state transition diagram 200 will be described below with reference to the flowchart of FIG.

  FIG. 6 is a flowchart showing the processing procedure of the conversion by analyzing the state transition diagram and adding the analyzed elements. From the state transition diagram 200 created by the state transition diagram creation unit 130, the source code generation unit 140 analyzes the simplification element from the state transition diagram 200 stored in the state transition diagram storage unit 110, and obtains the analysis result. A process of converting the state transition diagram 200 stored in the state transition diagram storage unit 110 by adding the processing will be described with reference to FIG.

  [Step S11] The source code generation unit 140 receives the state transition diagram 200 from the state transition diagram storage unit 110. Then, a source file storage area corresponding to the element analyzed from the received state transition diagram 200 is secured.

  [Step S12] When the source code generation unit 140 receives the state transition diagram 200 from the state transition diagram storage unit 110, for the state having the loop control transition operation described in the state transition diagram 200, for example, state 1 in FIG. Then, the following processing from step S13 to step S18 is repeated.

  [Step S13] The source code generation unit 140 obtains an event (eventX212) in which a loop control transition operation occurs from the state transition diagram 200 received from the state transition diagram storage unit 110.

  [Step S14] The source code generation unit 140 acquires all the conditions (condA213) of the event (eventX212) acquired in step S13 from the state transition diagram 200 received from the state transition diagram storage unit 110.

  [Step S15] The source code generation unit 140 obtains the upper limit value (count up: 5210c) of the number of times that the loop control transition operation occurs from the state transition diagram 200 received from the state transition diagram storage unit 110.

  [Step S16] The source code generation unit 140 uses the elements acquired in Step S13, Step S14, and Step S15 to generate an event (“eventX” regarding the loop control transition of the state transition diagram 200 received from the state transition diagram storage unit 110. "), A condition (" ¬ condA∧count≥5 "), an action, and the like are added.

  [Step S <b> 17] The source code generation unit 140 uses the elements acquired in Step S <b> 13, Step S <b> 14, and Step S <b> 15 to generate an event (“eventX”) and a condition (“¬condA∧count < 5 "), an action (" count + 1 ") and the like are added.

[Step S18] The source code generation unit 140 adds count clear (“count = 0”) as an action to the transition from the selected state to another state.
[Step S19] The source code generation unit 140 converts the state transition diagram 200 from the state transition diagram storage unit 110 by adding the analyzed simplified element in the code storage area secured in step S11. Then, the converted state transition diagram 200 is output to a file, stored in the source code storage unit 120, and the conversion process of the state transition diagram 200 is completed.

Subsequently, the source code generation unit 140 performs the same processing as that of the following prior art on the state transition diagram 200 converted as described above.
That is, when an event that occurs at the time of execution is detected from the loop control transition described in the state transition diagram held by the state transition diagram storage unit 110 and the number of occurrences of this event is retained, Maintains the current state and generates a loop control code describing the process of changing this state according to the loop control transition when the specified number of times is exceeded. Along with this, a normal processing code that realizes behavior other than the loop control transition described in the state transition diagram is generated. Therefore, a source code composed of the loop control code generated in this way and the normal processing code is generated.

In this way, the source code generated by the source code generation unit 140 is held in the source code storage unit 120.
FIG. 7 shows an example of a source file generated by automatic program generation.

When the program is automatically generated from the converted state transition diagram by the process shown in the flowchart of FIG. 6, the source file 121 is automatically generated.
The conditional branch statement 121a is a code for changing the contents of subsequent processing according to the current state of the program. It is determined whether the current state is any of the states “STATE 1”, “STATE 2”, and “STATE 3” described in the state transition diagram.

The conditional branch statement 121b determines whether or not an event “eventX” occurs in the state “STATE1”.
When “eventX” occurs, it is determined whether the conditional branch statement 121c meets the condition “condA”. If they match, an action “actA ()” is generated, and the state “STATE 1” is changed to the state “STATE 2”. If the count has a value at the time of transition, the count is cleared (“count = 0”) and the transition is made.

  The conditional branch statement 121d does not conform to “condA”, and whether “countA” is smaller than the upper limit value of the number of counts (for example, “5” in FIG. 5) (“¬condA∧countA < 5 ″) is determined. When the condition here is true, it represents a self-transition, and a self-transition from the state “STATE1” to the state “STATE1” is performed, and “1” is added to the count (“count ++”).

  The conditional branch statement 121e does not conform to “condA”, and whether “countA” is equal to or greater than the upper limit value of the number of counts (for example, “5” in FIG. 5) (“¬condA∧countA ≧ 5”). ) Is judged. When the condition here is true, it represents a loop control transition, and transitions from the state “STATE 1” to the state “STATE 3”. At the time of transition, the count is cleared (“count = 0”).

In the conditional branch statement 121f, it is determined whether or not the event “eventY” occurs in the state “STATE2”.
If “eventY” occurs, it is determined whether the conditional branch statement 121g meets the condition “condB”. If they match, an action “actB ()” is generated, and the state “STATE 2” is changed to the state “STATE 1”. At the time of transition, if the count has a value, the count is cleared (“count = 0”) and the transition is made.

  Note that in the source file 121, only the action name is described at the location where the processing to be executed immediately before the state transition is to be described, but by inputting a code indicating the processing content by another means in advance, The code can be embedded in the action name position. Further, the user may edit the source code after generation.

  As described above, when describing a state transition diagram having a loop control transition operation composed of a number of elements, the user can simplify the elements and create a state transition diagram. For this reason, a state transition diagram can be described easily and input mistakes, such as an element, can be prevented. Then, the source code generation unit 140 automatically analyzes elements simplified from the state transition diagram. Then, by adding the element obtained by the analysis to the state transition diagram, it is converted into a state transition diagram composed of all the elements. Then, source code is generated from the converted state transition diagram. Therefore, the development efficiency and quality of program development using a state transition diagram can be improved by such an automatic program generation apparatus.

A state transition diagram to be programmed by such an automatic program generation device 100 will be described below with reference to examples of other state transition diagrams.
As a second example, a case of a state transition diagram in which an element of the upper limit value of the count number is described in the state transition will be described.

FIG. 8 is a diagram illustrating a state in which the state transition includes an element of a loop control transition operation.
In FIG. 8, in addition to the elements included in the state 1910 of FIG. 13, there are elements of the upper limit value of the number of counts (count up: 5310c) and elements of the operation of the loop control transition 311a.

FIG. 9 shows a state transition diagram described using the state 310 by the state transition diagram creating unit 130.
FIG. 9 is a state transition diagram of the second example.

  The state transition diagram 300 shows the state transition of the transition 331 from the state 1310 to the state 2320, the transition 321 from the state 2320 to the state 1310, the transition 341a from the start state 340a to the state 1310, and the transition 311a from the state 1310 to the state 3330. It has five elements: “multiple states”, “transition”, “event”, “guard condition”, and “action”.

The outline of the state transition of the state transition diagram 300 will be described below.
First, a transition 341a from the start state 340a to the state 1310 is generated.
Next, in state 1310, eventX312 occurs, and if it matches the guard condition condA313, actA314 is performed, and a transition 331 from state 1310 to state 2320 occurs. At this time, if the count has a value, the count value is cleared and a state transition from the state 1310 to the state 2320 occurs.

  On the other hand, when the cond A 313 is not suitable, a self-transition occurs in the state 1310 when the count is smaller than the count-up: 5310c which is the upper limit value of the count. Each time self-transition occurs continuously, the number of count values increases by one.

  Furthermore, when the self-transition exceeds five times and the sixth time occurs, a transition 311a from the state 1310 to the state 3330 occurs. At this time, the count value is cleared and a state transition from the state 1310 to the state 3330 occurs.

  Next, in the state 2320, eventY322 is generated, and if it is suitable for the guard condition condB323, actB324 is performed, and the transition 321 from the state 2320 to the state 1310 occurs.

  In the processing method for generating source code from the state transition diagram 300 by the source code generation unit 140, first, simplified elements are analyzed from the state transition diagram 300 and analyzed in the same manner as in the first example. The state transition diagram 300 is converted by adding the result. Then, from the converted state transition diagram 300, the source code can be generated by automatically generating the program in the same manner as in the prior art.

Next, as a third example, a case of a state transition diagram in which an element of the upper limit value of the number of counts is described in the state transition will be described.
FIG. 10 is another diagram showing a state having a loop control transition operation element in the state transition.

  In addition to the elements included in the state 1910 of FIG. 13, FIG. 10 includes an element of the upper limit value of the number of counts (count up: [5] 410c) and an element of the operation of the loop control transition 411a.

FIG. 11 shows a state transition diagram described using the state 410 by the state transition diagram creating unit 130.
FIG. 11 is a state transition diagram of the third example.

  The state transition diagram 400 shows the state transition of the transition 431 from the state 1410 to the state 2420, the transition 421 from the state 2420 to the state 1410, the transition 441a from the start state 440a to the state 1410, and the transition 411a from the state 1410 to the state 3430. It has five elements: “multiple states”, “transition”, “event”, “guard condition”, and “action”.

The outline of the state transition of the state transition diagram 400 will be described below.
First, the transition 441a from the start state 440a to the state 1410 is generated.
Next, in the state 1410, eventX412 occurs, and when it matches the cond A413 of the guard condition, actA414 is performed, and the transition 431 from the state 1410 to the state 2420 occurs. At this time, if the count has a value, the count value is cleared and a state transition from the state 1410 to the state 2420 occurs.

  On the other hand, if the cond A 413 is not suitable, a self-transition occurs in the state 1410 if the count is smaller than the count-up :: [5] 410c that is the upper limit value of the count. Each time self-transition occurs continuously, the number of count values increases by one.

  Furthermore, when the self-transition exceeds five times and the sixth time occurs, a transition 411a from the state 1410 to the state 3430 occurs. At this time, the count value is cleared and a state transition from the state 1410 to the state 3430 occurs.

  Next, in state 2420, eventY422 is generated, and if it is suitable for condB 423 of the guard condition, actB424 is performed, and transition 421 from state 2420 to state 1410 occurs.

  In the processing method for generating source code from the state transition diagram 400 by the source code generation unit 140, first, simplified elements are analyzed from the state transition diagram 400 in the same manner as in the first and second examples. The state transition diagram 400 is converted by adding the analysis result. Then, from the converted state transition diagram 400, a source code can be generated by automatically generating a program in the same manner as in the prior art.

  In the present embodiment, the source code described in the C language is generated. However, the automatic program generation device according to the present embodiment can be applied to various programming languages. The description of the generated source code is general-purpose content and can be applied to software development in various fields.

  As described above, the automatic program generation device, the automatic program generation method, and the automatic program generation program of the present invention have been described based on the illustrated embodiment, but the present invention is not limited to this, and the configuration of each unit is as follows. Any structure having a similar function can be substituted. Moreover, other arbitrary structures and processes may be added to the present invention.

  The above processing functions can be realized by a computer. In that case, a program describing the processing contents of the functions that the automatic program generation device 100 should have is provided. By executing the program on a computer, the above processing functions are realized on the computer. The program describing the processing contents can be recorded on a computer-readable recording medium. Examples of the computer-readable recording medium include a magnetic recording device, an optical disk, a magneto-optical recording medium, and a semiconductor memory. Examples of the magnetic recording device include a hard disk device (HDD), a flexible disk (FD), and a magnetic tape. Examples of the optical disc include a DVD (Digital Versatile Disc), a DVD-RAM, a CD-ROM (Compact Disc Read Only Memory), and a CD-R (Recordable) / RW (Rewritable). Examples of the magneto-optical recording medium include an MO (Magneto-Optical disk).

  When distributing the program, for example, portable recording media such as a DVD and a CD-ROM on which the program is recorded are sold. It is also possible to store the program in a storage device of a server computer and transfer the program from the server computer to another computer via a network.

  A computer that executes an automatic program generation device stores, for example, a program recorded on a portable recording medium or a program transferred from a server computer in its own recording device. Then, the computer reads the program from its own recording device and executes processing according to the program. The computer can also read the program directly from the portable recording medium and execute processing according to the program. Further, each time the program is transferred from the server computer, the computer can sequentially execute processing according to the received program.

It is a schematic diagram of an embodiment. It is a figure which shows the hardware structure of a program automatic generation apparatus. It is a block diagram which shows the function of a program automatic generation apparatus. It is the figure which showed the state which has the element of a loop control transition operation | movement. It is a state transition diagram of the 1st example. It is a flowchart which shows the process sequence of the conversion by the analysis of a state transition diagram, and the addition of the analyzed element. It is an example of a source file generated by automatic generation of a program. It is the figure which showed the state which has the element of loop control transition operation in a state transition. It is a state transition diagram of the 2nd example. It is another figure which showed the state which has the element of loop control transition operation in a state transition. It is a state transition diagram of the 3rd example. It is an example of description of the conventional state transition diagram. It is another example of description of the conventional state transition diagram.

Explanation of symbols

2 input device 3 source code 10 program automatic generation device 11 state transition diagram storage means 11a state transition diagram 12 state transition diagram creation means 12a state description function 12b loop control transition description function 12c normal transition description function 13 source code generation means

Claims (5)

In an automatic program generation device that generates source code from a state transition diagram,
A state description function that describes the state of the program and one state transition that links the two states. In response to an event, the state of the link source is self-reactive while the event is less than or equal to the number of times specified by the user. A loop control transition description function that describes a loop control transition indicating that a transition is made and the link destination state is transitioned when the specified number of times is exceeded, and the state transition other than the transition represented by the loop control transition is indicated. A state transition diagram creating means for creating the state transition diagram composed of the state, the loop control transition, and the normal transition in accordance with a user operation input. When,
State transition diagram storage means for holding the state transition diagram created by the state transition diagram creation means;
When a generation instruction is input from a user, the event occurring at the time of execution is detected from the loop control transition described in the state transition diagram held by the state transition diagram storage unit, and the number of occurrences of the event is retained. When the event is less than or equal to the specified number of times, the current state is maintained, and when the specified number of times is exceeded, the state is updated according to the loop control transition, and a loop control code describing the process is generated. Source code generation means for generating normal processing code that realizes behavior other than the loop control transition described in the state transition diagram, and generating the source code composed of the loop control code and the normal processing code; ,
A program automatic generation apparatus characterized by comprising: The loop control transition description function of the state transition diagram creating means sets the specified number of times specified by the user as an attribute of the state of the link source of the loop control transition,
The source code generation means generates the loop control transition based on the specified number of times set in the state of the link source of the loop control transition;
The automatic program generation device according to claim 1. The loop control transition description function of the state transition diagram creating means sets the specified number of times specified by the user as an attribute of the loop control transition,
The source code generation means generates the loop control transition based on the specified number of times set in the loop control transition;
The automatic program generation device according to claim 1. In an automatic program generation method for generating source code from a state transition diagram,
The state description function describes the state of the program, and the loop control transition description function is one state transition that links the two states, and the event is not more than the user-specified number of times in response to the event. Describes a loop control transition indicating that the state of the link source self-transitions and transitions to the link destination state when the specified number of times is exceeded, and a normal transition description function is represented by the loop control transition. The normal transition indicating the state transition other than the transition is described, and the state transition diagram creating means has the state description function, the loop control transition description function, and the normal transition description function, and according to a user operation input, Creating the state transition diagram composed of the state, the loop control transition and the normal transition;
State transition diagram storage means holds the state transition diagram created by the state transition diagram creation means,
When a source code generation unit receives a generation instruction from a user, the source code generation unit detects the event that occurs during execution from the loop control transition described in the state transition diagram held by the state transition diagram storage unit, and A loop describing a process that holds the number of occurrences of an event, maintains the current state when the event is less than or equal to the specified number of times, and updates the state according to the loop control transition when the specified number of times is exceeded A control code is generated, a normal processing code that realizes a behavior other than the loop control transition described in the state transition diagram is generated, and the source code composed of the loop control code and the normal processing code is generated. ,
A method for automatically generating a program. In an automatic program generation program that generates source code from a state transition diagram,
Computer
A state description function that describes the state of the program and one state transition that links the two states. In response to an event, the state of the link source is self-reactive while the event is less than or equal to the number of times specified by the user. A loop control transition description function that describes a loop control transition indicating that a transition is made and the link destination state is transitioned when the specified number of times is exceeded, and the state transition other than the transition represented by the loop control transition is indicated. A state transition diagram creating means for creating the state transition diagram composed of the state, the loop control transition, and the normal transition in accordance with a user operation input. ,
State transition diagram storage means for holding the state transition diagram created by the state transition diagram creation means;
When a generation instruction is input from a user, the event occurring at the time of execution is detected from the loop control transition described in the state transition diagram held by the state transition diagram storage unit, and the number of occurrences of the event is retained. When the event is less than or equal to the specified number of times, the current state is maintained, and when the specified number of times is exceeded, the state is updated according to the loop control transition, and a loop control code describing the process is generated. Source code generation means for generating normal processing code that realizes behavior other than the loop control transition described in the state transition diagram, and generating the source code composed of the loop control code and the normal processing code;
An automatic program generation program characterized in that it functions as a program.

Images