JP7009001B1 - Information processing equipment and programs - Google Patents

Abstract

PROBLEM TO BE SOLVED: To provide a novel state transition table in which a combination state explosion is suppressed. An information processing device corresponds to an event that occurs in a controlled object, a mode that is a state of the controlled object, a receiving means that accepts an input of an action that is a process executed by the controlled object, and an action that is not executed by the controlled object. It is characterized by comprising a display means for displaying a state transition table showing a combination of events and modes corresponding to an action executed by a controlled object without showing a combination of events and modes to be performed. [Selection diagram] FIG. 4

Description

The present invention relates to an information processing apparatus, a program and an information processing system for displaying a novel state transition table.

Patent Document 1 is a method of displaying a state transition table having a plurality of state items, a plurality of event items, and a processing information definition cell corresponding to each item, from row items to column items or column items. The stage of selecting the item to be moved to the row item, the stage of selecting the destination of the selected item, and the stage of determining the post-movement configuration of the selected item according to the configuration of the upper layer item of the destination, and the selection. The stage of deciding the configuration of the lower layer item of the move destination according to the configuration of the selected item, and the lower layer item after moving the selected item according to the configuration of the upper layer item of the move source of the moved item. A method of displaying a state transition table in which a state transition table is created by a stage of determining a configuration and a stage of arranging a processing information cell according to the determined item configuration and the created state transition table is displayed is disclosed.

Patent No. 5114718

By the way, when designing hardware, software, etc., it is necessary to grasp the action of the controlled object when one event occurs when the controlled object such as a product or a program is in one mode. For such grasping, for example, a state transition table in which modes and events are arranged on the vertical axis and the horizontal axis and actions are described in cells corresponding to the modes and events may be used.

However, in the conventional state transition table, there is a possibility that a state explosion may occur in which a huge number of combinations of events occurring in the controlled object and modes taken by the controlled object occur. When such a combination of state explosions occurs, it may be extremely difficult for the user to handle the state transition table itself.
It is an object of the present invention to provide a state transition table in which a combination of state explosions is suppressed.

To this end, the techniques disclosed herein are as means for accepting input of events that occur in a controlled object, a mode that is the state of the controlled object, and an action that is a process performed by the controlled object. , A display means for displaying a state transition table showing a combination of events and modes corresponding to an action executed by the controlled object without showing a combination of events and modes corresponding to an action not executed by the controlled object. It is an information processing device characterized by.
Here, the combination corresponding to one action executed by the controlled object may include a plurality of modes.
Further, the plurality of modes may be different modes parallel to each other in the controlled object.
Further, the display means may display the state transition table in which one action executed by the controlled object and the events and modes constituting the combination corresponding to the one action are arranged in a predetermined direction.
Further, the combination corresponding to one action executed by the controlled object may include a plurality of events.
In addition, event definition information that defines a plurality of events that can occur in the control target, mode definition information that defines a plurality of modes that the control target can take, and a plurality of actions that the control target can execute are defined. It is preferable to provide a storage means for storing the action definition information.
Further, when receiving the input, the receiving means may use at least one of the event definition information, the mode definition information, and the action definition information stored in the storage means.
Further, the state transition table may have a test information entry column for entering test information regarding the test to be controlled.
Further, the state transition table may have a specification information entry column for entering specification information regarding the specifications to be controlled.
Further, the display means can display a static structure diagram showing the relationship between a plurality of functional configurations of the controlled object, and when a selection operation for one action to be displayed is received, the display means corresponds to the one action. It is good to show the functional configuration.
Further, the display means can display a dynamic structure diagram showing a plurality of operation steps to be controlled, and when receiving a selection operation for one action to be displayed, the operation step corresponding to the one action. It is good to show.
Further, it is preferable to include an inspection means for performing a model check of the controlled object, and the display means may display the inspection result output by the inspection means on the screen on which the state transition table is displayed.
Further, the receiving means may use a program code that describes the control target when receiving the input.
Further, for such an object, the technique disclosed in the present specification is to input to a computer an event that occurs in a controlled object, a mode that is a state of the controlled object, and an action that is a process executed by the controlled object. And a function to display a state transition table showing the combination of events and modes corresponding to the action executed by the controlled object without showing the combination of the event and the mode corresponding to the action not executed by the controlled object. , Is a program that realizes.
Further, for such an object, the technique disclosed in the present specification accepts input of an event that occurs in a controlled object, a mode that is a state of the controlled object, and an action that is a process executed by the controlled object. A means and a display means for displaying a state transition table showing a combination of events and modes corresponding to an action executed by the controlled object without showing a combination of events and modes corresponding to an action not executed by the controlled object. The information processing system is characterized by comprising an output means for outputting a program code created based on the state transition table and describing the control target.

According to the present invention, it is possible to provide a state transition table in which a combination state explosion is suppressed.

It is a schematic diagram of the information processing system of this embodiment. It is a figure which showed the hardware configuration example of an information processing apparatus. It is a functional block diagram which realizes the function related to the state transition table of an information processing apparatus. It is a figure which shows an example of the state transition table of this embodiment. It is a figure which shows an example of the event definition table of this embodiment. It is a figure which shows an example of the mode definition table of this embodiment. It is a figure which shows an example of the action definition table of this embodiment. It is explanatory drawing of the mode edit screen of this embodiment. It is a figure which shows an example of the screen which prompts the addition of the definition information to a definition table. It is a figure which shows an example of the screen which prompts the creation of a compound mode. It is explanatory drawing of the specific example of the state transition table of this embodiment. It is a figure which shows the relationship between a dynamic structure diagram, a static structure diagram, and a state transition table. It is a figure which shows an example of the output of the program code of this embodiment. It is explanatory drawing of the state transition table of the comparative example.

