JP2022134087A - Information processing system, display device, information processing method, and program - Google Patents

Abstract

To provide a new state transition table configured to prevent state explosion of combination.SOLUTION: An information processing system includes: receiving means which receives an input of an event that occurs in a control object, a mode which is a state of the control object, and an action which is processing to be executed by the control object; and display means which displays a state transition table that presents multiple units of combinations of event, mode and action arranged in a first axis direction, in a predetermined order in a second axis direction different from the first axis direction. A condition for one unit displayed higher in the order can be associated with another unit which is displayed lower than the one unit.SELECTED DRAWING: Figure 20

Description

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

Patent Document 1 discloses a display method of a state transition table having a plurality of state items, a plurality of event items, and processing information definition cells corresponding to the respective items, wherein a row item to a column item or a column item to selecting an item to be moved to a row item; selecting a destination for moving the selected item; determining a configuration of the selected item after movement according to the configuration of the upper hierarchical item of the destination; Determining the structure of lower layer items at the destination according to the structure of the moved item; A state transition table display method is disclosed for creating a state transition table by determining a configuration and arranging processing information cells according to the determined item configuration, and displaying the created state transition table.

JP 2010-134721 A

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

However, in the conventional state transition table, there is a possibility that state explosion will occur with an enormous number of combinations of events occurring in the controlled object and modes taken by the controlled object. If such a combination of state explosions occurs, it may become extremely difficult for the user to handle the state transition table itself.
SUMMARY OF THE INVENTION An object of the present invention is to provide a state transition table that suppresses combinatorial state explosion.

For this purpose, the technology disclosed in this specification includes a reception unit that receives 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 the process executed by the controlled object. display means for displaying a state transition table in which a plurality of units in which combinations of , events, modes and actions are arranged in a first axis direction are arranged in a predetermined order in a second axis direction different from the first axis direction; and, wherein the condition of one unit whose order is described earlier can be associated with another unit whose order is described later than the one unit. is.
Here, the display means preferably displays an action common to a plurality of actions of the other units in the one unit.
Also, the display means preferably displays, on the state transition table, a common display indicating that the one unit action is common to a plurality of the other unit actions.
Also, the state transition table preferably excludes the event and mode conditions of the one unit in the other unit.
In addition, the display means preferably displays, on the state transition table, an exclusion display indicating that the conditions of the event and mode in the one unit are excluded in the other unit.
Also, the display means preferably displays, on the state transition table, a specific description for using a condition different from the condition of the mode of the one unit in the other unit.
Further, the display means preferably displays an action indicating that the controlled object does not execute the process on the state transition table.
Also, the display means preferably displays an abstract mode obtained by abstracting a plurality of different modes collectively in the state transition table.
Further, the display means preferably displays a condition display indicating a condition of another unit related to the unit when designation of the target unit in the state transition table is received.

For this purpose, the technology disclosed in this specification includes a reception unit that receives 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 the process executed by the controlled object. and display means for displaying a state transition table in which a plurality of units in which combinations of events, modes, and actions are arranged are arranged in order of priority.

For this purpose, the technology disclosed in this specification provides a state transition table that indicates a combination of an event that occurs in a controlled object, a mode that is the state of the controlled object, and an action that is the process that the controlled object executes. comprising a first display portion displaying a first unit in which a first combination of events, modes and actions are arranged in a horizontal direction, and a second combination of events, modes and actions in a horizontal direction a second display unit displaying a second unit arranged in a row below the first unit; and a third unit in which a third combination of events, modes and actions are horizontally arranged below the second unit. a fourth display unit displaying a fourth combination of events, modes, and actions arranged in a horizontal direction below the third unit; an inclusion display portion displaying inclusion information indicating that the first combination condition is included in the second unit; and an inclusion display portion indicating that the third combination condition of the third unit is excluded in the fourth unit. and an exclusion display section for displaying exclusion information.

For this purpose, the technology disclosed in this specification includes a step of receiving input of an event occurring in a controlled object, a mode that is the state of the controlled object, and an action that is the process executed by the controlled object; displaying a state transition table in which a plurality of units in which combinations of events, modes, and actions are arranged in a first axis direction are arranged in a predetermined order in a second axis direction different from the first axis direction; and a step of associating a condition of one unit whose order is described earlier with another unit whose order is described later than the one unit.

For this purpose, the technology disclosed in this specification allows a computer to receive input of an event occurring in a controlled object, a mode that is the state of the controlled object, and an action that is the process executed by the controlled object. A state transition table is displayed in which a plurality of units in which combinations of functions, events, modes, and actions are arranged in a first axis direction are arranged in a predetermined order in a second axis direction different from the first axis direction. A program for realizing a function and a function of associating a condition of one unit whose order is described earlier with another unit whose order is described later than the one unit.

According to the present invention, it is possible to provide a state transition table that suppresses combinatorial state explosion.

1 is a schematic diagram of an information processing system according to an embodiment; FIG. It is the figure which showed the hardware structural example of an information processing apparatus. 3 is a functional block diagram for realizing functions related to a state transition table of an information processing device; FIG. It is a figure which shows an example of the state transition table|surface 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. FIG. 4 is an explanatory diagram of a mode edit screen according to the embodiment; FIG. 10 is a diagram showing an example of a screen prompting addition of definition information to a definition table; FIG. 10 is a diagram showing an example of a screen prompting creation of a combined mode; FIG. 4 is an explanatory diagram of a specific example of a state transition table according to the embodiment; FIG. 4 is a diagram showing 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. FIG. 11 is an explanatory diagram of a state transition table of a comparative example; FIG. 11 is an explanatory diagram of a state transition table of Comparative Example 2; FIG. 11 is an explanatory diagram of a state transition table of Comparative Example 2; FIG. 11 is an explanatory diagram of a state transition table of Comparative Example 2; It is an EMA type state transition table of the second embodiment. FIG. 10 is a diagram showing an example of an EMA-type state transition table that does not correspond to priority. FIG. 10 is a diagram showing an example of an EMA-type state transition table corresponding to priority; FIG. 11 is an explanatory diagram of a guide display portion of the EMA-type state transition table;

BEST MODE FOR CARRYING OUT THE INVENTION Hereinafter, embodiments of the present invention will be described with reference to the accompanying drawings.

<First embodiment>

(Information processing system 1)
FIG. 1 is a schematic diagram of an information processing system 1 of this embodiment.

As shown in FIG. 1, an information processing system 1 includes an information processing device 10 that manages various types of information related to an EMA type state transition table 100 (see FIG. 4, which will be described later), and a user who uses this system. and a terminal device 30 to Information processing device 10 and terminal device 30 are connected to each other via network 90 .

In the information processing system 1 of the present embodiment, the information processing device 10 manages the state transitions of the control target, accepts editing of the EMA type state transition table 100 from the user via the terminal device 30, and accepts editing of the EMA state transition table 100. 100 is referred to by the user.
Here, the controlled object to be represented by the EMA-type state transition table 100 of this embodiment can be hardware, software, or a system in which hardware and software cooperate. Examples of software to be controlled include control programs and application programs. Also, examples of hardware to be controlled include electronic circuits and houses. Furthermore, as a system, for example, an automobile can be exemplified. Also, the controlled object to be represented by the EMA-type state transition table 100 is not limited to a unit such as a single product, but may be a unit of parts constituting the product.

In the information processing system 1 shown in FIG. 1, one information processing device 10 and two terminal devices 30 are provided. Not limited. For example, when the information processing system 1 includes a plurality of information processing apparatuses 10, distributed processing by the plurality of information processing apparatuses 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. As shown in FIG.

