JP2007299082A - Source code generation device, source code generation method, and source code generation program - Google Patents

Abstract

<P>PROBLEM TO BE SOLVED: To select a description format of the transition conditions of a state transition diagram from among a plurality of description formats, and to generate a source code having a structure suitable for the selected description format from the state transition diagram. <P>SOLUTION: A state transition diagram storage means 11 stores a state transition diagram 2. An input screen display means 12 displays an input screen equipped with a selection region for selecting the description format of the transition conditions and a description region for describing transition conditions. A transition condition information acquiring means 13 accepts an operation input to the input screen, and acquires transition condition information 4 equipped with the information of the selected description format and the description of the transition conditions. A source code generation means 14 generates a decision code by using a decision code generating function corresponding to the description format from the description of each transition condition, and generates a processing code describing any processing other than the condition decision from the state transition diagram 2, and synthesizes the processing code and the decision code, and outputs a source code 5. <P>COPYRIGHT: (C)2008,JPO&INPIT

Description

  The present invention relates to a source code generation device, a source code generation method, and a source code generation program for generating a program source code, and more particularly to a source code generation device, a source code generation method, and a source code for generating a program source code from a state transition diagram. It relates to the generation program.

  Currently, as software executed on a computer becomes larger and more complicated, a wide variety of diagrams are used to efficiently design software. For example, when designing software in which the state of a program changes according to the result of processing to be executed, a state transition diagram is used. 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. The state transition diagram is also adopted as a state machine in UML (Unified Modeling Language), which is a standardized model description language, and is widely used. By describing the state transition diagram, developers can easily understand the behavior of the program.

  On the other hand, in order for software to be executed on a computer, the source code of the program must be finally written. Therefore, the developer needs to describe the state transition diagram and design it, and then write the source code again based on the design. The double task of describing the state transition diagram and describing the source code is a heavy burden on the developer.