Hereinafter, embodiments of the present invention will be described with reference to the accompanying drawings.
<Information processing system 1>
FIG. 1 is a schematic diagram of the information processing system 1 of the present embodiment.

As shown in FIG. 1, the information processing system 1 is used by an information processing device 10 that manages various information related to an EMA type state transition table 100 (see FIG. 4 described later) and a user who uses this system. The terminal device 30 and the like. The information processing device 10 and the terminal device 30 are connected to each other via the network 90.

In the information processing system 1 of the present embodiment, the information processing device 10 manages the state transition of the controlled object, accepts the editing of the EMA type state transition table 100 from the user via the terminal device 30, and the EMA type state transition table. Let the user refer to 100.
Here, the control target to be represented by the EMA type state transition table 100 of the present embodiment can be hardware, software, or a system in which hardware and software cooperate. Examples of the software to be controlled include a control program and an application program. Further, as the hardware to be controlled, for example, an electronic circuit, a house, or the like can be exemplified. Further, as the system, for example, an automobile or the like can be exemplified. Further, the control target to be expressed by the EMA type state transition table 100 is not limited to the unit of one product or the like, but may be the unit of the parts constituting the product or the like.

In the information processing system 1 shown in FIG. 1, an example is used in which one information processing device 10 is provided and two terminal devices 30 are provided, but the number of the information processing device 10 and the terminal device 30 is particularly large. Not limited. For example, when the information processing system 1 includes a plurality of information processing devices 10, distributed processing by the plurality of information processing devices 10 may be performed.

<Hardware configuration of information processing device 10>
FIG. 2 is a diagram showing a hardware configuration example of the information processing apparatus 10.

It is a figure which showed the hardware configuration example of the information processing apparatus 10 in this embodiment. As shown in FIG. 2, the information processing device 10 includes a CPU 101, a main storage device 102, an auxiliary storage device 103, a communication interface (denoted as “communication I / F” in the figure) 104, and a display device 105. It includes an input device 106.

The CPU 101 realizes the function of the information processing device 10 by, for example, loading and executing various programs stored in the auxiliary storage device 103 into the main storage device 102.
The main storage device 102 is a memory used as a working memory or the like of the CPU 101.
The auxiliary storage device 103 is a memory that stores various programs executed by the CPU 101, data created or acquired by the information processing device 10, and the like. As the auxiliary storage device 103, an SSD (Solid State Drive), an HDD (Hard Disk Drive), or the like can be used.

The communication I / F 104 transmits / receives various information to / from other devices via the network 90.
The display device 105 is a device that displays various information output from the inside of the information processing device 10. Here, as the display device, for example, a liquid crystal display can be used.
The input device 106 is a device that receives the information input by the user and inputs the information into the information processing apparatus 10.

The hardware configuration shown in FIG. 2 is the same as the hardware configuration of the terminal device 30.

Here, the program executed by the CPU 101 can be provided to the information processing apparatus 10 in a state of being stored in a recording medium readable by a computer such as a semiconductor memory. Further, the program executed by the CPU 101 may be downloaded to the information processing device 10, the terminal device 30, or the like. For example, a program that realizes each of the above functions of the information processing apparatus 10 may be downloaded to the information processing apparatus 10 as an application.

FIG. 3 is a functional block diagram that realizes a function related to the state transition table of the information processing apparatus 10.
The information processing apparatus 10 includes a management unit 11 that manages the EMA type state transition table 100, a reception unit 13 that accepts editing of the EMA type state transition table 100, an EMA type state transition table 100, a dynamic structure diagram, and a static structure. It has a display unit 15 for displaying a figure (see FIG. 12 described later) for visually showing the user, and an output unit 17 for outputting a program code or the like based on the EMA type state transition table 100.
Each component of the information processing apparatus 10 is realized by the above-mentioned hardware.

[Management unit 11]
The management unit 11 manages the EMA type state transition table 100 that expresses the relationship between the events that occur in the controlled object, the modes that the controlled object can take, and the actions that the controlled object executes. Further, the management unit 11 (for example, an example of storage means) has an event definition table 200 (for example, an example of event definition information) for defining an event and a mode definition table 300 (for example, an example of mode definition information) for defining a mode. , And an action definition table 400 (for example, an example of action definition information) that defines an action is managed.
In the present embodiment, when the event definition table 200, the mode definition table 300, and the action definition table 400 are not particularly distinguished, they are collectively referred to as "definition table".

The management unit 11 updates the contents of the EMA type state transition table 100 and various definition tables based on the user's edits received by the reception unit 13, and stores the updated contents.
Further, the management unit 11 transmits the stored information of the EMA type state transition table 100 to the display unit 15 and the output unit 17.

FIG. 4 is a diagram showing an example of the EMA type state transition table 100 of the present embodiment.
FIG. 5 is a diagram showing an example of the event definition table 200 of the present embodiment.
FIG. 6 is a diagram showing an example of the mode definition table 300 of the present embodiment.
FIG. 7 is a diagram showing an example of the action definition table 400 of the present embodiment.

(EMA type state transition table)
First, the EMA type state transition table 100 used in this embodiment will be described.
As shown in FIG. 4, the EMA type state transition table 100 has a header unit 100h in which item names are displayed, and an input unit 100i in which contents corresponding to the items are input.