2 is a diagram showing a hardware configuration example of an information processing apparatus 10 according to the embodiment; FIG. As shown in FIG. 2, the information processing apparatus 10 includes a CPU 101, a main memory device 102, an auxiliary memory device 103, a communication interface (denoted as "communication I/F" in the figure) 104, a display device 105, and an input device 106 .

The CPU 101 realizes the functions of the information processing apparatus 10 by loading various programs stored in the auxiliary storage device 103 into the main storage device 102 and executing the programs.
The main storage device 102 is a memory used as a work memory for the CPU 101 or the like.
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. An SSD (Solid State Drive), HDD (Hard Disk Drive), or the like can be used as the auxiliary storage device 103 .

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

Note that 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 while being stored in a computer-readable recording medium such as a semiconductor memory. Also, 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 implements the functions of the information processing device 10 may be downloaded to the information processing device 10 as an application.

FIG. 3 is a functional block diagram for realizing functions related to the state transition table of the information processing apparatus 10. As shown in FIG.
The information processing apparatus 10 includes a management unit 11 that manages the EMA-type state transition table 100, a reception unit 13 that receives edits to 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 that displays a diagram (see FIG. 12 to be described later) to visually show the user, and an output unit 17 that outputs a program code based on the EMA type state transition table 100 and the like.
Each component of the information processing apparatus 10 is implemented by the hardware described above.

(Management Department 11)
The management unit 11 manages an EMA-type state transition table 100 that expresses the relationships among events that occur in the controlled object, possible modes that the controlled object can take, and actions that the controlled object executes. The management unit 11 (for example, an example of storage means) stores an event definition table 200 (for example, an example of event definition information) that defines events, a mode definition table 300 (for example, an example of mode definition information) that defines modes. , and an action definition table 400 (for example, an example of action definition information) that defines actions.
In this embodiment, the event definition table 200, the mode definition table 300, and the action definition table 400 are collectively referred to as "definition tables" when they are not distinguished from each other.

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.
The management unit 11 also 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 this embodiment.
FIG. 5 is a diagram showing an example of the event definition table 200 of this embodiment.
FIG. 6 is a diagram showing an example of the mode definition table 300 of this embodiment.
FIG. 7 is a diagram showing an example of the action definition table 400 of this 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 section 100h in which item names are displayed, and an input section 100i in which contents corresponding to the items are input.

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

The input section 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 part 100h. In the input section 100i, 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 are arranged side by side in the first axial direction (for example, horizontal direction).

The event input column 111 is an input column in which an event is entered. For example, if the object to be controlled is a home appliance such as a television, a change in the power button is entered as an event in the event input field 111 .

A mode input field 112 is an input field in which a mode is entered. Modes can be viewed from different perspectives of what is being controlled. The modes are classified into categories provided for each viewpoint. For example, each mode of the controlled object is classified into a category viewed from the viewpoint of "power supply" and a category viewed from the viewpoint of "menu". For example, the category “power supply” includes “ON mode” and “OFF mode”. The category "menu" includes "menu operating mode" and "menu non-operating mode".

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

In the EMA-type state transition table 100 of the present embodiment, one mode input column 112 contains mode conditions (hereinafter referred to as mode conditions) for performing one action when one event occurs in the controlled object. call) is entered. A mode condition may consist of a single mode or a plurality of modes (hereinafter referred to as composite mode) depending on the relationship between an event and an action. Therefore, in one mode input field 112, a single mode or a composite mode is input.

The action input field 113 is an input field in which an action is entered. In the EMA-type state transition table 100 of this embodiment, one action is entered in the one action input field 113 . For example, if the object to be controlled is a home appliance such as a television, a 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. When the controlled object performs processing, the mode, which is the state of the controlled object, transitions. In this embodiment, an action can be regarded as a concept including state transitions. In the action input field 113, only an action can be entered, or a post-transition mode, which is a post-transition state associated with the action, can be entered together.

The specification reason input column 114 is an input column for the user to enter specification information regarding the specification of the controlled object. One specification reason input field 114 is provided corresponding to one action. For example, points to note when changing the specifications of the controlled object are entered in the specification reason input field 114 as the reason for the specification. Thus, the EMA-type state transition table 100 of this embodiment can also be used as a specification.

The test result input column 115 is an input column for entering test information regarding the test of the controlled object. One test result input field 115 is provided corresponding to one action.
Generally, in product development, tests are conducted to confirm actions, etc., that are operations of controlled objects in relation to combinations of predetermined modes and events. The test result entry field 115 is used as an entry field for entering test results. For example, the EMA-type state transition table 100 is referenced when the user tests a controlled object. Then, in the test result input field 115, for example, test information such as a test result indicating whether or not the operation content at the time of the combination of the event and the mode matches the action described in the EMA type state transition table 100. is entered. Note that 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 along with the execution of model checking, which will be described later, for example.
Further, the controlled object test includes an operation test of the controlled object, a model check described later, an inspection of the program code created based on the EMA type state transition table 100, and an operation of the controlled object (actual machine) in which this program code is implemented. Various tests such as tests can be exemplified.

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

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

As described above, in the EMA-type state transition table 100 of this embodiment, events and modes are displayed in units of one action. The EMA-type state transition table 100 of the present embodiment displays only events and modes corresponding to actions executed by the controlled object. In particular, the EMA-type state transition table 100 of this embodiment does not display any actions that are not executed by the controlled object. Here, the action that the control target does not execute is, for example, an action that cannot be a combination of an event and a mode as a control target. In other words, the EMA type state transition table 100 of this embodiment does not show combinations of events and modes corresponding to actions not executed by the controlled object, but shows combinations of events and modes corresponding to 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 displayed events and modes is within a finite number, and state explosion of combinations is reliably suppressed.

Furthermore, as described above, the mode input field 112 in the input unit 100i allows input of a composite mode composed of a plurality of modes. In the EMA-type state transition table 100 of the present embodiment, for example, when there are multiple modes in which one action is performed when one event occurs, these multiple modes are collectively represented as a composite mode. As a result, in the EMA-type state transition table 100 of this 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 entry field 210 for entering the name of an event that can occur in the controlled object. Also, an 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 .

Furthermore, the event definition table 200 has a symbol column 212 . A symbol column 212 is provided corresponding to each event name input column 210 . In the symbol field 212, the user can input arbitrary characters, symbols, and marks. By inputting, for example, any character or symbol in the symbol field 212, the user can refer to the symbol during work.

The event definition table 200 also 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 entry field 220 is provided with an event content ID 221 . The event content ID 221 has IDs “0” to “6” corresponding to the seven event content input fields 220 .

Furthermore, the event definition table 200 has a symbol column 230 . A symbol column 230 is provided corresponding to each event content input column 220 . In the symbol column 230, the user can input arbitrary characters, symbols, and marks. By inputting, for example, any character or symbol in the symbol field 230, the user can refer to the symbol during work.

(Mode definition table 300)
As shown in FIG. 6, the mode definition table 300 has a mode name input column 310 for inputting the name of the mode that the controlled object can take. A 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 .

The mode definition table 300 also has a symbol column 320 . A symbol column 320 is provided corresponding to each mode name input column 310 . In the symbol column 320, the user can enter arbitrary characters, symbols, and marks.

Furthermore, 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 “0” to “6” corresponding to the seven mode content input fields 330 .

Furthermore, the mode definition table 300 has a symbol column 340 . A symbol column 340 is provided corresponding to each mode content input column 330 . In the symbol field 340, the user can enter arbitrary characters, symbols, and marks.

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