Therefore, in order to reduce the workload of developers, a technology is known that automatically generates the source code of a program that realizes the behavior represented by the state transition diagram from the state transition diagram to which transition conditions are added. (For example, refer to Patent Document 1). In this method, source code including a variable that stores a value indicating the current state and a function that updates the value of the variable when a transition condition described in the state transition diagram is satisfied is generated. This greatly reduces the burden of developing software whose state changes during program execution.
JP 7-78076 A

  However, the technique described in Patent Document 1 has a problem that the transition condition description method is fixed, and the structure of the generated source code is constant regardless of the description contents of the transition condition. When describing a transition condition, there is a demand to change the description format in accordance with the properties such as the complexity of the condition. For example, a simple transition condition can be described concisely by using a logical expression, while a complicated transition condition can be described more easily by describing a calculation procedure for performing condition determination. In addition, if the correspondence between the description of the transition condition and the source code is fixed, a source code having a structure with extremely low processing efficiency may be generated depending on the description format. For example, even if the description of the transition condition is a simple description consisting of only one logical expression, redundant source code having a complicated structure may be generated.

  The present invention has been made in view of the above points, and the description format of the transition condition of the state transition diagram can be selected from a plurality of description formats, and source code having a structure suitable for the selected description format is obtained. It is an object to provide a source code generation device, a source code generation method, and a source code generation program that are automatically generated from a state transition diagram.

  In the present invention, in order to solve the above problem, in a source code generation device that generates a source code of a program from a state transition diagram, a state transition diagram that describes the state of the program and the state transition relationship between the states is stored. For each of the state transitions of the state transition diagram storage unit and the state transition diagram stored in the state transition diagram storage unit, a plurality of preset description formats of transition conditions indicating conditions under which the state transition occurs are set. An input screen display means for displaying an input screen comprising a selection area to be selected from the description format list and a description area for describing the transition condition according to the selected description format; and display by the input screen display means The transition condition information including the selected description format information and the transition condition description is received. A transition condition information acquisition means to be obtained, and a determination code generation function for generating a determination code for performing a condition determination from the transition condition described according to the description format in association with each description format selectable on the input screen. When the transition condition information acquisition unit acquires the transition condition information for all the state transitions of the state transition diagram stored in the state transition diagram storage unit, the transition condition information is obtained for each state transition. The determination code generation function corresponding to the description format shown is called to generate the determination code, and a processing code describing processing other than the condition determination is generated from the state transition diagram, and the generated processing code and Source code generation means for synthesizing all the determination codes and outputting the source code of the program Source code generating device is provided, wherein.

  According to such a source code generation device, an input screen including a selection area for selecting a transition condition description format and a description area for describing a transition condition for each state transition of the state transition diagram is displayed by the input screen display means. Is displayed. Next, the transition condition information acquisition means acquires transition condition information including information in the description format selected on the input screen and the description of the input transition condition. Then, the source code generation means generates a determination code having an appropriate structure according to the description format of each transition condition, and also generates a processing code describing processing other than the condition determination from the state transition diagram. The code and the determination code are combined to generate a program source code.

  In order to solve the above problem, in the source code generation method for generating the source code of the program from the state transition diagram describing the state of the program and the state transition relationship between the states, the input screen display means includes a state Selection for selecting a description format of a transition condition indicating a condition in which the state transition occurs for each of the state transitions stored in the transition diagram storage means from a list of a plurality of preset description formats An input screen including an area and a description area for describing the transition condition according to the selected description format is displayed, and a transition condition information acquisition unit performs an operation input on the input screen displayed by the input screen display unit To obtain transition condition information including information on the selected description format and a description of the transition condition, and generate source code Has a determination code generation function for generating a determination code for performing a condition determination from the transition condition described according to the description format in association with each of the description formats selectable on the input screen. When the condition information acquisition unit acquires the transition condition information for all the state transitions of the state transition diagram stored in the state transition diagram storage unit, the description format indicated by the transition condition information for each state transition The corresponding determination code generation function is called to generate the determination code, a processing code describing processing other than the condition determination is generated from the state transition diagram, and the generated processing code and all the determination codes A source code generation method is provided that outputs the source code of a program by synthesizing.

  According to such a source code generation method, an input screen including a selection area for selecting a transition condition description format and a description area for describing a transition condition is displayed for each state transition in the state transition diagram. Next, transition condition information including the description format information selected on the input screen and the input transition condition description is acquired. Then, a determination code having an appropriate structure is generated according to the description format of each transition condition, and a processing code describing processing other than the condition determination is generated from the state transition diagram, and the processing code and the determination code are The source code of the program is generated by synthesis.

  In order to solve the above problem, in the source code generation program for generating the source code of the program from the state transition diagram, the computer describes a state transition diagram describing the state of the program and the state transition relationship between the states. A state transition diagram storage means for storing, a plurality of preset description formats of transition conditions indicating conditions under which the state transition occurs for each of the state transitions of the state transition diagram stored in the state transition diagram storage means Input screen display means for displaying an input screen comprising a selection area to be selected from the list of description formats and a description area for describing the transition condition according to the selected description format, and displayed on the input screen display means The operation input to the input screen is received, and the selected description format information and the transition condition description are provided. Transition condition information acquisition means for acquiring transition condition information, a determination code for generating a determination code for performing a condition determination from the transition condition described according to the description format corresponding to each description format selectable on the input screen Having the generation function, and when the transition condition information acquisition unit acquires the transition condition information for all the state transitions of the state transition diagram stored in the state transition diagram storage unit, for each state transition The determination code generation function corresponding to the description format indicated by the transition condition information is called to generate the determination code, and a processing code describing processing other than the condition determination is generated from the state transition diagram and generated. Source code generating means for synthesizing the processing code and all the determination codes and outputting a source code of the program; Source code generator for causing the function is provided.

  According to the computer that executes such a source code generation program, the input screen display means, for each state transition of the state transition diagram, selects a selection area for selecting a transition condition description format and a description area for describing the transition condition. An input screen is provided. Next, the transition condition information acquisition means acquires transition condition information including information in the description format selected on the input screen and the description of the input transition condition. Then, the source code generation means generates a determination code having an appropriate structure according to the description format of each transition condition, and also generates a processing code describing processing other than the condition determination from the state transition diagram. The code and the determination code are combined to generate a program source code.

  In the present invention, the description format of the transition condition can be selected from the list on the input screen, and the code for performing the condition determination is generated using the determination code generation function corresponding to the selected description format. As a result, the developer can select an appropriate description format according to the nature of the transition condition and the like, and can generate source code having a structure suitable for the selected description format. Therefore, no redundant source code is generated regardless of which description format is selected, and the processing efficiency of the generated program is improved.