The header portion 100h is each item name of the event (E) item name 10e, the mode (M) item name 10m, the action (A) item name 10a, the specification reason (R) item name 10r, and the test result (T) item name 10t. Is provided. In the header portion 100h, the item names are arranged side by side in the first axis direction (for example, the horizontal direction).
Here, in the description of the present embodiment, the event is an event that occurs in the controlled object. The event can also be regarded as an input to the controlled object. The mode is the state to be controlled. An action is a process executed by a controlled object.

The input unit 100i has an event input field 111, a mode input field 112, an action input field 113, a specification reason input field 114, and a test result input field 115 corresponding to each item name in the header unit 100h. In the input unit 100i, the event input field 111, the mode input field 112, the action input field 113, the specification reason input field 114, and the test result input field 115 are arranged side by side in the first axis direction (for example, in the horizontal direction).

The event input field 111 is an input field in which an event is entered. For example, when the control target is a home electric appliance such as a television, a change in the power button is entered in the event input field 111 as an event.

The mode input field 112 is an input field in which the mode is entered. The mode can be understood from multiple different viewpoints regarding the controlled object. Then, the modes are classified into categories provided for each viewpoint. For example, each mode to be controlled is classified into a category from the viewpoint of "power supply" and a category from the viewpoint of "menu". For example, the category "power supply" includes "ON mode" and "OFF mode". Further, the category "menu" includes "menu operation mode" and "menu non-operation mode".

The plurality of modes included in one category are in a state in which the controlled object cannot be taken at the same time. For example, in the category of "power supply", "ON mode" and "OFF mode" are two non-parallel states that cannot be controlled at the same time. On the other hand, in relation to a plurality of different categories, the mode included in one category and the mode included in the other category include a state in which the controlled object can be simultaneously taken. For example, the "ON mode" in the category of "power supply" and the "menu operating mode" in the category of "menu" are two parallel states that the controlled object can take at the same time.

Then, in the EMA type state transition table 100 of the present embodiment, in the one mode input field 112, the mode condition (hereinafter referred to as the mode condition) in which one action is performed when one event occurs in the controlled object. Call) is entered. The mode condition may be composed of a single mode or a plurality of modes (hereinafter referred to as a composite mode) depending on the relationship between the event and the action. Therefore, a single mode or a combined mode is input to the one mode input field 112.

The action input field 113 is an input field in which an action is entered. Then, in the EMA type state transition table 100 of the present embodiment, one action is input in the one action input field 113. For example, when the control target is a home electric appliance such as a television, the process of turning off the power is entered in the action input field 113 as an action.
An action is a process performed by a controlled object. Then, when the control target performs processing, the mode that is the state of the control target changes. In this embodiment, the action can be regarded as a concept including a state transition. In the action input field 113, only the action can be entered, or the post-transition mode, which is the state after the transition accompanying the action, can be described together.

The specification reason input field 114 is an input field in which the user inputs specification information regarding the specifications to be controlled. One specification reason input field 114 is provided corresponding to one action. For example, precautions when the specifications to be controlled are changed are entered in the specification reason input field 114 as the specification reason. As described above, the EMA type state transition table 100 of the present embodiment can also be used as a specification.

The test result input field 115 is an input field for inputting test information regarding the test to be controlled. One test result input field 115 is provided corresponding to one action.
Generally, in product development, a test for confirming an action or the like, which is an operation of a controlled object related to a combination of a predetermined mode and an event, is performed. The test result input field 115 is used as an entry field for entering the test result. For example, when the user performs a test to be controlled, the EMA type state transition table 100 is referred to. Then, in the test result input field 115, for example, test information such as whether or not the operation content when the event and the mode are combined matches the action described in the EMA type state transition table 100 is obtained. Is entered. The input to the test result input field 115 is not limited to the input by the user, and may be automatically performed by the information processing apparatus 10 with the implementation of the model check described later, for example.
The control target test includes operation test of the control target, model checking described later, inspection of the program code created based on the EMA type state transition table 100, and operation of the control target (actual machine) on which this program code is implemented. Various tests such as tests can be exemplified.

In the test result input field 115 of this embodiment, an inspection ID for specifying each inspection, an input field for entering the inspection result, an implementation date column for entering the inspection implementation date, and information of the person in charge. There is a person in charge column to fill in.
As described above, the EMA type state transition table 100 of the present embodiment can also be used as an entry form for the inspection result of the controlled object.

In the input unit 100i of the EMA type state transition table 100 configured as described above, events, modes, actions, reasons for specifications, and inspection results are arranged in the first axis direction (for example, in the horizontal direction). Then, in the EMA type state transition table 100 of the present embodiment, an event, a mode, a reason for specification, and an inspection result are associated with one action. As described above, in the EMA type state transition table 100 of the present embodiment, a set of units is configured by one action and the event, mode, specification reason, and inspection result associated with the one action. The units of a set are displayed, for example, on one line. Then, in the EMA type state transition table 100, a plurality of units are displayed side by side in the second axis direction (for example, the vertical direction). That is, in the EMA type state transition table 100 of the present embodiment, a plurality of units are displayed in a list.

As described above, in the EMA type state transition table 100 of the present embodiment, events and modes are displayed in units of one action. Then, in the EMA type state transition table 100 of the present embodiment, only the events and modes corresponding to the actions executed by the controlled object are displayed. In particular, in the EMA type state transition table 100 of the present embodiment, actions that the controlled object does not execute are not displayed at all. Here, the action that the control target does not execute is, for example, a combination of an event and a mode cannot be a control target. That is, the EMA type state transition table 100 of the present embodiment does not show the combination of events and modes corresponding to the actions not executed by the controlled object, but shows the combination of events and modes corresponding to the actions executed by the controlled object. As a result, in the EMA type state transition table 100 of the present embodiment, the number of combinations of events and modes displayed is limited to a finite number, and the state explosion of the combinations is surely suppressed.