Furthermore, in the mode definition table 300 of this embodiment, submodes can be defined. A sub-mode is a mode provided as a subordinate concept to a main mode from a certain point of view. For example, if the main mode is a TV recording mode, the sub modes are a recording mode based on a reservation preset by the user and a recording mode based on the user pressing the recording button at any timing. and can be exemplified.
In the EMA-type state transition table 100 of this embodiment, it is possible to set mode conditions using composite modes including sub-modes.

(Action definition table 400)
As shown in FIG. 7, the action definition table 400 has an action name input field 410 for inputting the name of the action performed by the controlled object. Also, an 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. The action ID 411 is provided with “A001” to “A003” corresponding to the three action name input fields 410 .

The action definition table 400 also 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 normal mode input field 422 . The mode transition input field 421 is used to input an action to be executed by the controlled object when the mode transitions. Further, in the steady mode input field 422, an action to be executed after the mode transition and when the mode is in the steady state is inputted.

Furthermore, the action definition table 400 has a symbol column 430 . A symbol column 430 is provided corresponding to each action content input column 420 . In the symbol field 340, the user can enter arbitrary characters, symbols, and marks.

(Reception unit 13)
The reception unit 13 (for example, an example of reception means) receives input of information for the event definition table 200, the mode definition table 300, and the action definition table 400 from the user.
In the information processing system 1 of the present embodiment, the reception unit 13 causes the display screen 30m of the terminal device 30 to display each of the above definition tables. Then, the receiving unit 13 receives an input to the definition table displayed on the display screen 30m. In this embodiment, the user can directly input or 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 numerical values and characters into the input field by operating a keyboard or the like.

The receiving unit 13 also receives input of information for 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 receiving unit 13 receives an input to the EMA-type state transition table 100 displayed on the display screen 30m.

The receiving unit 13 uses the information stored in the event definition table 200, the mode definition table 300, and the action definition table 400 to receive input from the user in each input column of the EMA type state transition table 100. FIG. Specifically, the reception unit 13 displays 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 be exemplified by various IDs, various symbols, and definition contents in the definition table.

In addition, the receiving unit 13 can directly input or 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 numerical values and characters by operating a keyboard or the like.

FIG. 8 is an explanatory diagram of the mode editing screen 50 of this embodiment.
The reception unit 13 of this embodiment can receive an input regarding a mode from the user through the mode editing screen 50 .

The reception unit 13 displays the mode edit screen 50 on the display screen 30m of the terminal device 30. FIG. The accepting unit 13 accepts mode editing from the user via the mode editing screen 50 .
The mode edit 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 on one of the mode input fields 112 (see FIG. 4) of the EMA type state transition table 100. be.

As shown in FIG. 8, the mode edit screen 50 includes a display frame 51 for displaying the content of the input mode, and a logical product button 52 for inputting a logical product (AND symbol "&&") as an operator. , a logical sum button 53 for inputting a logical sum (OR symbol "||") as an operator, and a completion button 54 for specifying that editing is completed. The mode edit screen 50 also has a save button 55 for saving the created mode in the mode definition table 300 .
Note that the EMA type state transition table 100 of this embodiment can also use operators such as false (FALSE symbol “!”) and true (TRUE).

In the mode edit screen 50, the mode conditions are displayed in the display frame 51 according to the user's input of a number string or a character string or pressing of the logical AND button 52 or the logical sum button 53. FIG. Then, on the mode edit screen 50 , the edit operation is completed by operating the finish button 54 , and the created mode conditions are reflected in the EMA type state transition table 100 .

When the save button 55 is pressed by the user on the mode edit screen 50, 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 one of the mode content input fields 330 (see FIG. 6) of the mode definition table 300. FIG. Also, the user can give any name to the created composite mode. This name is entered in the mode name input field 310 corresponding to one mode content input field 330 .

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

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

As described above, in the information processing system 1 of this embodiment, it is possible to directly input and edit each definition table. When a character string not stored in the definition table is entered when direct input or editing is performed, the reception unit 13 displays the character string on the display screen 30m of the terminal device 30 via the display unit 15. A message display 60 is displayed.

As shown in FIG. 9, the message display 60 displays a text message 61 such as "The entered content does not exist in the OO definition table." This notifies the user that new definition information that is not in the definition table has been input. Also, in the message display 60, a text message 62 prompting the addition of a new character string to the definition table is displayed, such as "Would you like to add it to the OO definition table?" Further, the message display 60 displays a YES button image 63 and a NO button image 64 for receiving instructions from the user. Then, the receiving 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 creation of a combined mode.

As a result of the user directly inputting or editing the EMA-type state transition table 100, the EMA-type state transition table 100 contains a plurality of units having the same combination of events and actions but different modes. Situations may arise.
In such a case, the reception unit 13 causes the display unit 15 to display the message display 65 on the display screen 30m of the terminal device 30 .

As shown in FIG. 10, a message display 65 displays a text message 66 such as, for example, "A mode in which a combination of 'event' and 'action' matches or is similar has been input." Thereby, the reception unit 13 notifies the user that there are units in which the combination of one event and one action is the same, but the mode conditions are different. In addition, the receiving unit 13 notifies the user that there are units in which the combination of one event and one action are similar and the mode conditions are different.

Also, in the message display 65, a text message 67 such as "Do you want to create mode conditions and put them 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 instructions from the user. Then, the accepting unit 13 accepts an instruction to group together units having the same combination of events and actions and different mode conditions to create a unit grouped by one action.

(Display unit 15)
The display unit 15 (eg, display means, display unit (first display unit to fourth display unit), inclusion display unit, exclusion display unit) displays the terminal device 30 used by the user according to instructions from the user. Various information managed by the management unit 11 is displayed on the screen. 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 30m of the terminal device 30 when the user browses or edits the EMA-type state transition table 100 .

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

The EMA-type state transition table 100 shown in FIG. 11 is an example when a television is used as a controlled object, for example. Here, a change in the power button and a change in the menu button are exemplified as events that occur on the television. In addition, as a mode of the TV, there is an Idle mode in which the TV screen is turned off, a Ready mode in which preparations are made to display images and output audio, and a Busy mode in which images are displayed and audio is output. mode. As modes of the television, a menu non-operating mode in which no operation is performed on the menu screen and a menu operating mode in which the menu screen is operated are exemplified.

As shown in FIG. 11, when an event of pressing the power button of the television occurs, an action called initialization processing is executed in the idle mode. Also, in this case, the television mode transitions from the Idle mode to the Ready mode.

When an event occurs in which the power button of the television is pressed, an action called end processing is executed in either the Ready mode or the Busy mode. Also, 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 an event of pressing the power button occurs and one action of termination processing is performed is the Ready mode or the Busy mode. It is represented by a composite mode of Also, the action of termination processing in this case is displayed in units of one in the EMA-type state transition table 100 .

When an event occurs in which the menu button of the television is pressed, menu display processing for displaying a menu is executed in the case of the busy mode and the non-menu operation mode. Also, in this case, the television mode transitions to the menu operation mode.
As described above, in the EMA type state transition table 100 of the present embodiment, the mode conditions when an event of pressing the menu button occurs and one action of menu display processing is performed are the busy mode and no menu operation. It is represented by a composite 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 of pressing the menu button of the television occurs, if the busy mode and the menu operation mode are selected, a menu hiding process for hiding the menu is executed. Also, in this case, the television mode transitions to the menu non-operation mode.
As described above, in the EMA type state transition table 100 of the present embodiment, the mode conditions when the event of pressing the menu button occurs and one action of the menu hiding process is performed are the busy mode and the menu operation. It is represented by a composite mode called medium mode. Further, the action of the menu non-display processing in this case is displayed in units of one in the EMA type state transition table 100 .