Hereinafter, embodiments of the present invention will be described in detail with reference to the drawings. First, an outline of the present invention will be described, and then specific contents of the embodiment will be described.
FIG. 1 is a conceptual diagram of the invention applied to the embodiment. The source code generation device shown in FIG. 1 automatically generates source code from a state transition diagram and a detailed description of transition conditions for each state transition. The source code generation device 10 includes a state transition diagram storage unit 11, an input screen display unit 12, a transition condition information acquisition unit 13, and a source code generation unit 14.

  The state transition diagram storage means 11 stores a state transition diagram 2 describing the states 2a and 2b of the program and the relationship of the state transition 2c between the states 2a and 2b. The developer describes the state transition diagram 2 in advance and stores it in the state transition diagram storage means 11. However, details of each transition condition are not described in the state transition diagram 2.

  The input screen display unit 12 displays an input screen for describing details of the transition condition on the input / output device 3 for each state transition of the state transition diagram 2 stored in the state transition diagram storage unit 11. The displayed input screen includes a selection area for selecting a transition condition description format from a list of a plurality of preset description formats, and a description area for describing the transition condition according to the selected description format. .

  The transition condition information acquisition unit 13 receives an operation input for the input screen displayed on the input / output device 3, and acquires the transition condition information 4 including the information in the selected description format and the description of the input transition condition.

  The source code generation unit 14 generates, for each description format selectable on the input screen, determination code generation functions 14a, 14b, 14c,... That generate a determination code for performing a condition determination from the transition conditions described in the description format. have. Here, when the transition condition information acquisition unit 13 acquires the transition condition information for all the state transitions of the state transition diagram 2 stored in the state transition diagram storage unit 11, the source code generation unit 14 starts the source code generation process. To do.

  First, the source code generation unit 14 generates a determination code by calling a determination code generation function corresponding to the description format indicated by the transition condition information 4 for each state transition. For example, when the description format is a logical expression, the determination code generation function 14a is called. Next, the source code generation unit 14 generates a processing code describing processing other than the condition determination from the state transition diagram 2. Then, the source code generation unit 14 synthesizes the generated processing code and all the determination codes and outputs the source code 5 of the program. The output source code 5 describes a specific processing procedure for realizing the behavior of the state transition diagram 2.

  According to such a source code generation device 10, the input screen display unit 12 displays an input screen including a selection area of a description format and a description area of a transition condition for each state transition in the state transition diagram 2. Is displayed. Next, the transition condition information acquisition unit 13 receives an operation input on the input screen, and acquires the transition condition information 4 including the information in the selected description format and the description of the input transition condition. Then, the source code generation unit 14 generates a determination code having an appropriate structure according to the description format of each transition condition, and also generates a processing code describing processing other than the condition determination from the state transition diagram 2. The processing code and the determination code are combined to generate the source code 5 of the program.

  As a result, the developer can select a suitable description format according to the nature of each transition condition and describe the transition condition, and can generate source code having a structure suitable for the selected description format. Therefore, no redundant source code is generated regardless of which description format is selected, and the processing efficiency of the generated program is improved. In addition, by selecting an appropriate description format, the developer can easily describe and understand the transition condition, and can prevent an input error of the developer. As a result, the quality of the generated program is also improved.

  Hereinafter, embodiments of the present invention will be described in detail with reference to the drawings. This embodiment is composed of one source code generation device 100. A developer can describe a state transition diagram using the source code generation device 100, and can generate a source code from the described state transition diagram.

  FIG. 2 is a diagram illustrating a hardware configuration of the source code generation device. The entire source code 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 107.

  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 20 is connected to the graphic processing device 104. The graphic processing device 104 displays an image on the screen of the monitor 20 in accordance with a command from the CPU 101. A keyboard 31 and a mouse 32 are connected to the input interface 105. The input interface 105 transmits a signal sent from the keyboard 31 and the mouse 32 to the CPU 101 via the bus 107.

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

  FIG. 3 is a block diagram illustrating functions of the source code generation device. The source code generation device 100 includes a state transition diagram storage unit 110, a source file storage unit 120, a state transition diagram creation unit 130, a transition condition description unit 140, a state transition diagram confirmation unit 150, and a source code generation unit 160. The state transition diagram creation unit 130, the transition condition description unit 140, and the state transition diagram confirmation unit 150 can accept input from the developer through the keyboard 31 and the mouse 32. In addition, the state transition diagram creation unit 130, the transition condition description unit 140, the state transition diagram confirmation unit 150, and the source code generation unit 160 can display the processing result on the screen of the monitor 20.

  The state transition diagram storage unit 110 stores a file in which the state transition diagram is described. In the state transition diagram, the state of the program and the transition relationship between the states are described. In addition, the state transition diagram storage unit 110 stores transition condition information associated with each state transition in the state transition diagram. The transition condition information includes information indicating a description format of the transition condition and details of the transition condition described according to the description format.