Further, as described above, in the mode input field 112 of the input unit 100i, a composite mode composed of a plurality of modes can be input. Then, in the EMA type state transition table 100 of the present embodiment, for example, when there are a plurality of modes in which one action is performed when one event occurs, these plurality of modes are collectively expressed as a composite mode. As a result, in the EMA type state transition table 100 of the present embodiment, the number of combinations of events and modes displayed in the EMA type state transition table 100 is further reduced.

(Event definition table 200)
Next, each definition table will be described in detail.
As shown in FIG. 5, the event definition table 200 has an event name input field 210 in which the names of events that can occur in the controlled object are input. Further, the event ID 211 is provided corresponding to the event name input field 210. In the example of the event definition table 200 shown in FIG. 5, three event name input fields 210 are provided. The event ID 211 is provided with "E001" to "E003" corresponding to the three event name input fields 210.

Further, the event definition table 200 has a symbol column 212. The symbol field 212 is provided corresponding to each event name input field 210. The user can input any character, symbol, or mark in the symbol field 212. Then, the user can input, for example, an arbitrary character, a symbol, or the like in the symbol field 212, and the symbol can be referred to at the time of work.

Further, the event definition table 200 has a plurality of event content input fields 220. In the example of the event definition table 200 shown in FIG. 5, seven event content input fields 220 are provided for each event name input field 210. Each event content input field 220 is provided with an event content ID 221. The event content ID 221 has IDs of "0" to "6" corresponding to the seven event content input fields 220.

Further, the event definition table 200 has a symbol column 230. The symbol field 230 is provided corresponding to each event content input field 220. The user can input any character, symbol, or mark in the symbol field 230. Then, the user can input, for example, an arbitrary character, a symbol, or the like in the symbol field 230, and the symbol can be referred to at the time of work.

(Mode definition table 300)
As shown in FIG. 6, the mode definition table 300 has a mode name input field 310 in which the name of the mode that the control target can take is input. Further, the mode ID 311 is provided corresponding to the mode name input field 310. In the example of the mode definition table 300 shown in FIG. 6, three mode name input fields 310 are provided. The mode ID 311 is provided with "M001" to "M003" corresponding to the three mode name input fields 310.

Further, the mode definition table 300 has a symbol column 320. The symbol field 320 is provided corresponding to each mode name input field 310. The user can input any character, symbol, or mark in the symbol field 320.

Further, the mode definition table 300 has a plurality of mode content input fields 330. In the example of the mode definition table 300 shown in FIG. 6, seven mode content input fields 330 are provided for each mode name input field 310. Each mode content input field 330 is provided with a mode content ID 331. The mode content ID 331 has IDs of "0" to "6" corresponding to the seven mode content input fields 330.

Further, the mode definition table 300 has a symbol column 340. The symbol field 340 is provided corresponding to each mode content input field 330. The user can input any character, symbol, or mark in the symbol field 340.

Then, a single mode or a composite mode is input to the mode content input field 330 of the mode definition table 300. Of these, for example, the compound mode expresses a condition for executing one action for one event by a combination of modes. Then, for example, the composite mode can be managed by the mode definition table 300 with a label indicating the concept of the composite mode. By labeling and abstracting the composite mode in this way, the user can handle the composite mode with reference to the concept indicated by the label in the mode definition table 300.
In the mode definition table 300 of the present embodiment, it is possible to define not only a single mode or a composite mode in which a plurality of modes are combined, but also a higher-level mode by combining a plurality of composite modes.

Further, in the mode definition table 300 of the present embodiment, it is possible to define a submode. The sub-mode is a mode provided as a subordinate concept to one of the main modes captured from a certain point of view. For example, if one of the main modes is the TV recording mode, the sub-modes are the recording mode based on the reservation set in advance by the user and the recording mode based on the user pressing the record button at any time. Can be exemplified.
Then, in the EMA type state transition table 100 of the present embodiment, it is possible to set mode conditions using a composite mode including a submode.

(Action definition table 400)
As shown in FIG. 7, the action definition table 400 has an action name input field 410 in which the name of the action performed by the controlled object is input. Further, the action ID 411 is provided corresponding to the action name input field 410. In the example of the action definition table 400 shown in FIG. 7, three action name input fields 410 are provided. Then, the action ID 411 is provided with "A001" to "A003" corresponding to the three action name input fields 410.

Further, the action definition table 400 has an action content input field 420. In the example of the action definition table 400 shown in FIG. 7, two action content input fields 420 are provided for each action name input field 410. The action content input field 420 has a mode transition input field 421 and a mode steady state input field 422. In the mode transition input field 421, an action to be executed by the controlled object when the mode transitions is input. Further, in the mode steady state input field 422, an action to be executed when the mode is in the steady state after the mode transition is input.

Further, the action definition table 400 has a symbol column 430. The symbol field 430 is provided corresponding to each action content input field 420. The user can input any character, symbol, or mark in the symbol field 340.

[Reception Department 13]
The reception unit 13 (for example, an example of reception means) receives input of information from the user to the event definition table 200, the mode definition table 300, and the action definition table 400.
In the information processing system 1 of the present embodiment, the reception unit 13 displays each of the above definition tables on the display screen 30m of the terminal device 30. Then, the reception unit 13 receives an input to the definition table displayed on the display screen 30m. In the present embodiment, the user can directly input and edit each definition table displayed on the display screen 30m. For example, the user can select an input field to be edited in each definition table and input a numerical value or a character in the input field via an operation such as a keyboard.