Here, for comparison, a state transition table of a comparative example will be described.
FIG. 14 is an explanatory diagram of the state transition table 900 of Comparative Example 1. As shown in FIG.

As shown in FIG. 14, in the state transition table 900 of Comparative Example 1, 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. In the state transition table 900 of Comparative Example 1, a cell corresponding to a combination of one event and one mode displays one action to be executed with the combination as a condition.

Further, in the state transition table 900 of Comparative Example 1, a plurality of modes of the controlled object are classified into three categories from three viewpoints. The state transition table 900 of Comparative Example 1 includes a first category 901 , a second category 902 and a 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 used in parallel among different categories.

Then, in the state transition table 900 (for example, the first category 901) of Comparative Example 1, the action A1 is executed with the event E01 and the mode M04 as conditions. 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 with event E03 and mode M05 as conditions. Also, action A2 is executed with event E04 and mode M03 as conditions. Action A3 is executed on condition of event E05 and mode M01.
In the state transition table 900 of Comparative Example 1, a "-" (blank) is displayed in a cell in which the controlled object does not execute an action for a combination of one event and one mode. Note that combinations of events and modes that are displayed blank are, for example, impossible combinations to be controlled.

In the state transition table 900 of Comparative Example 1 configured as described above, the number of combinations of modes and events is infinite in proportion to the number of events that can occur in the controlled object and the number of modes that the controlled object takes. It is possible that there will be more.
In addition, in the state transition table 900 of Comparative Example 1, it is unavoidable due to the structure of the table that the cell of the combination of the mode and the event in which no action is executed in the controlled object is displayed. Therefore, in the state transition table 900 of Comparative Example 1, all combinations of modes and events are displayed regardless of whether the action is executed on the controlled object or not.
In the state transition table 900 of Comparative Example 1, there are countless combinations of events and modes, and it is practically extremely difficult for the user to grasp all of them. In addition, verification of actions to be controlled must be performed for all combinations of countless events and modes, but it is extremely difficult to check all combinations.

Also, in the state transition table 900 of Comparative Example 1, the modes to be controlled are sorted into a first category 901, a second category 902 and a third category 903, respectively. In this case, the state transition table 900 of Comparative Example 1 has specifications that do not allow actions to be expressed by combinations of events and modes between different categories.

In contrast, the EMA-type state transition table 100 of this embodiment can display only combinations of events and modes of actions to be executed. Therefore, in the EMA-type state transition table 100 of this embodiment, the number of combinations of events and modes displayed in the EMA-type state transition table 100 can be finite. As a result, for example, in the EMA type state transition table 100 of the present embodiment, it becomes easier for the user to grasp the relationship between events, modes, and actions, and it becomes easier to check controlled objects such as omissions.

In addition, in the EMA-type state transition table 100 of the present embodiment, combinations of events and modes are grouped around one action, so the number of display columns for displaying combinations of events and modes is reduced. As a result, the EMA-type state transition table 100 of the present embodiment makes it easier for the user to understand the relationship between events, modes, and actions.
The EMA-type state transition table 100 of this embodiment makes it possible to express actions based on a plurality of modes classified into different categories, which could not be expressed in the state transition table 900 of Comparative Example 1. do.