The source file storage unit 120 stores a file in which the generated source code is described.
The state transition diagram creation unit 130 creates a state transition diagram based on the input from the developer. Here, the state transition diagram creating unit 130 has a function of visually assisting the developer to draw the state transition diagram. For example, when a button displayed on the screen edge of the monitor 20 is pressed, an ellipse representing a state is arranged in the drawing area. Then, the state transition diagram creation unit 130 saves the created state transition diagram in a file and stores it in the state transition diagram storage unit 110.

  When one state transition is selected from the state transition diagrams created by the state transition diagram creating unit 130 and displayed on the monitor 20 by the input from the developer, the transition condition description unit 140 describes the transition condition. Displays a selection screen for selecting a format.

  In this embodiment, three description formats of a logical expression, a determination function, and a logic circuit are prepared as selectable description formats. A logical expression is an expression that can be determined to be true or false by assigning a specific value to a variable. The determination function is a function that returns true or false as a return value, and includes a code that describes a calculation procedure performed in the process of determining true or false. The logic circuit is a circuit that outputs a true or false value based on an input value. A logic circuit can be converted into a logical expression having an equivalent meaning.

  Here, when one description format is selected on the selection screen displayed on the monitor 20, the transition condition description unit 140 displays an input screen for describing the transition condition according to the selected description format. When the description of the transition condition is input on the displayed input screen, the transition condition description unit 140 displays the transition condition information including the information of the selected description format and the description of the input transition condition in the selected state. It is stored in the state transition diagram storage unit 110 in association with the transition.

  When an instruction to generate source code is input, the state transition diagram confirmation unit 150 refers to the state transition diagram storage unit 110 to confirm whether a state transition diagram necessary for generating source code has been created. In addition, the state transition diagram confirmation unit 150 confirms whether transition condition information has been created for all state transitions in the state transition diagram. If the description is incomplete, the state transition diagram confirmation unit 150 displays that fact on the monitor 20. If there is no deficiency, the state transition diagram confirmation unit 150 passes the state transition diagram stored in the state transition diagram storage unit 110 and all transition condition information to the source code generation unit 160.

  The source code generation unit 160 includes a logical expression conversion unit 161, a determination function conversion unit 162, and a logic circuit conversion unit 163. The logical expression conversion unit 161 generates a determination code for performing a condition determination from the transition condition described in the logical expression format. The determination function conversion unit 162 generates a determination code from the transition condition described in the determination function format. The logic circuit conversion unit 163 generates a determination code from the transition condition described in the logic circuit format.

  Upon receiving the state transition diagram and the transition condition information, the source code generation unit 160 generates a determination code for each state transition by calling a generation function corresponding to the transition condition description format. Specifically, when the description format is a logical expression, the source code generation unit 160 calls the logical expression conversion unit 161. When the description format is a determination function, the source code generation unit 160 calls the determination function conversion unit 162. When the description format is a logic circuit, the source code generation unit 160 calls the logic circuit conversion unit 163.

  In addition, the source code generation unit 160 generates a processing code describing processing other than the condition determination from the state transition diagram. Then, the source code generation unit 160 embeds the generated determination code in the generated processing code and generates a source code. Thereafter, the source code generation unit 160 stores the generated source code in a file and stores it in the source file storage unit 120, and displays on the monitor 20 that the generation has been completed.

  FIG. 4 is an example of a state transition diagram used for generating source code. The state transition diagram file 111 is stored in the state transition diagram storage unit 110. In the state transition diagram file 111, states 111a, 111b, and 111c and state transitions 111d, 111e, 111f, 111g, and 111h are described.

In the ellipse representing the state, the state name of the state is described. For example, the state name of the state 111a is “STATE1”.
A label is added to each arrow line representing a state transition. The label is composed of three elements: event name, condition name, and action name. The event name is the name of an event that may occur when the program is executed. The condition name is a name for identifying the transition condition of the state transition, and is described between “[” and “]”. The action name is a name for identifying a process executed by the program, and is described on the right side of “/”.

  The above labels have the following meanings: When the current state is the state of the arrow source and the event indicated by the event name occurs and the transition condition indicated by the condition name is satisfied, the program state transitions to the arrow destination state . At this time, immediately before the state transitions, the process indicated by the action name is executed.

  For example, in the state transition 111d, when the event indicated by “event1-1” occurs when the current state is the state 111a, and the transition condition indicated by “cond1-1” is satisfied, “act1- It means that the state transitions to the state 111b after the process indicated by 1 ″ is executed. The details of the transition condition and the processing to be executed are not described directly in the state transition diagram, but are described by additional means as additional information.

The state transition diagram is created by the state transition diagram creation unit 130 based on an input from the developer. The behavior of the program can be expressed by such a state transition diagram.
Next, the selection screen and the input screen that the transition condition description unit 140 displays on the monitor 20 will be described.