Further, the reception unit 13 receives input of information to the EMA type state transition table 100 from the user.
In the information processing system 1 of the present embodiment, the reception unit 13 displays the EMA type state transition table 100 on the display screen 30m of the terminal device 30. Then, the reception unit 13 receives an input to the EMA type state transition table 100 displayed on the display screen 30m.

The reception unit 13 receives input from the user to each input field of the EMA type state transition table 100 by using the information stored in the event definition table 200, the mode definition table 300, and the action definition table 400. Specifically, the reception unit 13 displays the options created based on each definition table in the EMA type state transition table 100 in a pull-down format. The contents displayed in the pull-down can exemplify various IDs, various symbols, and definition contents in the definition table.

Further, the reception unit 13 can directly input and edit the input unit 100i of the EMA type state transition table 100 displayed on the display screen 30m. For example, the user can select an input field to be edited in each table in the input unit 100i and input a numerical value or a character through an operation of a keyboard or the like.

FIG. 8 is an explanatory diagram of the mode editing screen 50 of the present embodiment.
The reception unit 13 of the present embodiment can receive input related to the mode from the user by the mode editing screen 50.

The reception unit 13 displays the mode editing screen 50 on the display screen 30m of the terminal device 30. The reception unit 13 receives edits related to the mode from the user via the mode edit screen 50.
The mode editing screen 50 of the present embodiment is displayed on the display screen 30m by accepting a selection operation such as a click operation or a tap operation by the user for the mode input field 112 (see FIG. 4) of one of the EMA type state transition tables 100. To.

As shown in FIG. 8, the mode edit screen 50 has a display frame 51 in which the contents of the input mode are displayed, a logical product button 52 for inputting a logical product (AND) as an operator, and an operator. It has a logical sum button 53 for inputting the logical sum (OR) as, and a completion button 54 for specifying that the editing is completed. Further, the mode editing screen 50 has a save button 55 for saving the created mode in the mode definition table 300.

On the mode edit screen 50, the mode condition is displayed in the display frame 51 in response to the input of a number string or a character string by the user and the pressing of the AND button 52 or the OR button 53. Then, on the mode editing screen 50, the completion button 54 is operated to complete the editing work, and the created mode condition is reflected in the EMA type state transition table 100.

Further, on the mode edit screen 50, when the save button 55 is pressed by the user, the created mode condition is added to the mode definition table 300 as a new composite mode. The content of the composite mode is entered in the mode content input field 330 (see FIG. 6) in one of the mode definition tables 300. In addition, the created composite mode can be given an arbitrary name by the user. This name is input to the mode name input field 310 corresponding to one mode content input field 330.

Further, on the mode editing screen 50 of the present embodiment, it is possible to edit the mode contents already defined. In this case, for example, an operation of dragging and dropping a single mode or a composite mode to be edited from the mode definition table 300 to the display frame 51 is performed. Then, on the mode edit screen 50, it is possible to edit the mode brought from the mode definition table 300.

FIG. 9 is a diagram showing an example of a screen prompting the addition of definition information to the definition table.

As described above, in the information processing system 1 of the present embodiment, each definition table can be directly input and edited. Then, when a character string that is not stored in the definition table is entered when the reception unit 13 is directly input or edited, the reception unit 13 is displayed on the display screen 30m of the terminal device 30 via the display unit 15. Display the message display 60.

As shown in FIG. 9, the message display 60 displays a text message 61 such as "The input content does not exist in the XX definition table". This notifies the user that new definition information that is not in the definition table has been entered. In addition, a text message 62 is displayed on the message display 60 to prompt the user to add a new character string to the definition table, such as "Do you want to add to the definition table?". Further, the message display 60 displays a YES button image 63 and a NO button image 64 for receiving an instruction from the user. Then, the reception unit 13 receives an instruction from the user to add a new character string to the definition table.

FIG. 10 is a diagram showing an example of a screen prompting the creation of a composite mode.

As a result of the user directly inputting or editing the EMA type state transition table 100, it is said that the EMA type state transition table 100 has a plurality of units having the same combination of events and actions but different modes. Situations may occur.
In such a case, the reception unit 13 displays the message display 65 on the display screen 30m of the terminal device 30 via the display unit 15.

As shown in FIG. 10, a text message 66 such as "A mode in which the combination of" event "and" action "matches or is similar has been input" is displayed on the message display 65. As a result, the reception unit 13 notifies the user that there is a unit in which the combination of one event and one action is the same but the mode conditions are different. Further, the reception unit 13 notifies the user that there is a unit in which the combination of one event and one action is similar and the mode conditions are different.

Further, on the message display 65, for example, a text message 67 such as "Do you want to create a mode condition and put it together in one action?" Is displayed. Further, the message display 65 displays a YES button image 68 and a NO button image 69 for receiving an instruction from the user. Then, the reception unit 13 receives an instruction to combine units having the same combination of events and actions but different mode conditions to create a unit grouped by one action.

[Display unit 15]
The display unit 15 (for example, an example of the display means) causes the screen of the terminal device 30 used by the user to display various information managed by the management unit 11 in response to an instruction from the user. The display unit 15 displays each definition table when the user edits various definition tables. Further, the display unit 15 displays the EMA type state transition table 100 on the display screen 30 m of the terminal device 30 when the user browses or edits the EMA type state transition table 100.

Subsequently, the EMA type state transition table 100 of the present embodiment will be specifically described.
FIG. 11 is an explanatory diagram of a specific example of the EMA type state transition table 100 of the present embodiment.