(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. As shown in FIG.

The display unit 15 can display the static structure diagram 700 regarding the controlled object on the display screen 30m of the terminal device 30. FIG. In addition, the display unit 15 can display the dynamic structural diagram 800 regarding the controlled object on the display screen 30m. The display unit 15 of the present embodiment displays the mutual relationship between the static structure diagram 700, the dynamic structure diagram 800 and the EMA type state transition table 100. FIG.
Note that the relationship between the static structure diagram 700, the dynamic structure diagram 800, and the EMA-type state transition table 100 can be identified by acquiring the relational information from the user by the receiving unit 13. FIG. Also, the relationship between the static structure diagram 700, the dynamic structure diagram 800, and the EMA-type state transition table 100 may be associated based on information such as character strings included in each.

A static structure diagram 700 expresses the relationship of components 70 (an example of a functional configuration) that perform functions in a controlled object such as a system. In the example shown in FIG. 12, each component 70 is divided and displayed in a plurality of hierarchies composed of 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 intermediate layer is a layer in which components 70 are arranged that are integrated in units of concepts of operations realized by hardware and connected to upper layers. The upper layer is a layer in which the component 70 corresponding to the application executed on the controlled object is arranged.
In the static structure diagram 700, one application in the upper layer and the component 70 related to one application in the middle layer are displayed by being connected by a line. Similarly, the relationships between the drivers in the middle layer and the devices in the lower layer are displayed by connecting lines.

Dynamic structure diagram 800 is a flow that illustrates the operation of the system. The dynamic structure diagram 800 shows the operational flow composed by each operational step 80 .
In the dynamic structure diagram 800 and the static structure diagram 700 of this embodiment, each operation step 80 and component 70 are associated. Then, for example, when receiving a selection operation for one action step 80 in the dynamic structure diagram 800 , the display unit 15 clearly indicates the component 70 corresponding to the one action step 80 in the static structure diagram 700 . Further, the display unit 15, for example, when receiving a selection operation for one component 70 in the static structure diagram 700, clearly indicates the operation step 80 of the dynamic structure diagram 800 corresponding to the one component 70. .

In this 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 indicated.
For example, the component 70 in the static structure diagram 700 and the action in the EMA-type state transition table 100 are associated. Also, the action step 80 in the dynamic structure diagram 800 and the action in the EMA type state transition table 100 are associated.

When receiving the user's selection of 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 different display form than the other operation steps 80, or may be shown in a more conspicuous display form than the state before being clearly shown.
Further, when receiving the user's selection of one action in the EMA-type state transition table 100 , the display unit 15 clearly indicates the component 70 corresponding to the selected one action in the static structure diagram 700 . For example, the component 70 may be shown in a different display mode from other components 70, or may be shown in a more conspicuous display mode than in the state before being shown.

Incidentally, when one component 70 of the static structure diagram 700 is selected and operated, the display unit 15 may indicate the corresponding action of the EMA type state transition table 100 . Similarly, when one action step 80 of the dynamic structure diagram 800 is selected and operated, the display unit 15 may display the corresponding action of the EMA type state transition table 100 .
In this manner, the display unit 15 of the present embodiment can show the mutual relationship among the EMA type state transition table 100, the static structure diagram 700 and the dynamic structure diagram 800 to the user.

(model checking)
Next, the model checking function of the information processing apparatus 10 will be described.
The information processing apparatus 10 of this embodiment has a function of executing model checking of a controlled object.
Model checking is a comprehensive inspection of controlled objects such as hardware, software, and systems. Model checking uses a model language that expresses a controlled object and a check expression for the controlled object. Among these, the model language can be exemplified by a source code or the like that describes a controlled object. In addition, design specifications and the like can be exemplified in the inspection formula. Then, in model checking, for example, the controlled object is represented by a model, and then all combinations of modes and events are mechanically and comprehensively inspected to see whether the model satisfies the specifications to be satisfied by the controlled object. For example, in model checking, defects such as a mode that cannot be escaped or correspondence between modes cannot be taken are indicated as inspection results.

The information processing device 10 can display, for example, the result of model checking on the display screen 30m of the terminal device 30 . This allows the user to visually compare the result of model checking and the EMA type state transition table 100 on the display screen 30m. Thus, the information processing system 1 of this embodiment can improve the work efficiency of the user.

(Output unit 17)
FIG. 13 is a diagram showing an example of program code output according to the present embodiment.

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

The EMA-type state transition table 100 of this embodiment includes mode conditions for executing one action upon occurrence of one event. Therefore, the mode conditions can be used to create the program code of the program that controls the controlled object. Various programming languages can be used for the program code to be output.
As shown in FIG. 13 , the output unit 17 generates a pseudo code describing conditions for executing an action, for example, based on the event, mode, and action information in the EMA-type state transition table 100 . One unit in the code corresponds to one action unit in the EMA type state transition table 100, for example.

In the EMA-type state transition table 100 of the present embodiment, conditions for executing one action for one action are expressed in units of events and modes. Also, in the EMA-type state transition table 100, a plurality of units are provided for each action and arranged in a list. Therefore, the output unit 17 can easily create a pseudo code following 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 opposite is also possible. That is, it is also possible to create the EMA type state transition table 100 having the structure of this embodiment based on the source code describing the controlled object and the program code such as the hardware description language. Program code includes code that defines the relationships between events, modes and actions. As a result, the information processing system 1 of this embodiment creates the EMA type state transition table 100 based on the code that defines the relationship between events, modes, and actions.
For example, when an existing controlled object is improved to develop a new controlled object, the existing controlled object's control program or the like can be expressed in the form of the EMA type state transition table 100 of this embodiment. It becomes 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-described model checking of the controlled object.
Here, in the conventional art, for example, when a state explosion of combinations of events and modes occurs, even if model checking is attempted, there are almost infinite combinations, so it is often impossible to check all of them. there were. Further, conventionally, when model checking is performed when there are an infinite number of combinations, the contents of model checking may be incomplete, such as arbitrarily thinning out the combinations.

On the other hand, in the information processing system 1 of the present embodiment, program code that is created based on the EMA type state transition table 100 and that describes the controlled object can be used as the model of the controlled object. As a result, the information processing system 1 can perform model checking on a limited number of combinations of events and modes. Further, in the information processing system 1 of the present embodiment, it is not necessary to newly create a model of the controlled object using a model language in order to perform model checking. Furthermore, 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 events and modes to be controlled.

(Modification)
Although the above-described EMA-type state transition table 100 expresses actions to be controlled when an event occurs under a plurality of modes as conditions, the present invention is not limited to this example.
For example, a compound event combining a plurality of events may be expressed as a condition for executing one action. In this case, the mode corresponding to the event may be singular or plural.
By doing so, it is possible to further organize one action unit in the EMA type state transition table 100 . In particular, it is possible to display only one action in the EMA-type state transition table 100 by expressing a unit of one action with a plurality of events and a plurality of modes as conditions. As a result, the EMA-type state transition table 100 further suppresses the number of displayed combinations from becoming too large.

(Modification)
As described above, the information processing system 1 of the present embodiment displays the EMA-type state transition table 100, which is a new state transition table. On the other hand, based on the EMA type state transition table 100, the information processing system 1 can create a state transition table in the form of the state transition table 900 of the comparative example. 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 using the event, mode, and action information of the EMA-type state transition table 100 . This allows the user to 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.

<Second embodiment>
Next, the information processing system 1 of the second embodiment will be described.
The basic configuration of the information processing system 1 of the second embodiment is the same as that of the information processing system 1 of the first embodiment. In the description of the second embodiment, the same reference numerals are assigned to the same configurations as in the first embodiment, and detailed description thereof will be omitted.

15, 16 and 17 are explanatory diagrams of the state transition table 990 of Comparative Example 2. FIG.

A state transition table 990 of Comparative Example 2 is for explaining a state transition table as a conventional technique. The state transition table 990 is for controlling AV equipment having functions of recording and playing back television programs and discs. In the state transition table 990 of Comparative Example 2, each item of event is arranged on the vertical axis, and each item of mode is arranged on the horizontal axis. An event is, for example, a user's operation of a remote control (remote controller) for operating a device, a selection operation for an item displayed on the screen in response to the operation of the remote control, or the like.

Events are, for example, a menu key, a program guide key, an option key, an enter key, an up arrow (↑) key, a down arrow (↓) key, a right arrow (→) key, a left arrow (←) key, and a volume up (+) key. It includes, for example, 100 types of event items such as pressing (change) of key, volume down (-) key, voice switching key, and the like.

Furthermore, the state transition table 990 of Comparative Example 2 is configured with modes of a plurality of categories as modes of AV equipment. Modes of a plurality of categories can be exemplified by a menu mode 991 related to the menu screen shown in FIG. 15, a mechanical mode 992 related to mechanical conditions shown in FIG. 16, and a channel mode 993 related to television channels shown in FIG.
For example, a menu mode 991, a mechanical mode 992, and a channel mode 993 are in a simple relationship that is not subordinate to each other. That is, there is no direct relationship between the mode of one category and the mode of another category.

Each category mode has a plurality of mode items.
The menu mode 991 shown in FIG. 15 includes, for example, 100 mode items such as a state in which a reservation screen for recording reservation is displayed, a state in which a setting screen for performing various settings is displayed, and the like.
The mechanical mode 992 shown in FIG. 16 includes, for example, 100 mode items such as a moving image playback state, a playback pause state, a slow playback state, a fast forward playback state, and a program recording state.
Channel mode 993 shown in FIG. 17 includes, for example, a state in which channel AAA is selected among digital channels, a state in which channel BBB is selected, a state in which channel CCC is selected, and a channel DDD is selected. It includes, for example, 100 different mode items such as the state of being connected, the state of channel EEE being selected, and the state of being switched to the input line to AV equipment.

As in the example of the state transition table 990 of Comparative Example 2 described above, when there are three mode categories each having 100 mode items, 100×100×100 combinations are generated. Furthermore, in the state transition table 990 of Comparative Example 2, as the number of mode categories increases, a state explosion can occur in which the number of combinations becomes enormous.

FIG. 18 is the EMA type state transition table 100 of the second embodiment.

As shown in FIG. 18, in the EMA-type state transition table 100, as described in the first embodiment, the conditions for performing one action when one event occurs are shown in one mode column (cell). It is possible to describe any combination of multiple modes. In particular, the EMA-type state transition table 100 can combine and express a plurality of modes, which are expressed as different mode categories in the state transition table 990 of Comparative Example 2, which is the prior art.

Note that the example of the EMA-type state transition table 100 shown in FIG. 18, like the state transition table 990 of Comparative Example 2, targets AV equipment having TV program and disk recording/playback functions. Also, the contents of the event, mode, action type, etc. in the EMA-type state transition table 100 are the same as those in the state transition table 990 of the second comparative example.

As shown in FIG. 18, when the up arrow (↑) key on the remote control is pressed as an event and the action is to output a key input sound (for example, a sound effect of "beep"), the mode is , described by several modes. In the example shown in FIG. 16, the plurality of modes are a state in which the reservation screen is displayed as the menu mode, a state in which the cursor position on the reservation screen is on the enter button image, a stop state or recording state as the mechanical mode, and The condition is that a specific channel is selected as the channel mode.

As described above, the EMA-type state transition table 100 of the second embodiment can express relationships between events, actions, and modes that cannot be described by the state transition table 990 of Comparative Example 2, which is the prior art. The EMA-type state transition table 100 of the second embodiment can describe all state transitions without causing a state explosion of combinations if the number of events and actions is finite.

Next, a non-priority-supported EMA-type state transition table 500 having the concept of priority and a priority-supported EMA-type state transition table 600 will be described.

FIG. 19 is a diagram showing an example of an EMA-type state transition table 500 that does not correspond to priority.

The example of the EMA-type state transition table 500 shown in FIG. 19, like the state transition table 990 of the comparative example 2, is intended to control AV equipment having TV program and disc recording/playback functions. The contents of the EMA-type state transition table 500, such as the types of events, modes, and actions, are the same as those of the state transition table 990 of the second comparative example.

The basic configuration of the EMA-type state transition table 500 shown in FIG. 19 is similar to that of the EMA-type state transition table 100 . That is, in the EMA-type state transition table 500, corresponding combinations of events (E), modes (M), and actions (A) are arranged side by side, for example. In the EMA-type state transition table 500, a plurality of sets of units are arranged side by side along the vertical direction, which is the direction of the second axis.

The EMA-type state transition table 500 describes the following relationships among events, modes, and actions, for example, in the first unit U11, which is the uppermost unit. The event is when the playback key is pressed as a key change event. Also, the mode is a state that satisfies the reproducible condition as an abstraction mode, and a power-on state as a power mode. Thus, in the EMA type state transition table 500, a plurality of modes are described in one cell. The first unit U11 performs a plurality of actions such as outputting a key input sound, executing playback, and executing other processing related to playback in the case of these event and mode conditions in one cell. described in

Here, the reproducible condition as the abstract mode is composed of, for example, a plurality of mode conditions that enable replay. The reproducible condition is composed of a set of states in which replay is possible, such as a state in which a replay disc for replay is placed in the tray, a state in which recorded data to be replayed exists, and the like. Abstract modes such as reproducible conditions can be defined in the mode definition table 300 shown in FIG. 6 or can be created on the mode edit screen 50 described with reference to FIG.

Also, the EMA-type state transition table 500 describes the following relationships among events, modes, and actions, for example, in the second unit U12, which is the next unit. The event is when the playback key is pressed as a key change event. In addition, the mode is a state that does not meet the reproducible condition as an abstraction mode (that is, a state that satisfies the unreproducible condition), and a power-on state as the power mode. The second unit U12 describes, in one cell, a plurality of actions such as outputting a key input sound and performing a non-reproducible display indicating that reproducibility is not possible in the case of these event and mode conditions. do.

Further, the EMA type state transition table 500 describes the following relationships among events, modes, and actions in a third unit U13, which is the next unit. The event is when the recording key is pressed as a key change event. Also, the mode is a state that satisfies a recordable condition as an abstraction mode, and a power-on state as a power mode. Then, the third unit U13 performs a plurality of actions such as outputting a key input sound, executing recording, and executing other processing related to recording in the case of these event and mode conditions in one cell. described in

Further, the EMA-type state transition table 500 describes the following relationships among events, modes, and actions in a fourth unit U14, which is the next unit. The event is when the recording key is pressed as a key change event. Also, the mode is a state in which the abstraction mode is not a recordable condition (that is, a state in which the recordable condition is satisfied), and a power supply mode is a power-on state. The fourth unit U14 describes in one cell a plurality of actions such as outputting a key input sound and displaying a non-recording display indicating that recording is not possible under these event and mode conditions. do.

Furthermore, the EMA-type state transition table 500 describes the following relationships among events, modes, and actions in a fifth unit U15, which is the next unit. The event is when a menu display timeout event occurs. The mode is a state in which a menu is being displayed as a menu mode. The fifth unit U15 describes in one cell an action of canceling the menu display in the case of these event and mode conditions.

The EMA-type state transition table 500 configured as described above can display only combinations of events and modes of actions to be executed. Therefore, in the EMA-type state transition table 500 of the second embodiment, the number of combinations of events and modes displayed in the EMA-type state transition table 500 can be made finite.

In addition, in the EMA-type state transition table 500 of the second embodiment, combinations of events and modes are grouped around one action, so the number of display columns for displaying combinations of events and modes is reduced. As a result, the EMA-type state transition table 500 of the present embodiment makes it easier for the user to understand the relationship between events, modes, and actions.

Furthermore, the EMA-type state transition table 500 uses concepts defined as abstract modes, such as reproducible conditions. The reproducible condition, which is an abstract mode, includes a plurality of modes corresponding to conditions that enable replay in the controlled object. In this way, the EMA-type state transition table 500 can display a plurality of modes as an abstract concept instead of enumerating them. Therefore, handling of the EMA-type state transition table 500 by the user becomes extremely easy. Also, the same abstraction mode (eg, playable condition) can be used repeatedly in the EMA-type state transition table 500 . Therefore, it becomes easy to describe the modes in the EMA type state transition table 500 .

The EMA-type state transition table 500 of this embodiment can express actions based on a plurality of modes classified into different categories, which could not be expressed in the state transition table 990 of Comparative Example 2, for example. to For example, the reproducible condition as the abstraction mode and the power-on as the power supply mode are in a simple relationship that is not subordinate to each other. For example, in the case of the state transition table 990 of Comparative Example 2, the categories are different from the power-on and the plurality of modes constituting the reproducible condition. Therefore, the state transition table 990 of Comparative Example 2 cannot handle power-on and a plurality of modes constituting the reproducible condition with one state transition table.
On the other hand, the EMA-type state transition table 500 can express the relationship between the regenerative conditions and the power modes in one table.

Next, the EMA-type state transition table 600 corresponding to priority will be described.
FIG. 20 is a diagram showing an example of an EMA-type state transition table 600 corresponding to priority.

The example of the EMA-type state transition table 600 shown in FIG. 20, like the state transition table 990 of the comparative example 2, is intended to control AV equipment having TV program and disc recording/playback functions. The contents of the EMA-type state transition table 600, such as the types of events, modes, and actions, are the same as those of the state transition table 990 of the second comparative example.

As shown in FIG. 20 , the basic configuration of an EMA-type state transition table 600 corresponding to priority is the same as the EMA-type state transition table 100 . That is, corresponding sets of event (E), mode (M) and action (A) are arranged side by side along the horizontal direction, which is the first axis direction, for example. This set of units is arranged side by side along the vertical direction. Specifically, in the EMA-type state transition table 600, for example, the first unit U21, which is the uppermost unit, to the seventh unit U27, which is the lowermost unit, are arranged side by side in the vertical direction, which is the direction of the second axis. .

In the EMA-type state transition table 600 corresponding to priority according to the present embodiment, the display order of units in the table is specified in advance. Also, when entering a plurality of units of events, modes, and actions in the EMA-type state transition table 600, they are entered in order from the top to the bottom of the table, for example. In the example of FIG. 20, when the first unit U21, which is the first unit, is entered in the blank EMA-type state transition table 600, the first unit U21 is entered in the uppermost column of the table. When entering the second unit U22, which is a new unit after entering the first unit U21, the second unit U22 is displayed in the row below the first unit U21. Thus, in the EMA-type state transition table 600, when the user attempts to input a plurality of units, the first unit U21 to the seventh unit U27 are input in order from the upper column to the lower column. .

The EMA-type state transition table 600 is managed by the management unit 11 in association with the contents of the units of events, modes, and actions described and the order of description in the table of the units.
In this way, the EMA-type state transition table 600 enables the user to be aware of the priority of events, modes, and actions when inputting events, modes, and actions or viewing displayed content. ing. In the present embodiment, in the vertical direction, which is the second axis direction from the top to the bottom of the EMA type state transition table 600, the events, modes, and actions listed at the top are prioritized. It is defined. That is, in the EMA-type state transition table 600, a plurality of units in which combinations of events, modes, and actions are arranged are arranged and displayed according to the order of priority. In the EMA-type state transition table 600, the order of priority of state transitions can be described.

The EMA-type state transition table 600 can associate the condition of one unit whose order is described first with another unit whose order is described later than that one unit. The unit condition includes at least one of event, mode and action, or a combination of at least two of event, mode and action.

In addition, as described above, the EMA-type state transition table 600 corresponding to the priority order defines the priority order of units in the table. In the EMA type state transition table 600, each unit is handled from the top to the bottom of the table. In addition, the conditions of events and modes listed higher in the EMA-type state transition table 600 are prioritized. A specific example will be described below.

As shown in FIG. 20, the EMA-type state transition table 600 describes the following relationships among events, modes, and actions in the first unit U21, which is the uppermost unit, for example. An event is when any one of all keys is pressed as a key change event. Also, the mode is "unconditional" which does not require a specific mode. The first unit U21 describes an action of outputting a key input sound in the case of these event and mode conditions.

The EMA-type state transition table 600 corresponding to priority has a determination input column 116 for displaying attributes related to determination. The determination input field 116 is provided with a determination item name 10j indicating that it is a field for inputting an attribute related to determination. In the determination input field 116, either "continue" (for example, common display, an example of inclusion information) or "complete" (for example, exclusion display, an example of exclusion information) can be entered.

"Continued" in the determination input field 116 indicates that the event, mode, and action conditions of the unit in which "Continued" is displayed are also included in other units. For example, if there is another unit that satisfies the conditions of the event and mode of the unit in which "Continue" is displayed, it is described that the corresponding action is executed in the other unit as well.

On the other hand, in the "completion" of the determination input field 116, the conditions of the event, mode, and action in the unit in which "completion" is displayed are excluded in the units that are higher in priority than the unit in which "completion" is displayed. indicates that In other words, it is described that the event, mode, and action conditions for the units in which "completed" is displayed are not used for other units.

In the example of FIG. 20, "Continue" is displayed in the first unit U21. Therefore, the first unit U21 sets the mode to "unconditional" and sets the key input sound processing to output the key input sound as an action when an event occurs in which any one of all the keys is pressed. Describe what to do. Then, in another unit, it is described that when the event and mode conditions in the first unit U21 are satisfied, the processing of the key input sound, which is the action of the first unit U21, is executed.

Here, in the EMA-type state transition table 500 not corresponding to the priority order described with reference to FIG. It was necessary to describe each action.
On the other hand, in the EMA-type state transition table 600 corresponding to priority, it is possible to collectively describe actions common to a plurality of actions.

In this way, the EMA-type state transition table 600 can display actions common to actions of a plurality of other units in one unit. Further, the EMA-type state transition table 600 can display "Continue" in the determination input field 116, which indicates that one unit action is common to a plurality of other unit actions.

Furthermore, as shown in FIG. 20, the EMA type state transition table 600 describes the following relationships among events, modes, and actions in a second unit U22 described after the first unit U21. An event is when any one of all keys is pressed as a key change event. Also, the mode is a power-off state as a power mode. The second unit U22 then describes the action of "do nothing" for these event and mode conditions.
Note that the attribute related to the determination of the second unit U22 is "completed". Therefore, the action "execute no processing" in the second unit U22 is not used in common with other actions.

As described above, the EMA-type state transition table 600 can display "Completed" in the determination input field 116, which indicates that the condition of one unit is excluded in another unit. Then, the conditions described in the second unit U22 are excluded from the conditions of other units whose priority is described later in the second unit U22. Therefore, it is not necessary to re-describe the condition of the unit for which "Completed" is displayed in the EMA-type state transition table 600 in subsequent units. For example, in the second unit U22, it is not necessary to consider the condition that an event occurs in which one of all keys is pressed while the power is off as the power mode, after the second unit U22. Thus, the EMA-type state transition table 600 is easy for the user to handle when inputting state transitions.

Furthermore, the EMA type state transition table 600 describes the following relationships among events, modes, and actions in a third unit U23 described next to the second unit U22. The event is when the playback key is pressed as a key change event. Also, the mode is a reproducible condition as an abstract mode. The third unit U23 then describes the action of playing back and performing other playback-related processing in the case of these event and mode conditions.

Furthermore, the EMA type state transition table 600 describes the following relationships among events, modes, and actions in a fourth unit U24 described next to the third unit U23. The event is when the playback key is pressed as a key change event. Also, the mode is "unconditional". Then, the fourth unit U24 describes an action of executing a reproduction-impossible display process for displaying a reproduction-impossible screen in the case of these event and mode conditions.

As described above, in the EMA type state transition table 600, priority is provided in order of description in the table. The condition for the fourth unit U24 is that the playback key, which is the same event as for the third unit U23, has been pressed. Then, in the third unit U23, determination has already been made regarding the case where the play key is pressed as an event and the mode satisfies the playable condition. Therefore, in the fourth unit U24, the conditions used in the third unit U23, which has a higher priority than the fourth unit U24, are excluded. In this case, in the fourth unit U24, an opposite condition, which is a condition different from the already determined condition of the third unit U23, is applied. That is, in the case of the fourth unit U24, the mode is set to the condition in which reproduction is impossible, which is the opposite condition to the condition in which reproduction is possible in the third unit U23.

Thus, in the EMA type state transition table 600, a condition (opposite condition) that is different from the condition already determined in one unit can be used in another unit that is lower in priority than the one unit. In the EMA-type state transition table 600 of the present embodiment, by describing "unconditional" (for example, an example of a specific description) in the mode of another unit, a condition that deviates from the conditions already determined in one unit (opposite condition) can be used. In the EMA type state transition table 600, a condition (opposite condition) different from the already determined condition can be used without determination.

Here, in the EMA type state transition table 500 not corresponding to the priority order described with reference to FIG. In the condition of , it was necessary to write that the reproducible condition was not satisfied (“! Reproducible condition” in the example of FIG. 19).

On the other hand, in the EMA-type state transition table 600 corresponding to the priority, "unconditional" which does not need to be judged as a condition that has already been judged in a unit with a higher priority than the target unit. can be specified as the mode of

Subsequently, the EMA-type state transition table 600 describes the following relationships among events, modes, and actions in the fifth unit U25. The event is when the recording key is pressed as a key change event. Also, the mode is a recordable condition as an abstract mode. Then, the fifth unit U25 describes the action of recording the mechanical mode and executing other processing related to recording in the case of these event and mode conditions.

Furthermore, the EMA-type state transition table 600 describes the following relationships among events, modes, and actions in a sixth unit U26 described next to the fifth unit U25. The event is when the recording key is pressed as a key change event. Also, the mode is "unconditional". Then, the sixth unit U26 describes an action of executing a recording-disabled display process of displaying a recording-disabled screen in the case of these event and mode conditions.

In this way, in the priority-based EMA state transition table 600, in the sixth unit U26, a condition that is not already determined in the fifth unit U25, which has a higher priority than the sixth unit U26, is specified. It is possible to do so.

A seventh unit U27, which is the lowest unit shown in FIG. 20, is the same as the fifth unit U15 shown in FIG. In this way, the EMA-type state transition table 600 corresponding to priority can also describe events, modes, and actions similar to those of the EMA-type state transition table 500 not corresponding to priority.

In the EMA-type state transition table 600 of the present embodiment, a plurality of units each consisting of a combination of events, modes, and actions are arranged and displayed based on the order of priority. In the EMA-type state transition table 600, for example, the user can enter conditions for lower units after excluding conditions for units with higher priority. As a result, the EMA type state transition table 600 allows the user to describe the state transitions of the controlled object in order while sifting out the conditions from the higher priority unit to the lower priority unit.

Note that the EMA-type state transition table 600 corresponding to priority includes "Continue" displayed when the condition of one unit is included in another unit, and "Complete" displayed when the condition of one unit is excluded in another unit. Aspects are not limited to these examples. For example, instead of displaying "Continue" and "Complete", other letters or symbols (for example, "C", "E", "o" or "x") or figures such as arrows may be used.

Next, a guide function in the EMA-type state transition table 600 corresponding to priority will be described.
FIG. 21 is an explanatory diagram of the guide display section 650 of the EMA-type state transition table 600. As shown in FIG.

When the user inputs or edits the EMA-type state transition table 600, it is assumed that it becomes difficult to understand the relationship of the conditions according to the priority order.
In response to this, the reception unit 13 of the present embodiment causes the display screen 30m of the terminal device 30 to display a guide display unit 650 (for example, an example of condition display) via the display unit 15 .

As shown in FIG. 21, the guide display portion 650 is displayed when the user places the mouse cursor over any cell in the EMA type state transition table 600, for example.
The guide display section 650 displays information about events, modes, and actions of other units associated with the unit corresponding to the position of the mouse cursor (the fourth unit 24 in the example of FIG. 20). indicate.

The guide display section 650 displays, as a condition associated with the target unit, information that the key input sound process is unconditionally executed when any key is pressed, which is described in the first unit U21. .
In addition, the guide display unit 650, as a condition to be excluded in the target unit, indicates that any key described in the second unit U22 is pressed and in the power off mode, "do not execute any process". ” is displayed.
Further, the guide display unit 650 reproduces and performs other reproduction-related processing when the reproduction key is pressed and the reproduction enable condition described in the third unit U23 is satisfied as an exclusion condition for the target unit. will be executed.

In this way, the guide display section 650 displays information on events, modes, and actions of other units associated with the target unit. In addition, the guide display section 650 displays information on events, modes, and actions that are excluded in the target unit. This allows the user to confirm the relevance of the conditions with other units having higher priority when inputting the target unit.

As described above, the EMA-type state transition table 600 of the second embodiment also provides a state transition table that suppresses the state explosion of combinations by using a novel event, mode, and action description method. be able to.

Note that the display by the guide display unit 650 is not limited to the above example. The guide display section 650 may indicate the relationship of conditions in a plurality of units for each event content (for example, ES1 “playback key” shown in FIG. 21).

Here, even in the EMA-type state transition table 600 corresponding to the priority order, the conditions for executing one action for one action are expressed in units of arranged events and modes. As described with reference to FIG. 13, the EMA-type state transition table 600 makes it easy to create pseudocode following the structure of the table. That is, the priority-based EMA-type state transition table 600 facilitates autocoding.

In addition, the display unit 15 mutually converts the EMA-type state transition table 500 (see FIG. 19) that does not correspond to the priority order and the EMA-type state transition table 600 that corresponds to the priority order (see FIG. 20) to the display screen 30m. may be displayed. That is, the display unit 15 may convert the state transition contents of the EMA-type state transition table 500 into the form of the EMA-type state transition table 600 and display them. On the other hand, the display unit 15 may convert the state transition contents of the EMA-type state transition table 600 into the form of the EMA-type state transition table 500 and display them.

As a result, for example, the user can mutually check the EMA-type state transition table 600 in which common conditions are collectively displayed and the EMA-type state transition table 500 in which conditions are displayed respectively. Allows the user to compare the relationship between content and non-prioritized content.

Various embodiments and modifications have been described above, but these embodiments and modifications may be combined.
In addition, the present disclosure is not limited to the above embodiments, and can be embodied in various forms without departing from the gist of the present disclosure.

DESCRIPTION OF SYMBOLS 1... Information processing system 11... Management part 13... Receiving part 15... Display part 30... Terminal device 50... Mode edit screen 100, 500, 600... EMA state transition table, 111... Event input column, 112... Mode input field 113... Action input field 114... Specification reason input field 115... Test result input field 116... Judgment input field 650... Guide display part

Claims (13)

receiving means for receiving input of an event occurring in the controlled object, a mode that is the state of the controlled object, and an action that is the process executed by the controlled object;
display means for displaying a state transition table in which a plurality of units in which combinations of events, modes, and actions are arranged in a first axis direction are arranged in a predetermined order in a second axis direction different from the first axis direction; ,
with
An information processing system, wherein a condition of one unit whose order is described first can be associated with another unit whose order is described later than the one unit. 2. The information processing system according to claim 1, wherein said display means displays an action common to a plurality of actions of said other units in said one unit. 3. The information processing according to claim 2, wherein said display means displays, on said state transition table, a common display indicating that said one unit action is common to a plurality of said other unit actions. system. 2. The information processing system according to claim 1, wherein said state transition table excludes event and mode conditions of said one unit in said other unit. 5. The information according to claim 4, wherein said display means displays, on said state transition table, an exclusion display indicating that said event and mode conditions in said one unit are excluded in said other unit. processing system. 2. The information processing according to claim 1, wherein said display means displays, on said state transition table, a specific description for using a condition deviating from said one unit mode condition in said other unit. system. 2. The information processing system according to claim 1, wherein said display means displays an action indicating that said controlled object does not execute processing on said state transition table. 2. The information processing system according to claim 1, wherein said display means displays an abstract mode obtained by abstracting a plurality of different modes collectively in said state transition table. 2. The display unit according to claim 1, wherein, when receiving designation of a target unit in said state transition table, said display means displays a condition display indicating a condition of another unit related to said unit. information processing system. receiving means for receiving input of an event occurring in the controlled object, a mode that is the state of the controlled object, and an action that is the process executed by the controlled object;
display means for displaying a state transition table in which a plurality of units in which combinations of events, modes, and actions are arranged are arranged in order of priority;
An information processing system comprising: A display device for displaying a state transition table showing a combination of an event occurring in a controlled object, a mode that is the state of the controlled object, and an action that is the process executed by the controlled object,
a first display displaying a first unit of horizontally arranged first combinations of events, modes and actions;
a second display portion displaying a second unit in which a second combination of events, modes and actions are arranged horizontally below the first unit;
a third display unit displaying a third unit in which a third combination of events, modes and actions are arranged horizontally below the second unit;
a fourth display unit displaying a fourth unit in which a fourth combination of events, modes and actions are arranged horizontally below the third unit;
an inclusion display unit displaying inclusion information indicating that the first combination condition of the first unit is included in the second unit;
an exclusion display unit displaying exclusion information indicating that the condition of the third combination of the third unit is excluded in the fourth unit;
A display device comprising: a step of receiving input of an event occurring in the controlled object, a mode that is the state of the controlled object, and an action that is the process executed by the controlled object;
displaying a state transition table in which a plurality of units in which combinations of events, modes, and actions are arranged in a first axis direction are arranged in a predetermined order in a second axis direction different from the first axis direction;
associating the condition of one unit whose order is listed first with another unit whose order is listed later than the one unit;
An information processing method comprising: to the computer,
a function of accepting input of an event occurring in a controlled object, a mode, which is the state of the controlled object, and an action, which is the process executed by the controlled object;
a function of displaying a state transition table in which a plurality of units in which combinations of events, modes, and actions are arranged in a first axis direction are arranged in a predetermined order in a second axis direction different from the first axis direction;
A function of associating the condition of one unit whose order is described earlier with another unit whose order is described later than the one unit;
program to realize

Images