FIG. 5 is a diagram illustrating a selection screen example of a transition condition description format. The selection screen 21 has input areas 21a and 21b, a selection area 21c, and a button 21d.
The input area 21a is an input area for inputting one of the condition names described in the state transition diagram. The condition name is used to associate the state transition in the state transition diagram with the transition condition information. The input area 21b is an input area for inputting symbols. The symbol is used to identify a code for determining the condition of the transition condition in the source code.

  The selection area 21c is a selection area for selecting one transition condition description format. Specifically, one is selected from a logical expression, a determination function, and a logic circuit. The button 21d is a button for confirming input contents. When the button 21d is pressed, an input screen corresponding to the description format selected in the selection area 21c is displayed next.

  For example, for the state transition 111d in the state transition diagram shown in FIG. 4, the condition name is “cond1-1”, the symbol is “Huntei1-1”, and the description format is “logical expression”.

  FIG. 6 is a diagram showing an example of a transition condition input screen in a logical expression format. The input screen 22 is displayed when “logical expression” is selected in the selection area 21 c of the selection screen 21. The input screen 22 has an input area 22a and a button 22b.

  The input area 22a is an input area for inputting a logical expression. Logical expressions are variables used in source code, constants such as numeric values, logical operators such as “&&” (logical product) and “||” (logical sum), “+” (addition) and “*”. It is described using an arithmetic operator such as (product) and a comparison operator such as “>”. These operators are operators that can be used in a general programming language such as C language. For example, a logical expression indicating a condition that the value of the variable “count” is “10” or more can be described as “count> = 10”.

  The button 22b is a button for confirming input contents. When the button 22b is pressed, the transition condition description unit 140 indicates that the logical expression input to the input area 22a, the symbol input to the input area 21b of the selection screen 21 and the description format are “logical expression”. Is stored in the state transition diagram storage unit 110 in association with the condition name input in the input area 21a of the selection screen 21.

  FIG. 7 is a diagram illustrating an example of a transition condition input screen in the determination function format. The input screen 23 is displayed when “determination function” is selected in the selection area 21 c of the selection screen 21. The input screen 23 has an input area 23a and a button 23b.

  The input area 23a is an input area for inputting a determination function. The determination function is described according to the grammar of the programming language used to describe the source code to be output. In the present embodiment, C language is used as the programming language. In the input area 23a, a code indicating a calculation procedure performed in the condition determination process can be described. However, it is necessary to describe so as to finally return a true or false value as a return value. In addition, what is necessary is just to describe the code | cord | chord of the processing content of a determination function in the input area 23a, and it is not necessary to describe declaration statements, such as a function name. Necessary declaration statements are automatically added by the source code generation device 100.

  The button 23b is a button for confirming input contents. When the button 23b is pressed, the transition condition description unit 140 indicates that the determination function input to the input area 23a, the symbol input to the input area 21b of the selection screen 21 and the description format are “determination function”. Is stored in the state transition diagram storage unit 110 in association with the condition name input in the input area 21a of the selection screen 21.

  FIG. 8 is a diagram showing an example of a transition condition input screen in the logic circuit format. The input screen 24 is displayed when “logic circuit” is selected in the selection area 21 c of the selection screen 21. The input screen 24 includes element buttons 24a, 24b, 24c, 24d, 24e, 24f, 24g, a drawing area 24h, and buttons 24i.

  The element buttons 24a, 24b, 24c, 24d, 24e, 24f, and 24g are buttons for visually assisting a developer to draw a logic circuit. When any one of the element buttons 24a, 24b, 24c, 24d, 24e, 24f, and 24g is pressed, a circuit element corresponding to the button is arranged in the drawing area 24h.

  The element button 24a is a button indicating an input element. The input element represents an input variable of the logic circuit. A variable name is set for each input element. The element button 24b is a button indicating a constant element. The constant element represents a constant. Each constant element is set to a specific value such as a numerical value.

  The element button 24c is a button indicating a comparison element. The comparison element compares the value input on the “+” side with the value input on the “−” side, and sets “1” (true) if the value on the “+” side is larger. Otherwise, output “0” (false). The element button 24d is a button indicating an addition / subtraction element. The addition / subtraction element outputs a value obtained by adding up all input values. However, the values input from the side to which “-” is attached are summed with the signs reversed.

  The element button 24e is a button indicating a logical product element. The logical product element outputs “1” (true) when all input values are other than “0” (true), and outputs “0” (false) otherwise. The element button 24f is a button indicating a logical sum element. The logical sum element outputs “0” (false) when all the input values are “0” (false), and outputs “1” (true) otherwise. The element button 24g is a button indicating an output element. The output element represents the output of the logic circuit. Only one output element can be described by a logic circuit.

  The drawing area 24h is a drawing area for drawing a logic circuit. The developer uses the element buttons 24a, 24b, 24c, 24d, 24e, 24f, and 24g to arrange circuit elements in the drawing area 24h, and defines the input / output relationship by connecting the arranged circuit elements with lines.

  The button 24i is a button for confirming input contents. When the button 24i is pressed, the transition condition description unit 140 displays information indicating that the logic circuit input to the drawing area 24h, the symbol input to the input area 21b of the selection screen 21 and the description format are “logic circuit”. Is stored in the state transition diagram storage unit 110 in association with the condition name input in the input area 21a of the selection screen 21.

  Thus, the developer can input details of the transition condition using the selection screen 21 and the input screens 22, 23, and 24. In this embodiment, the selection screen 21 and the input screens 22, 23, and 24 are separate screens, but these may be a single screen.