The EMA type state transition table 100 shown in FIG. 11 is an example when, for example, a television is used as a control target. Here, changes in the power button and changes in the menu button are exemplified as events that occur on the television. In addition, as the TV mode, the Idle mode in which the TV screen is turned off, the Ready mode in which preparations are made for displaying the video and the audio are output, and the Busy in which the video is displayed and the audio is output. The mode is illustrated. Further, as the mode of the television, a menu non-operation mode in which the operation for the menu screen is not performed and a menu operation mode in which the operation for the menu screen is performed are exemplified.

As shown in FIG. 11, when an event that the power button of the television is pressed occurs, an action called an initialization process is executed in the Idle mode. Further, in this case, the TV mode shifts from the Idle mode to the Ready mode.

When the event that the power button of the TV is pressed occurs, the action of termination processing is executed in either the Ready mode or the Busy mode. Further, in this case, the television transitions from each mode to the Idle mode.
As described above, in the EMA type state transition table 100 of the present embodiment, the mode condition when the event that the power button is pressed occurs and one action of the termination process is performed is the Ready mode or the Busy mode. It is expressed by the compound mode. Further, the action of termination processing in this case is displayed in units of one in the EMA type state transition table 100.

When the event that the menu button of the television is pressed occurs, the menu display process for displaying the menu is executed in the Busy mode and the menu non-operation mode. Further, in this case, the TV mode shifts to the menu operation mode.
As described above, in the EMA type state transition table 100 of the present embodiment, the mode condition when the event that the menu button is pressed occurs and one action of the menu display process is performed is the Busy mode and the menu is not operated. It is expressed by a compound mode called mode. Further, the action of menu display processing in this case is displayed in units of one in the EMA type state transition table 100.

Further, when an event that the menu button of the television is pressed occurs, the menu non-display process for hiding the menu is executed in the Busy mode and the menu operation mode. Further, in this case, the TV mode shifts to the menu non-operation mode.
As described above, in the EMA type state transition table 100 of the present embodiment, the mode condition when the event that the menu button is pressed occurs and one action of the menu non-display process is performed is the Busy mode and the menu operation. It is expressed by a compound mode called medium mode. Further, the action of menu non-display processing in this case is displayed in units of one in the EMA type state transition table 100.

Here, for comparison, the state transition table of the comparative example will be described.
FIG. 14 is an explanatory diagram of the state transition table 900 of the comparative example.

As shown in FIG. 14, in the state transition table 900 of the comparative example, a plurality of events occurring in the controlled object are arranged on the vertical axis, and a plurality of modes taken by the controlled object are arranged on the horizontal axis. Then, in the state transition table 900 of the comparative example, one action executed on the condition of the combination is displayed in the cell corresponding to the combination of one event and one mode.

Further, in the state transition table 900 of the comparative example, a plurality of modes to be controlled are classified into three categories from three viewpoints. The state transition table 900 of the comparative example is configured to include the first category 901, the second category 902, and the third category 903. The modes included in the first category 901, the second category 902, and the third category 903 include modes that can be taken in parallel between different categories.

Then, in the state transition table 900 (for example, the first category 901) of the comparative example, the action A1 is executed under the condition of the event E01 and the mode M04. Action A1 is executed on condition of event E02 and mode M05. Action A1 is executed on condition of event E02 and mode M05. Action A1 is executed on condition of event E03 and mode M05. Further, the action A2 is executed on condition of the event E04 and the mode M03. Action A3 is executed on condition of event E05 and mode M01.
In the state transition table 900 of the comparative example, "-" (blank) is displayed in the cell in which the control target does not execute the action in the combination of one event and one mode. The combination of events and modes displayed as blanks is, for example, a combination that cannot be controlled.

In the state transition table 900 of the comparative example configured as described above, the combinations of modes and events are innumerably large in proportion to the number of events that can occur in the controlled object and the number of modes that the controlled object takes. There is a possibility of becoming.
Further, in the state transition table 900 of the comparative example, it is an unavoidable specification due to the structure of the table that the cell of the combination of the mode and the event in which the action is not executed in the controlled object is displayed. Therefore, in the state transition table 900 of the comparative example, all combinations of modes and events are displayed regardless of whether the action is executed or not executed by the controlled object.
In the state transition table 900 of such a comparative example, there are innumerable combinations of events and modes, and it is practically extremely difficult for the user to grasp all of them. In addition, verification of the action to be controlled needs to be performed for all combinations of innumerable events and modes, but it is extremely difficult to inspect all combinations.

Further, in the state transition table 900 of the comparative example, the modes to be controlled are divided into the first category 901, the second category 902, and the third category 903, respectively. Then, in the state transition table 900 of the comparative example, the specification is such that the action cannot be expressed by the combination of the event and the mode between different categories.

On the other hand, in the EMA type state transition table 100 of the present embodiment, only the combination of the event and the mode of the action to be executed can be displayed. Therefore, in the EMA type state transition table 100 of the present embodiment, the number of combinations of events and modes displayed in the EMA type state transition table 100 can be limited to a finite number. As a result, for example, in the EMA type state transition table 100 of the present embodiment, it becomes easy for the user to grasp the relationship between the event, the mode, and the action, and it becomes easy to confirm the control target such as omission.

Further, in the EMA type state transition table 100 of the present embodiment, since the combination of the event and the mode is summarized with one action as the axis, the number of display columns for displaying the combination of the event and the mode is suppressed. This makes it easier for the user to grasp the relationship between the event, the mode, and the action in the EMA type state transition table 100 of the present embodiment.
The EMA-type state transition table 100 of the present embodiment makes it possible to express actions based on a plurality of modes classified into different categories, which could not be expressed by the state transition table 900 of the comparative example. ..

(Static structure diagram 700, dynamic structure diagram 800 and EMA type state transition table 100)
FIG. 12 is a diagram showing the relationship between the dynamic structure diagram 800, the static structure diagram 700, and the EMA type state transition table 100.

The display unit 15 can display the static structure diagram 700 regarding the control target on the display screen 30m of the terminal device 30. Further, the display unit 15 can display the dynamic structure diagram 800 regarding the control target on the display screen 30m. Then, the display unit 15 of the present embodiment displays the mutual relationship with the static structure diagram 700, the dynamic structure diagram 800, and the EMA type state transition table 100.
The relationship between the static structure diagram 700, the dynamic structure diagram 800, and the EMA type state transition table 100 can be specified by acquiring the relationship information from the user by the reception unit 13. Further, the relationship between the static structure diagram 700, the dynamic structure diagram 800, and the EMA type state transition table 100 may be related based on information such as a character string included in each.

The static structure diagram 700 expresses the relationship of the component 70 (an example of the functional configuration) that exerts a function in a controlled object such as a system. In the example shown in FIG. 12, each component 70 is divided into a plurality of layers including a lower layer, an intermediate layer, and an upper layer. The lower layer is a layer in which components 70 corresponding to drivers for driving hardware such as sensors and motors are arranged. The middle layer is a layer in which components 70 are arranged, which are integrated in units of the concept of operation realized by hardware and connected to the upper layer. The upper layer is a layer in which the component 70 corresponding to the application executed in the controlled object is arranged.
Then, in the static structure diagram 700, one application in the upper layer and the component 70 related to the one application in the intermediate layer are connected by a line and displayed. Similarly, the relationship between the driver in the middle layer and the device in the lower layer is displayed by connecting them with a line.

The dynamic structure diagram 800 is a flow showing the operation of the system. The dynamic structure diagram 800 shows a flow of operations configured by each operation step 80.
In the dynamic structure diagram 800 and the static structure diagram 700 of the present embodiment, each operation step 80 and the component 70 are associated with each other. Then, for example, when the display unit 15 receives a selection operation for one operation step 80 in the dynamic structure diagram 800, the display unit 15 clearly indicates the component 70 corresponding to the one operation step 80 in the static structure diagram 700. Further, when the display unit 15 receives, for example, a selection operation for one component 70 in the static structure diagram 700, the display unit 15 clearly indicates the operation step 80 of the dynamic structure diagram 800 corresponding to the one component 70. ..

Then, in the present embodiment, in addition to the link between the static structure diagram 700 and the dynamic structure diagram 800, the link with the EMA type state transition table 100 can be shown.
For example, the component 70 in the static structure diagram 700 and the action in the EMA type state transition table 100 are associated with each other. Further, the operation step 80 in the dynamic structure diagram 800 and the action in the EMA type state transition table 100 are associated with each other.

When the display unit 15 accepts the user's selection for one action in the EMA type state transition table 100, the display unit 15 clearly indicates the operation step 80 corresponding to the selected one action in the dynamic structure diagram 800. For example, the operation step 80 may be shown in a display mode different from that of other operation steps 80, or may be shown in a conspicuous display mode different from the state before being specified.
Further, when the display unit 15 accepts the user's selection for one action in the EMA type state transition table 100, the component 70 corresponding to the selected one action is specified in the static structure diagram 700. For example, the component 70 may be shown in a display mode different from that of the other components 70, or may be shown in a prominent display mode different from the state before being specified.

The display unit 15 may specify the action of the corresponding EMA type state transition table 100 when the component 70 of one of the static structure diagrams 700 is selected and operated. Similarly, the display unit 15 may specify the action of the corresponding EMA type state transition table 100 when the operation step 80 of one of the dynamic structure diagrams 800 is selected and operated.
In this way, the display unit 15 of the present embodiment can show the user the mutual relationship between the EMA type state transition table 100, the static structure diagram 700, and the dynamic structure diagram 800.

(Model checking)
Next, the function of model checking of the information processing apparatus 10 will be described.
The information processing apparatus 10 of the present embodiment has a function of executing a model check of a controlled object.
Model checking is a comprehensive check of controlled objects such as hardware, software, and systems. For model checking, a model language that expresses a controlled object and an inspection formula related to the controlled object are used. Of these, the model language can be exemplified by a source code or the like that describes a controlled object. Further, the inspection formula can be exemplified by a design specification or the like. Then, in model checking, for example, after expressing the controlled object with a model, it is mechanically and comprehensively inspected for all combinations of modes and events whether or not the specifications to be satisfied by the controlled object are satisfied on the model. For example, in model checking, defects such as a mode that cannot be escaped or a mode that cannot be matched are shown as inspection results.

Then, the information processing apparatus 10 can display, for example, the result of the model check on the display screen 30m of the terminal apparatus 30. As a result, the user can compare the result of the model check with the EMA type state transition table 100 on the display screen 30m. As described above, the information processing system 1 of the present embodiment can improve the work efficiency of the user.

[Output unit 17]
FIG. 13 is a diagram showing an example of output of the program code of the present embodiment.

As shown in FIG. 13, the output unit 17 outputs a pseudo code for realizing the state transition defined in the EMA type state transition table 100 based on the EMA type state transition table 100 of the present embodiment. The instruction to output the pseudo code by the output unit 17 can be received from, for example, an export button image displayed by the reception unit 13 on the display screen 30 m in accordance with the EMA type state transition table 100.