Next, the details of the source code generation process executed under the above-described apparatus configuration and input data structure will be described.
FIG. 9 is a flowchart illustrating a procedure of source code generation processing. In the following, the process illustrated in FIG. 9 will be described in order of step number.

  [Step S11] When the source code generation unit 160 receives the state transition diagram and the transition condition information corresponding to each state transition from the state transition diagram confirmation unit 150, for each state transition described in the state transition diagram, The following processes from step S12 to step S20 are repeated.

  [Step S12] The source code generation unit 160 extracts description format information from the transition condition information associated with the condition name added to the state transition selected in Step S11. Then, the source code generation unit 160 determines whether or not the transition condition description format is a logic circuit. If it is a logic circuit, the process proceeds to step S13. If it is not a logic circuit, the process proceeds to step S16.

  [Step S13] The source code generation unit 160 passes the transition condition information corresponding to the state transition selected in Step S11 to the logic circuit conversion unit 163. The logic circuit conversion unit 163 extracts a logic circuit that is a transition condition from the received transition condition information, and converts the extracted logic circuit into a logical expression having an equivalent meaning. A method for converting a logic circuit to a logic expression will be described in detail later.

  [Step S14] The logic circuit conversion unit 163 generates a code of a determination function including the logical expression converted in step S13. Specifically, the logic circuit conversion unit 163 uses the symbol included in the transition condition information received in step S13 as the function name of the determination function, and if the evaluation result of the logical expression converted in step S13 is true, “true” ", And if it is false, a determination function code that returns" false "as a return value is generated.

  [Step S15] The logic circuit conversion unit 163 creates a function call statement that calls the determination function generated in step S14, and generates a conditional branch code in which the created function call statement is embedded.

  [Step S16] The source code generation unit 160 determines whether the description format of the transition condition is a determination function based on the description format information extracted in Step S12. If it is a determination function, the process proceeds to step S17. If not, the process proceeds to Step S19.

  [Step S17] The source code generation unit 160 passes the transition condition information corresponding to the state transition selected in Step S11 to the determination function conversion unit 162. The determination function conversion unit 162 extracts a determination function that is a transition condition from the received transition condition information, and generates a determination function code having the symbol included in the transition condition information as a function name.

  [Step S18] The decision function conversion unit 162 creates a function call statement that calls the decision function generated in step S17, and generates a conditional branch code in which the created function call statement is embedded.

  [Step S19] The source code generation unit 160 determines whether the description format of the transition condition is a logical expression based on the description format information extracted in Step S12. If it is a logical expression, the process proceeds to step S20. If it is not a logical expression, it is inappropriate to select a description format, and the process for the state transition selected in step S11 is terminated.

  [Step S20] The source code generation unit 160 passes the transition condition information corresponding to the state transition selected in Step S11 to the logical expression conversion unit 161. The logical expression conversion unit 161 extracts a logical expression that is a transition condition from the received transition condition information, and generates a conditional branch code in which the extracted logical expression is embedded.

  [Step S <b> 21] The source code generation unit 160 generates a processing code describing processing other than condition determination based on the state transition diagram received from the state transition diagram confirmation unit 150. Generation of the processing code from the state transition diagram can be realized by using a generation method described in Patent Document 1. As a result, a code that realizes declaration of a variable that stores the current state, detection of an event, state transition, execution of processing at the time of state transition, and the like is generated. However, only the condition name is embedded in the location where the transition condition is evaluated and the conditional branch is performed.

  [Step S22] The source code generation unit 160 detects the condition name embedded in the processing code generated in step S21, and converts the detected character string into the corresponding conditions generated in steps S15, S18, and S20. Replace with the branch code respectively. Furthermore, the source code generation unit 160 adds the determination function code generated in steps S14 and S17 to the processing code, and outputs the source code.

  Here, the conversion from the logic circuit to the logic expression performed in step S13 can be realized by the following method. First, the source code generation unit 160 assigns an identification symbol to each circuit element of the logic circuit. Next, the source code generation unit 160 creates an expression for calculating an output value from an input value using an identification symbol, a variable name, and a constant value for each circuit element. Here, the comparison element is “>”, the addition / subtraction element is the arithmetic operator “+” or “−”, the logical product element is the logical operator “&&”, and the logical sum element is the logical operator “||”. Used as operators. For example, in a comparison element whose identification symbol is “A7”, a variable element whose variable name is “c” is connected to an input on the “+” side, and an addition / subtraction element whose identification symbol is “A8” is connected to an input on the “−” side. When connected, a calculation formula “A7 = c> A8” is created.

  Then, the source code generation unit 160 develops the formulas in order from the calculation formula corresponding to the output element. For example, when there are two calculation formulas “A7 = c> A8” and “A8 = a−b”, a calculation formula “A7 = c> ab” is obtained by substituting the latter into the former. When the calculation formulas are developed in this way in order, a calculation formula having an expression that has only the output element identification symbol on the left side and no identification symbol on the right side is created. Here, the expression on the right side is a logical expression having the same meaning as the logical circuit.

In this way, the source code generation unit 160 automatically generates source code having a structure corresponding to the description format of each transition condition from the state transition diagram and the transition condition information.
Next, source code generated by the above processing will be described. The source code generated in this embodiment is written in C language.

  FIG. 10 is a diagram illustrating an example of generated source code. The source file 121 is stored in the source file storage unit 120. The source code described in the source file 121 is generated based on the state transition diagram shown in FIG. The description format of the transition condition of the state transition 111d is a logical expression, the description format of the transition condition of the state transition 111e is a determination function, and the description format of the transition condition of the state transition 111f is a logic circuit.

  The conditional branch statement 121a is a code for detecting an event that occurs during the execution of the program. When any of the events “event1-1”, “event1-2”, “event2-1”, “event2-2”, “event3” described in the state transition diagram occurs, the subsequent processing is started.

  The conditional branch statement 121b 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 one of the states “STATE 1”, “STATE 2”, or “STATE 3” described in the state transition diagram.

  The conditional branch sentence 121c is a code for determining whether or not the transition condition of the state transition 111d is satisfied. Here, since the description format of the transition condition of the state transition 111d is a logical expression, a code in which the logical expression is embedded in the conditional branch sentence is generated. When the transition condition is satisfied, the state transitions to “STATE2” after the processing of “act1-1” is executed.

  The conditional branch sentence 121d is a code for determining whether or not the transition condition of the state transition 111e is satisfied. Here, since the description format of the transition condition of the state transition 111e is a determination function, a code in which a function call statement is embedded in a conditional branch statement is generated. When the transition condition is satisfied, after the process of “act1-2” is executed, the state transits to “STATE3”.

  The conditional branch sentence 121e is a code for determining whether or not the transition condition of the state transition 111f is satisfied. Here, since the description format of the transition condition of the state transition 111f is a logic circuit, a code in which a function call statement is embedded in a conditional branch statement is generated. When the transition condition is satisfied, after the process of “act2-1” is executed, the state transitions to “STATE1”.

  The function 121f is a determination function called in the conditional branch statement 121d. The code of the processing content of the function 121f is the same as the code input on the input screen 23. The function 121g is a determination function called in the conditional branch statement 121e. The code of the processing content of the function 121g is a code for determining the authenticity based on a logical expression having the same meaning as that of the logic circuit input to the input screen 24.

  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, Code can be embedded in the action name position. Further, the developer may edit the source code after generation.

  By using such a source code generation device, the developer can select an appropriate description format according to the nature of the transition condition to be described. For example, in the case of a simple transition condition, a description using a logical expression is appropriate. In the process of determining the transition condition, when a calculation of a plurality of steps is necessary, the description by the determination function is appropriate. In the case of transition conditions that require complicated comparison operations or logical operations, description using a logic circuit is appropriate. By selecting an appropriate description format, input errors of the developer are reduced, and the quality of the generated program is improved.

  In addition, source code having a structure suitable for the selected description format is automatically generated. For example, in the case of a logical expression, the processing efficiency of a program is improved by performing a conditional determination directly in a conditional branch statement without calling a function. Therefore, even when developing software that requires high processing efficiency, the source code generation device can be used, and development efficiency is greatly improved.

In the above description, FIG. 5 shows a selection screen example of the transition condition description format, but a selection screen having a configuration different from this selection screen example is also conceivable.
FIG. 11 is a diagram showing another example of the transition condition description format selection screen. The selection screen 25 has input areas 25a and 25b, a selection area 25c, and a button 25d. The functions of the input areas 25a and 25b and the button 25d are the same as the functions of the input areas 21a and 21b and the button 21d on the selection screen 21, respectively. The selection area 25c is a selection area for selecting one transition condition description format. The selection area 21c of the selection screen 21 uses a radio button format, but the selection area 25c uses a pull-down format. By using the pull-down format, the selection area can be configured with a smaller screen area.

  Further, although the source code described in the C language is generated in the present embodiment, the source code generation device according to the present embodiment can be applied to various programming languages. The description of the generated source code has general contents and can be applied to software development in various fields. Furthermore, in the present embodiment, the transition condition description format can be selected from three description formats. However, it is easy to expand so that other description formats can be selected.

  As described above, the source code generation device, the source code generation method, and the source code 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.

In addition, the present invention may be a combination of any two or more configurations (features) of the above-described embodiments.
The above processing functions can be realized by a computer. In that case, a program describing the processing content of the function that the source code 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 a source code generation program stores, for example, a program recorded on a portable recording medium or a program transferred from a server computer in its own storage device. Then, the computer reads the program from its own storage 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 conceptual diagram of the invention applied to embodiment. It is a figure which shows the hardware constitutions of a source code production | generation apparatus. It is a block diagram which shows the function of a source code production | generation apparatus. It is an example of a state transition diagram used for generating source code. It is a figure which shows the example of a selection screen of the description format of a transition condition. It is a figure which shows the example of an input screen of the transition conditions by a logical formula form. It is a figure which shows the example of an input screen of the transition condition by a determination function format. It is a figure which shows the example of an input screen of the transition condition by a logic circuit format. It is a flowchart which shows the procedure of a source code production | generation process. It is a figure which shows the example of the source code produced | generated. It is a figure which shows the other example of the selection screen of the description format of a transition condition.

Explanation of symbols