The EMA type state transition table 100 of the present embodiment includes a mode condition for executing one action by the occurrence of one event. Therefore, the program code of the program that controls the controlled object can be created by using the mode condition. Various programming languages can be used for the output program code, and for example, a description in C language can be exemplified.
As shown in FIG. 13, the output unit 17 generates pseudo-code that describes, for example, the conditions under which the action is executed, based on the event, mode, and action information in the EMA type state transition table 100. One unit in the code corresponds to, for example, one unit of action in the EMA type state transition table 100.

In the EMA type state transition table 100 of the present embodiment, for one action, events and modes are expressed as a unit in which events and modes are arranged as a condition when one action is executed. Further, in the EMA type state transition table 100, a plurality of units for each action are provided and arranged in a list. Therefore, the output unit 17 can easily create a pseudo code according to the structure of the EMA type state transition table 100.

In this embodiment, an example of creating a program code from the EMA type state transition table 100 has been described, but the reverse is also possible. That is, it is also possible to create the EMA type state transition table 100 having the structure of the present embodiment based on the source code for describing the control target or the program code such as the hardware description language. The program code contains code that defines the relationship between events, modes, and actions. As a result, the information processing system 1 of the present embodiment creates the EMA type state transition table 100 based on the code that defines the relationship between the event, the mode, and the action.
For example, in the case of developing a new control target by improving an existing control target, the control program or the like of the existing control target can be expressed in the format of the EMA type state transition table 100 of the present embodiment. It will be possible to improve the efficiency of product development.

Further, the program code of the controlled object created based on the EMA type state transition table 100 output by the output unit 17 can be used for the model of the controlled object in the above-mentioned model check of the controlled object.
Here, in the past, for example, when a state explosion of a combination of an event and a mode has occurred, it may not be possible to perform all checks because there are almost infinite combinations even if model checking is performed. there were. Further, conventionally, when performing model checking when there are innumerable combinations, the model checking may be performed with incomplete contents, such as performing after arbitrarily thinning out the combinations.

On the other hand, in the information processing system 1 of the present embodiment, a program code created based on the EMA type state transition table 100 and describing the controlled object can be used for the model of the controlled object. As a result, in the information processing system 1, model checking can be performed on a combination of events and modes stored in a finite number. Further, in the information processing system 1 of the present embodiment, it is not necessary to recreate a model to be controlled using a model language in order to perform model checking. Further, in the information processing system 1 of the present embodiment, since the number of combinations is limited to a finite number, it is possible to perform model checking covering all combinations of the event to be controlled and the mode.

(Modification example)
In the above-mentioned EMA type state transition table 100, the action to be controlled to be executed when an event occurs is expressed on condition of a plurality of modes, but the present invention is not limited to this example.
For example, a complex event in which a plurality of events are combined may express a condition for executing one action. In this case, the mode corresponding to the event may be singular or plural.
By doing so, the unit of one action can be further summarized in the EMA type state transition table 100. In particular, by expressing the unit of one action on the condition of a plurality of events and a plurality of modes, it can be configured so that only one action is displayed in the EMA type state transition table 100. As a result, in the EMA type state transition table 100, the bloat of the number of combinations displayed is further suppressed.

(Modification example)
In the information processing system 1 of the present embodiment, as described above, the EMA type state transition table 100, which is a new state transition table, is displayed. On the other hand, the information processing system 1 can create a state transition table in the form of the state transition table 900 of the comparative example based on the EMA type state transition table 100. Specifically, the information processing system 1 converts the EMA type state transition table 100 into the display mode of the state transition table 900 of the comparative example by using the event, mode, and action information of the EMA type state transition table 100. As a result, the user can compare the EMA type state transition table 100 and the state transition table 900 of the comparative example with respect to the state transition of the same controlled object.

Although various embodiments and modifications have been described above, the embodiments and modifications may be combined and configured.
Further, the present disclosure is not limited to the above-described embodiment, and can be carried out in various forms without departing from the gist of the present disclosure.

1 ... Information processing system, 11 ... Management unit, 13 ... Reception unit, 15 ... Display unit, 30 ... Terminal device, 50 ... Mode edit screen, 100 ... EMA type state transition table, 111 ... Event input field, 112 ... Mode input Field, 113 ... Action input field, 114 ... Specification reason input field, 115 ... Test result input field, 200 ... Event definition table, 300 ... Mode definition table, 400 ... Action definition table, 700 ... Static structure diagram, 800 ... Motion Structural diagram

Claims (3)

An event that occurs in the controlled object, a mode that is the state of the controlled object, and a receiving means that accepts input of an action that is a process executed by the controlled object.
A display means for displaying a state transition table showing a combination of events and modes corresponding to an action executed by the controlled object without showing a combination of events and modes corresponding to an action not executed by the controlled object.
Equipped with
The display means can display a static structural diagram showing the relationship between a plurality of functional configurations of the controlled object.
An information processing apparatus characterized in that when a selection operation for one action to be displayed is received, the functional configuration corresponding to the one action is shown . The display means can display a dynamic structure diagram showing a plurality of operation steps of the controlled object.
The information processing apparatus according to claim 1 , wherein when a selection operation for one action to be displayed is received, the operation step corresponding to the one action is shown. On the computer
A function that accepts the input of an event that occurs in a controlled object, a mode that is the state of the controlled object, and an action that is a process executed by the controlled object.
A function to display a state transition table showing a combination of events and modes corresponding to an action executed by the controlled object without showing a combination of events and modes corresponding to an action not executed by the controlled object.
A function to display a static structure diagram showing the relationship between a plurality of functional configurations of the controlled object, and
When a selection operation for one action to be displayed is accepted, a function indicating the functional configuration corresponding to the one action and a function indicating the function configuration
A program that realizes.

Images