2 state transition diagram 2a, 2b state 2c state transition 3 input / output device 4 transition condition information 5 source code 10 source code generation device 11 state transition diagram storage unit 12 input screen display unit 13 transition condition information acquisition unit 14 source code generation unit 14a , 14b, 14c Judgment code generation function

Claims (6)

In a source code generation device that generates a source code of a program from a state transition diagram,
State transition diagram storage means for storing a state transition diagram describing the state of the program and the state transition relationship between the states;
For each of the state transitions of the state transition diagram stored in the state transition diagram storage means, select a transition condition description format indicating a condition under which the state transition occurs from a list of a plurality of preset description formats. An input screen display means for displaying an input screen comprising a selection area to be described, and a description area for describing the transition condition according to the selected description format;
Transition condition information acquisition means for receiving an operation input for the input screen displayed by the input screen display means and acquiring transition condition information including the selected description format information and the description of the transition condition;
A determination code generating function for generating a determination code for performing a condition determination from the transition condition described according to the description format in association with each description format selectable on the input screen; When the acquisition unit acquires the transition condition information for all the state transitions of the state transition diagram stored in the state transition diagram storage unit, the state corresponds to the description format indicated by the transition condition information for each state transition Call the determination code generation function to generate the determination code, generate a processing code describing processing other than the condition determination from the state transition diagram, and synthesize the generated processing code and all the determination codes Source code generation means for outputting the source code of the program,
A source code generation device comprising: The selection area of the input screen has, as one of the description formats that can be selected, a logical expression format that can be determined as true or false.
The determination code generation function corresponding to the format of the logical expression that the source code generation means has generates a code of a conditional branch statement in which the logical expression given as an input is embedded as the determination code.
The source code generation device according to claim 1. The selection area of the input screen has, as one of the selectable description formats, a determination function format that returns a true / false determination result as a return value,
The determination code generation function corresponding to the determination function format included in the source code generation means includes the determination function given as an input and a conditional branch statement in which a function call statement for calling the determination function is embedded. A code provided is generated as the determination code;
The source code generation device according to claim 1. The selection area of the input screen has, as one of the description formats that can be selected, a logic circuit format capable of authenticity determination.
The determination code generation function corresponding to the format of the logic circuit included in the source code generation unit converts the logic circuit given as input into a logical expression having an equivalent meaning, and converts the logical circuit into the converted logical expression. Generating a code including a determination function that determines true / false based on which a determination function returns a determination result as a return value and a conditional branch statement in which a function call statement that calls the determination function is embedded, as the determination code;
The source code generation device according to claim 1. In a source code generation method for generating a program source code from a state transition diagram describing a state of a program and a relationship of state transitions between the states,
The input screen display means has a plurality of descriptions described in advance in a transition condition description format indicating a condition in which the state transition occurs for each of the state transitions of the state transition diagram stored in the state transition diagram storage means. An input screen comprising a selection area to be selected from a list of formats and a description area for describing the transition condition according to the selected description format;
The transition condition information acquisition means receives an operation input for the input screen displayed by the input screen display means, acquires transition condition information including information on the selected description format and a description of the transition condition,
Source code generation means has a determination code generation function for generating a determination code for performing condition determination from the transition conditions described according to the description format in association with each description format selectable on the input screen. When the transition condition information acquisition unit acquires the transition condition information for all the state transitions of the state transition diagram stored in the state transition diagram storage unit, the transition condition information is indicated by the transition condition information for each state transition. The determination code generation function corresponding to the description format is called to generate the determination code, and a processing code describing processing other than the condition determination is generated from the state transition diagram, and the generated processing code and all of the processing codes are generated. Combining the determination code and outputting the source code of the program;
A source code generation method characterized by the above. In a source code generation program that generates a program source code from a state transition diagram,
Computer
State transition diagram storage means for storing a state transition diagram describing the state of the program and the state transition relationship between the states;
For each of the state transitions of the state transition diagram stored in the state transition diagram storage means, select a transition condition description format indicating a condition under which the state transition occurs from a list of a plurality of preset description formats. An input screen display means for displaying an input screen comprising a selection area to be described and a description area for describing the transition condition according to the selected description format;
Transition condition information acquisition means for receiving an operation input to the input screen displayed by the input screen display means, and acquiring transition condition information including the selected description format information and the transition condition description;
Corresponding to each of the description formats selectable on the input screen, it has a determination code generation function for generating a determination code for performing a condition determination from the transition conditions described according to the description format, and the transition condition information When the acquisition unit acquires the transition condition information for all the state transitions of the state transition diagram stored in the state transition diagram storage unit, the state corresponds to the description format indicated by the transition condition information for each state transition Call the determination code generation function to generate the determination code, generate a processing code describing processing other than the condition determination from the state transition diagram, and synthesize the generated processing code and all the determination codes Source code generation means for outputting the source code of the program,
A source code generation program characterized by functioning as

Images