JP7085777B1 - 情報処理システム、表示装置、情報処理方法およびプログラム - Google Patents

Abstract

【課題】組合せの状態爆発が抑制される新規な状態遷移表を提供する。【解決手段】情報処理システムは、制御対象にて生じるイベント、制御対象の状態であるモード、および制御対象が実行する処理であるアクションの入力を受け付ける受付手段と、イベント、モードおよびアクションの組合せが第１軸方向において並べられた単位を、第１軸方向とは異なる第２軸方向において予め定められた順序で複数並べた状態遷移表を表示する表示手段と、を備える。そして、順序が先に記載される一の単位の条件を、一の単位よりも順序が後に記載される他の単位に関連付けることが可能なことを特徴とする。【選択図】図２０

Description

本発明は、新規な状態遷移表を表示する情報処理システム、表示装置、情報処理方法およびプログラムに関する。

特許文献１には、複数の状態項目と、複数のイベント項目と、それぞれの項目に対応する処理情報定義セルとをもつ状態遷移表の表示方法であって、行項目から列項目または列項目から行項目に移動させる項目を選択する段階と、選択した項目の移動先を選択する段階と、移動先の上層の階層項目の構成に従って、選択した項目の移動後の構成を決定する段階と、選択した項目の構成に従って、移動先の下層の階層項目の構成を決定する段階と、移動させた項目の移動元の上層の階層項目の構成に従って、選択した項目を移動させた後の下層の項目の構成を決定する段階と、決定した項目構成に従って、処理情報セルを配置する段階とによって状態遷移表を作成し、作成された状態遷移表を表示する状態遷移表の表示方法が開示されている。

特開２０１０－１３４７２１号公報

ところで、ハードウェアやソフトウェア等の設計を行う際、例えば製品やプログラムなどの制御対象が一のモードである場合に一のイベントが発生した際の制御対象のアクションを把握する必要がある。このような把握には、例えば縦軸および横軸に、モードおよびイベントを配置し、モードとイベントとに対応するセルにアクションを記述する状態遷移表が用いられる場合がある。

しかしながら、従来の状態遷移表では、制御対象にて生じるイベントと制御対象がとるモードとの組合せが膨大な数に及ぶ状態爆発が起こる可能性がある。このような組合せの状態爆発が起こると、状態遷移表自体をユーザが取り扱うことが極めて困難となるおそれがある。
本発明は、組合せの状態爆発が抑制される状態遷移表を提供することを目的とする。

かかる目的のもと、本明細書に開示される技術は、制御対象にて生じるイベント、当該制御対象の状態であるモード、および当該制御対象が実行する処理であるアクションの入力を受け付ける受付手段と、イベント、モードおよびアクションの組合せが第１軸方向において並べられた単位を、当該第１軸方向とは異なる第２軸方向において予め定められた順序で複数並べた状態遷移表を表示する表示手段と、を備え、前記順序が先に記載される一の単位の条件を、当該一の単位よりも当該順序が後に記載される他の単位に関連付けることが可能なことを特徴とする情報処理システムである。
ここで、前記表示手段は、複数の前記他の単位のアクションに共通するアクションを前記一の単位に表示するとよい。
また、前記表示手段は、前記一の単位のアクションが複数の前記他の単位のアクションに共通することを示す共通表示を前記状態遷移表に表示するとよい。
また、前記状態遷移表は、前記一の単位のイベントおよびモードの条件を前記他の単位において除外するとよい。
また、前記表示手段は、前記一の単位の前記イベントおよびモードの条件を前記他の単位において除外することを示す除外表示を前記状態遷移表に表示するとよい。
また、前記表示手段は、前記一の単位のモードの条件から外れた条件を前記他の単位で用いるための特定記述を前記状態遷移表に表示するとよい。
また、前記表示手段は、前記制御対象が処理を実行しないというアクションを前記状態遷移表に表示するとよい。
また、前記表示手段は、異なる複数のモードをまとめて抽象化した抽象化モードを前記状態遷移表に表示するとよい。
また、前記表示手段は、前記状態遷移表において対象となる単位の指定を受け付けた際に、当該単位に関連する別の単位の条件を示す条件表示を表示するとよい。

かかる目的のもと、本明細書に開示される技術は、制御対象にて生じるイベント、当該制御対象の状態であるモード、および当該制御対象が実行する処理であるアクションの入力を受け付ける受付手段と、イベント、モードおよびアクションの組合せが並べられた単位を優先順位に従って複数並べた状態遷移表を表示する表示手段と、を備えることを特徴とする情報処理システムである。

かかる目的のもと、本明細書に開示される技術は、制御対象にて生じるイベント、当該制御対象の状態であるモード、および当該制御対象が実行する処理であるアクションの組合せを示す状態遷移表を表示する表示装置であって、イベント、モードおよびアクションの第１の組合せを横方向に並べた第１単位を表示する第１表示部と、イベント、モードおよびアクションの第２の組合せを横方向に並べた第２単位を前記第１単位の下側に表示する第２表示部と、イベント、モードおよびアクションの第３の組合せを横方向に並べた第３単位を前記第２単位の下側に表示する第３表示部と、イベント、モードおよびアクションの第４の組合せを横方向に並べた第４単位を前記第３単位の下側に表示する第４表示部と、前記第１単位の前記第１の組合せの条件を前記第２単位に含めることを示す包含情報を表示する包含表示部と、前記第３単位の前記第３の組合せの条件を前記第４単位において除外することを示す除外情報を表示する除外表示部と、を備えることを特徴とする表示装置である。

かかる目的のもと、本明細書に開示される技術は、制御対象にて生じるイベント、当該制御対象の状態であるモード、および当該制御対象が実行する処理であるアクションの入力を受け付けるステップと、イベント、モードおよびアクションの組合せが第１軸方向において並べられた単位を、当該第１軸方向とは異なる第２軸方向において予め定められた順序で複数並べた状態遷移表を表示するステップと、前記順序が先に記載される一の単位の条件を、当該一の単位よりも当該順序が後に記載される他の単位に関連付けるステップと、を備えることを特徴とする情報処理方法である。

かかる目的のもと、本明細書に開示される技術は、コンピュータに、制御対象にて生じるイベント、当該制御対象の状態であるモード、および当該制御対象が実行する処理であるアクションの入力を受け付ける機能と、イベント、モードおよびアクションの組合せが第１軸方向において並べられた単位を、当該第１軸方向とは異なる第２軸方向において予め定められた順序で複数並べた状態遷移表を表示する機能と、前記順序が先に記載される一の単位の条件を、当該一の単位よりも当該順序が後に記載される他の単位に関連付ける機能と、を実現させるプログラムである。

本発明によれば、組合せの状態爆発が抑制される状態遷移表を提供することができる。

本実施形態の情報処理システムの概略図である。 情報処理装置のハードウェア構成例を示した図である。 情報処理装置の状態遷移表に関わる機能を実現する機能ブロック図である。 本実施形態の状態遷移表の一例を示す図である。 本実施形態のイベント定義テーブルの一例を示す図である。 本実施形態のモード定義テーブルの一例を示す図である。 本実施形態のアクション定義テーブルの一例を示す図である。 本実施形態のモード編集画面の説明図である。 定義テーブルに対する定義情報の追加を促す画面の一例を示す図である。 複合モードの作成を促す画面の一例を示す図である。 本実施形態の状態遷移表の具体例の説明図である。 動的構造図と静的構造図と状態遷移表との関係を示す図である。 本実施形態のプログラムコードの出力の一例を示す図である。 比較例の状態遷移表の説明図である。 比較例２の状態遷移表の説明図である。 比較例２の状態遷移表の説明図である。 比較例２の状態遷移表の説明図である。 第２実施形態のＥＭＡ型状態遷移表である。 優先順位非対応のＥＭＡ型状態遷移表の一例を示す図である。 優先順位対応のＥＭＡ型状態遷移表の一例を示す図である。 ＥＭＡ型状態遷移表のガイド表示部の説明図である。

以下、添付図面を参照して、本発明の実施形態について説明する。

＜第１実施形態＞

（情報処理システム１）
図１は、本実施形態の情報処理システム１の概略図である。

図１に示すように、情報処理システム１は、ＥＭＡ（エマ）型状態遷移表１００（後述の図４参照）に関する各種の情報を管理する情報処理装置１０と、本システムを利用するユーザが利用する端末装置３０と、を有する。そして、情報処理装置１０および端末装置３０は、ネットワーク９０を介して互いに接続されている。

本実施形態の情報処理システム１では、情報処理装置１０において、制御対象の状態遷移を管理し、端末装置３０を介してユーザからＥＭＡ型状態遷移表１００の編集を受け付けたり、ＥＭＡ型状態遷移表１００をユーザに参照させたりする。
ここで、本実施形態のＥＭＡ型状態遷移表１００による表現の対象となる制御対象は、ハードウェア、ソフトウェア、ハードウェアとソフトウェアとが協働するシステムとすることができる。制御対象となるソフトウェアとしては、例えば制御プログラムやアプリケーションプログラムなどを例示できる。また、制御対象となるハードウェアとしては、例えば電子回路や住宅などを例示できる。さらに、システムとしては、例えば自動車などを例示できる。また、ＥＭＡ型状態遷移表１００による表現の対象となる制御対象は、一つの製品等の単位に限定されず、その製品等を構成する部品の単位であってもよい。

なお、図１に示す情報処理システム１においては、情報処理装置１０が１台設けられ、端末装置３０が２台設けられている例を用いるが、情報処理装置１０および端末装置３０の数は特に限定されない。例えば、情報処理システム１が複数の情報処理装置１０を備えている場合、複数の情報処理装置１０による分散処理を行っても良い。

（情報処理装置１０のハードウェア構成）
図２は、情報処理装置１０のハードウェア構成例を示した図である。

本実施形態における情報処理装置１０のハードウェア構成例を示した図である。図２に示すように、情報処理装置１０は、ＣＰＵ１０１と、主記憶装置１０２と、補助記憶装置１０３と、通信インターフェース（図では「通信Ｉ／Ｆ」と表記）１０４と、表示デバイス１０５と、入力デバイス１０６とを備える。

ＣＰＵ１０１は、例えば補助記憶装置１０３に記憶された各種プログラムを主記憶装置１０２にロードして実行することにより、情報処理装置１０の機能を実現する。
主記憶装置１０２は、ＣＰＵ１０１の作業用メモリ等として用いられるメモリである。
補助記憶装置１０３は、ＣＰＵ１０１が実行する各種プログラム、情報処理装置１０で作成または取得したデータ等を記憶するメモリである。補助記憶装置１０３には、ＳＳＤ（Solid State Drive）やＨＤＤ（Hard Disk Drive）などを用いることができる。

通信Ｉ／Ｆ１０４は、ネットワーク９０を介して他の装置との間で各種情報の送受信を行う。
表示デバイス１０５は、情報処理装置１０内部から出力された各種情報を表示するデバイスである。ここで、表示デバイスとしては、例えば、液晶ディスプレイを用いることができる。
入力デバイス１０６は、ユーザが入力した情報を受け取り、これを情報処理装置１０内部へ入力するデバイスである。

なお、図２に示したハードウェア構成は、端末装置３０のハードウェア構成としても同様である。

ここで、ＣＰＵ１０１によって実行されるプログラムは、半導体メモリなどのコンピュータが読取可能な記録媒体に記憶した状態で、情報処理装置１０へ提供することができる。また、ＣＰＵ１０１によって実行されるプログラムは、情報処理装置１０や端末装置３０などにダウンロードしてもよい。例えば、情報処理装置１０の上記各機能を実現するプログラムを、アプリケーションとして情報処理装置１０にダウンロードしてもよい。

図３は、情報処理装置１０の状態遷移表に関わる機能を実現する機能ブロック図である。
情報処理装置１０は、ＥＭＡ型状態遷移表１００を管理する管理部１１と、ＥＭＡ型状態遷移表１００の編集を受け付ける受付部１３と、ＥＭＡ型状態遷移表１００や動的構造図や静的構造図（後述の図１２参照）を視覚的にユーザに示すために表示する表示部１５と、ＥＭＡ型状態遷移表１００に基づくプログラムコード等を出力する出力部１７と、を有する。
なお、情報処理装置１０の各構成部は、上述したハードウェアによって実現される。

（管理部１１）
管理部１１は、制御対象にて生じるイベント、制御対象がとり得るモード、および制御対象が実行するアクションの関係を表現するＥＭＡ型状態遷移表１００を管理する。また、管理部１１（例えば、記憶手段の一例）は、イベントを定義するイベント定義テーブル２００（例えば、イベント定義情報の一例）、モードを定義するモード定義テーブル３００（例えば、モード定義情報の一例）、およびアクションを定義するアクション定義テーブル４００（例えば、アクション定義情報の一例）を管理する。
なお、本実施形態において、イベント定義テーブル２００、モード定義テーブル３００およびアクション定義テーブル４００をそれぞれ特に区別しない場合には、「定義テーブル」と総称する。

管理部１１は、受付部１３にて受け付けたユーザの編集に基づいて、ＥＭＡ型状態遷移表１００および各種の定義テーブルの内容を更新したり、更新された内容を記憶したりする。
また、管理部１１は、記憶しているＥＭＡ型状態遷移表１００の情報を、表示部１５や出力部１７に送信する。

図４は、本実施形態のＥＭＡ型状態遷移表１００の一例を示す図である。
図５は、本実施形態のイベント定義テーブル２００の一例を示す図である。
図６は、本実施形態のモード定義テーブル３００の一例を示す図である。
図７は、本実施形態のアクション定義テーブル４００の一例を示す図である。

（ＥＭＡ型状態遷移表）
まず、本実施形態で用いるＥＭＡ型状態遷移表１００について説明する。
図４に示すように、ＥＭＡ型状態遷移表１００は、項目名が表示されるヘッダ部１００ｈと、項目に対応する内容が入力される入力部１００ｉと、を有する。

ヘッダ部１００ｈは、イベント（Ｅ）項目名１０ｅ、モード（Ｍ）項目名１０ｍ、アクション（Ａ）項目名１０ａ、仕様理由（Ｒ）項目名１０ｒおよび試験結果（Ｔ）項目名１０ｔの各項目名が設けられる。ヘッダ部１００ｈにおいて、各項目名は、第１軸方向（例えば横方向）に並べて配置される。
ここで、本実施形態の説明において、イベントとは、制御対象において発生する事象である。イベントは、制御対象に対する入力と捉えることもできる。モードは、制御対象の状態である。アクションは、制御対象が実行する処理である。

入力部１００ｉは、ヘッダ部１００ｈにおける各項目名に対応して、イベント入力欄１１１、モード入力欄１１２、アクション入力欄１１３、仕様理由入力欄１１４および試験結果入力欄１１５を有する。入力部１００ｉにおいて、イベント入力欄１１１、モード入力欄１１２、アクション入力欄１１３、仕様理由入力欄１１４および試験結果入力欄１１５は、それぞれ第１軸方向（例えば、横方向）に並べて配置される。

イベント入力欄１１１は、イベントが記入される入力欄である。例えば、制御対象がテレビなどの家電製品である場合、電源ボタンの変化がイベントとしてイベント入力欄１１１に記入される。

モード入力欄１１２は、モードが記入される入力欄である。モードは、制御対象について異なる複数の観点から捉えることができる。そして、モードは、観点ごとに設けられるカテゴリに分類される。例えば、制御対象の各々のモードは、「電源」という観点で捉えたカテゴリと、「メニュー」という観点で捉えたカテゴリとにそれぞれ分類される。例えば、「電源」というカテゴリには、「ＯＮモード」と「ＯＦＦモード」とが含まれる。また、「メニュー」というカテゴリには、「メニュー操作中モード」と、「メニュー非操作モード」とが含まれる。

そして、一のカテゴリ内に含まれる複数のモードは、制御対象が同時にとることができない状態である。例えば、「電源」というカテゴリにおいて、「ＯＮモード」と「ＯＦＦモード」とは、制御対象が同時にとることができない、並行しない２つの状態である。一方で、異なる複数のカテゴリとの関係においては、一のカテゴリに含まれるモードと、他のカテゴリに含まれるモードとは、制御対象が同時にとることができる状態を含む。例えば、「電源」というカテゴリの「ＯＮモード」と、「メニュー」というカテゴリの「メニュー操作中モード」とは、制御対象が同時にとることができる、並行する２つの状態である。

そして、本実施形態のＥＭＡ型状態遷移表１００では、一のモード入力欄１１２には、制御対象に一のイベントが生じた際に一のアクションを行う場合のモードの条件（以下、モード条件と呼ぶ）が入力される。モード条件は、イベントとアクションとの関係に応じて、単数のモードで構成されたり、複数のモード（以下、複合モードと呼ぶ）で構成されたりする。したがって、一のモード入力欄１１２には、単数のモードや複合モードが入力される。

アクション入力欄１１３は、アクションが記入される入力欄である。そして、本実施形態のＥＭＡ型状態遷移表１００では、一のアクション入力欄１１３には、一のアクションが入力される。例えば、制御対象がテレビなどの家電製品である場合、電源をＯＦＦにするという処理がアクションとしてアクション入力欄１１３に記入される。
アクションは、制御対象が行う処理である。そして、制御対象が処理を行うことで制御対象の状態であるモードが遷移する。本実施形態では、アクションは、状態遷移を含む概念と捉えることができる。なお、アクション入力欄１１３には、アクションのみを記入したり、アクションに伴う遷移後の状態である遷移後モードを併記したりすることができる。

仕様理由入力欄１１４は、制御対象の仕様に関する仕様情報をユーザが記入する入力欄である。一の仕様理由入力欄１１４は、一のアクションに対応して設けられる。例えば、制御対象の仕様を変更したときの注意点などが仕様理由として仕様理由入力欄１１４に記入される。このように、本実施形態のＥＭＡ型状態遷移表１００は、仕様書としても利用できるようになっている。

試験結果入力欄１１５は、制御対象の試験に関する試験情報を記入する入力欄である。一の試験結果入力欄１１５は、一のアクションに対応して設けられる。
一般的に、製品開発においては、所定のモードとイベントとの組合せに関する制御対象の動作であるアクション等を確認する試験が行われる。そして、試験結果入力欄１１５は、試験結果を記入するための記入欄として用いられる。例えば、ユーザが制御対象の試験を行う際に、ＥＭＡ型状態遷移表１００が参照される。そして、試験結果入力欄１１５には、例えば、イベントとモードとの組合せのときの動作内容が、ＥＭＡ型状態遷移表１００に記載されるアクションと一致しているか否かという試験結果などの試験情報が入力される。なお、試験結果入力欄１１５に対する入力は、ユーザによる記入に限定されず、例えば後述するモデル検査の実施に伴って情報処理装置１０が自動的に行ってもよい。
また、制御対象の試験は、制御対象の動作試験、後述するモデル検査、ＥＭＡ型状態遷移表１００に基づいて作成されたプログラムコードに対する検査、このプログラムコードが実装された制御対象（実機）の動作試験など各種の試験を例示できる。

本実施形態の試験結果入力欄１１５には、各検査を特定するための検査ＩＤと、検査結果を記入するための入力欄と、検査の実施日を記入する実施日欄と、担当者の情報を記入する担当者欄が設けられている。
このように、本実施形態のＥＭＡ型状態遷移表１００は、制御対象の検査結果の記入書としても利用できるようになっている。

以上のように構成されるＥＭＡ型状態遷移表１００の入力部１００ｉでは、イベント、モード、アクション、仕様理由および検査結果が、第１軸方向（例えば、横方向）において並べられる。そして、本実施形態のＥＭＡ型状態遷移表１００では、一のアクションに対して、イベント、モード、仕様理由および検査結果を関連付ける。このように、本実施形態のＥＭＡ型状態遷移表１００では、一のアクションと、当該一のアクションに関連付けられたイベント、モード、仕様理由および検査結果とによって一組の単位が構成され、この一組の単位が例えば一行に表示される。そして、ＥＭＡ型状態遷移表１００では、複数の単位が第２軸方向である縦方向において並べて表示される。すなわち、本実施形態のＥＭＡ型状態遷移表１００では、複数の単位がリスト状に表示される。

上記のとおり、本実施形態のＥＭＡ型状態遷移表１００では、一のアクションの単位で、イベントやモードが表示される。そして、本実施形態のＥＭＡ型状態遷移表１００では、制御対象が実行するアクションに対応するイベントおよびモードだけしか表示しない。特に、本実施形態のＥＭＡ型状態遷移表１００では、制御対象が実行しないアクションは、一切表示しない。ここで、制御対象が実行しないアクションとは、例えばイベントおよびモードの組合せが制御対象として有り得ないものである。つまり、本実施形態のＥＭＡ型状態遷移表１００は、制御対象で実行されないアクションに対応するイベントおよびモードの組合せが示されず、制御対象が実行するアクションに対応するイベントおよびモードの組合せが示される。これによって、本実施形態のＥＭＡ型状態遷移表１００では、表示されるイベントおよびモードの組合せの数が有限個数に収まるようになり、組合せの状態爆発が確実に抑制される。

さらに、上述のとおり、入力部１００ｉにおけるモード入力欄１１２には、複数のモードによって構成される複合モードを入力可能になっている。そして、本実施形態のＥＭＡ型状態遷移表１００では、例えば一のイベントが生じた際に一のアクションが行われるモードが複数ある場合、これらの複数のモードを複合モードとしてまとめて表現する。これによって、本実施形態のＥＭＡ型状態遷移表１００では、ＥＭＡ型状態遷移表１００に表示されるイベントとモードとの組合せの数が更に少なくなるようにしている。

（イベント定義テーブル２００）
次に、各定義テーブルについて詳細に説明する。
図５に示すように、イベント定義テーブル２００は、制御対象にて発生し得るイベントの名前が入力されるイベント名入力欄２１０を有している。また、イベント名入力欄２１０に対応して、イベントＩＤ２１１が設けられる。図５に示すイベント定義テーブル２００の例では、３つのイベント名入力欄２１０が設けられている。そして、イベントＩＤ２１１は、３つのイベント名入力欄２１０に対応して、「Ｅ００１」～「Ｅ００３」が設けられる。

さらに、イベント定義テーブル２００は、シンボル欄２１２を有している。シンボル欄２１２は、各々のイベント名入力欄２１０に対応して設けられる。シンボル欄２１２には、ユーザが任意の文字や記号やマークを入力することができる。そして、ユーザは、シンボル欄２１２に、例えば任意の文字や記号等を入力しておくことで、その記号を作業の際に参考にすることができる。

また、イベント定義テーブル２００は、複数のイベント内容入力欄２２０を有している。図５に示すイベント定義テーブル２００の例では、各イベント名入力欄２１０に対して、それぞれ７つのイベント内容入力欄２２０が設けられる。各イベント内容入力欄２２０は、イベント内容ＩＤ２２１が設けられる。イベント内容ＩＤ２２１は、７つのイベント内容入力欄２２０に対応して、「０」～「６」のＩＤを有する。

さらに、イベント定義テーブル２００は、シンボル欄２３０を有している。シンボル欄２３０は、各々のイベント内容入力欄２２０に対応して設けられる。シンボル欄２３０には、ユーザが任意の文字や記号やマークを入力することができる。そして、ユーザは、シンボル欄２３０に、例えば任意の文字や記号等を入力しておくことで、その記号を作業の際に参考にすることができる。

（モード定義テーブル３００）
図６に示すように、モード定義テーブル３００は、制御対象がとり得るモードの名前が入力されるモード名入力欄３１０を有している。また、モード名入力欄３１０に対応して、モードＩＤ３１１が設けられる。図６に示すモード定義テーブル３００の例では、３つのモード名入力欄３１０が設けられている。そして、モードＩＤ３１１は、３つのモード名入力欄３１０に対応して、「Ｍ００１」～「Ｍ００３」が設けられる。

また、モード定義テーブル３００は、シンボル欄３２０を有している。シンボル欄３２０は、各モード名入力欄３１０に対応して設けられる。シンボル欄３２０には、ユーザが任意の文字や記号やマークを入力することができる。

さらに、モード定義テーブル３００は、複数のモード内容入力欄３３０を有している。図６に示すモード定義テーブル３００の例では、各モード名入力欄３１０に対して、それぞれ７つのモード内容入力欄３３０が設けられる。各モード内容入力欄３３０は、モード内容ＩＤ３３１が設けられる。モード内容ＩＤ３３１は、７つのモード内容入力欄３３０に対応して、「０」～「６」のＩＤを有する。

さらに、モード定義テーブル３００は、シンボル欄３４０を有している。シンボル欄３４０は、各々のモード内容入力欄３３０に対応して設けられる。シンボル欄３４０には、ユーザが任意の文字や記号やマークを入力することができる。

そして、モード定義テーブル３００のモード内容入力欄３３０には、単数のモードや複合モードが入力される。このうち、例えば複合モードは、一のイベントに対して一のアクションを実行するための条件をモードの組合せによって表現したものである。そして、例えば複合モードに対し、複合モードの概念を示すラベルを付けてモード定義テーブル３００にて管理することができる。このように複合モードにラベルを付けて抽象化することで、ユーザは、モード定義テーブル３００においてラベルが示す概念を参考にして複合モードを取り扱うことができる。
なお、本実施形態のモード定義テーブル３００では、モード単体や、複数のモードを組み合わせた複合モードのみならず、複数の複合モードを組合せて更に上位のモードを定義することも可能である。

さらに、本実施形態のモード定義テーブル３００では、サブモードを定義することが可能になっている。サブモードとは、ある観点で捉えたメインの一のモードに対し、下位の概念として設けられるモードである。例えば、メインの一のモードをテレビの録画モードとした場合、サブモードは、ユーザが予め設定していた予約に基づく録画モードと、ユーザが任意のタイミングで録画ボタンを押したことに基づく録画モードとを例示できる。
そして、本実施形態のＥＭＡ型状態遷移表１００では、サブモードを含む複合モードを用いたモード条件を設定できるようになっている。

（アクション定義テーブル４００）
図７に示すように、アクション定義テーブル４００は、制御対象が行うアクションの名前が入力されるアクション名入力欄４１０を有している。また、アクション名入力欄４１０に対応して、アクションＩＤ４１１が設けられる。図７に示すアクション定義テーブル４００の例では、３つのアクション名入力欄４１０が設けられている。そして、アクションＩＤ４１１は、３つのアクション名入力欄４１０に対応して、「Ａ００１」～「Ａ００３」が設けられる。

また、アクション定義テーブル４００は、アクション内容入力欄４２０を有している。図７に示すアクション定義テーブル４００の例では、各アクション名入力欄４１０に対して、それぞれ２つのアクション内容入力欄４２０が設けられる。アクション内容入力欄４２０は、モード遷移時入力欄４２１と、モード定常中入力欄４２２とを有する。モード遷移時入力欄４２１は、モードが遷移するときに制御対象が実行するアクションが入力される。また、モード定常中入力欄４２２は、モードの遷移後であってモードが定常状態である場合に実行するアクションが入力される。

さらに、アクション定義テーブル４００は、シンボル欄４３０を有している。シンボル欄４３０は、各々のアクション内容入力欄４２０に対応して設けられる。シンボル欄３４０には、ユーザが任意の文字や記号やマークを入力することができる。

（受付部１３）
受付部１３（例えば、受付手段の一例）は、イベント定義テーブル２００、モード定義テーブル３００およびアクション定義テーブル４００に対する情報の入力をユーザから受け付ける。
本実施形態の情報処理システム１において、受付部１３は、上記の各定義テーブルを端末装置３０の表示画面３０ｍに表示させる。そして、受付部１３は、表示画面３０ｍに表示される定義テーブルに対する入力を受け付ける。本実施形態では、ユーザは、表示画面３０ｍに表示される各々の定義テーブルに対して、直接的に入力や編集を行うことができる。例えば、ユーザは、各定義テーブルにおいて編集対象の入力欄を選択し、キーボード等の操作を介して数値や文字を入力欄に入力することができる。

また、受付部１３は、ＥＭＡ型状態遷移表１００に対する情報の入力をユーザから受け付ける。
本実施形態の情報処理システム１において、受付部１３は、ＥＭＡ型状態遷移表１００を端末装置３０の表示画面３０ｍに表示させる。そして、受付部１３は、表示画面３０ｍに表示されるＥＭＡ型状態遷移表１００に対する入力を受け付ける。

受付部１３は、イベント定義テーブル２００、モード定義テーブル３００およびアクション定義テーブル４００に記憶される情報を用いて、ＥＭＡ型状態遷移表１００の各入力欄に対する入力をユーザから受け付ける。具体的には、受付部１３は、ＥＭＡ型状態遷移表１００に各定義テーブルに基づいて作成された選択肢をプルダウン形式で表示する。プルダウンに表示する内容は、定義テーブルにおける各種ＩＤ、各種シンボル、定義内容を例示できる。

また、受付部１３は、表示画面３０ｍに表示されるＥＭＡ型状態遷移表１００の入力部１００ｉに対して、直接的に入力や編集を行うことができる。例えば、ユーザは、入力部１００ｉにおける各テーブルにおいて編集対象の入力欄を選択し、キーボード等の操作を介して数値や文字を入力することができる。

図８は、本実施形態のモード編集画面５０の説明図である。
本実施形態の受付部１３は、モード編集画面５０によって、ユーザからモードに関する入力を受け付けることができるようになっている。

受付部１３は、端末装置３０の表示画面３０ｍにモード編集画面５０を表示する。受付部１３は、モード編集画面５０を介して、ユーザからモードに関する編集を受け付ける。
本実施形態のモード編集画面５０は、ＥＭＡ型状態遷移表１００の一のモード入力欄１１２（図４参照）に対するユーザによるクリック操作やタップ操作などの選択操作を受け付けることで表示画面３０ｍに表示される。

図８に示すように、モード編集画面５０は、入力されたモードの内容が表示される表示枠５１と、演算子としての論理積（ＡＮＤ 記号「＆＆」）を入力するための論理積ボタン５２と、演算子としての論理和（ＯＲ 記号「｜｜」）を入力するための論理和ボタン５３と、編集が終了したことを特定するための完了ボタン５４とを有する。また、モード編集画面５０は、作成したモードをモード定義テーブル３００に保存する保存ボタン５５を有する。
なお、本実施形態のＥＭＡ型状態遷移表１００では、偽（ＦＡＬＳＥ 記号「！」）や真（ＴＲＵＥ）などの演算子を用いることもできる。

モード編集画面５０では、ユーザによる、数字列や文字列の入力、論理積ボタン５２や論理和ボタン５３の押下に応じて表示枠５１にモード条件を表示する。そして、モード編集画面５０では、完了ボタン５４が操作されることで、編集作業を完了させ、作成されたモード条件をＥＭＡ型状態遷移表１００に反映させる。

また、モード編集画面５０では、保存ボタン５５がユーザによって押下されることで、作成されたモード条件を新たな複合モードとしてモード定義テーブル３００に追加する。複合モードの内容は、モード定義テーブル３００の一のモード内容入力欄３３０（図６参照）に記入される。また、作成された複合モードには、ユーザが任意の名称を付けることができる。この名称は、一のモード内容入力欄３３０に対応するモード名入力欄３１０に入力される。

さらに、本実施形態のモード編集画面５０では、既に定義されているモード内容の編集を行うこともできる。この場合、例えば、モード定義テーブル３００から、編集対象の単数のモードや複合モードを表示枠５１に例えばドラッグ・アンド・ドロップする操作を行う。そして、モード編集画面５０では、モード定義テーブル３００から持ってきたモードに対する編集を行うことができる。

図９は、定義テーブルに対する定義情報の追加を促す画面の一例を示す図である。

上述したように、本実施形態の情報処理システム１では、各定義テーブルに対して直接的に入力や編集を行うことができる。そして、受付部１３は、直接的な入力や編集が行われた際に定義テーブルに記憶されていない文字列の記入があった場合、表示部１５を介して、端末装置３０の表示画面３０ｍにメッセージ表示６０を表示させる。

図９に示すように、メッセージ表示６０には、例えば「入力された内容は、〇〇定義テーブルに存在しません」といったテキストメッセージ６１を表示する。これによって、ユーザに対して、定義テーブルにない新たな定義情報が入力されたことを通知する。また、メッセージ表示６０に、「〇〇定義テーブルに追加しますか？」といったように、新たな文字列を定義テーブルに追加することを促す内容のテキストメッセージ６２を表示する。さらに、メッセージ表示６０には、ユーザからの指示を受け付けるためのＹＥＳボタン画像６３およびＮＯボタン画像６４を表示する。そして、受付部１３は、新たな文字列を定義テーブルに追加することの指示をユーザから受け付ける。

図１０は、複合モードの作成を促す画面の一例を示す図である。

ユーザがＥＭＡ型状態遷移表１００に対して直接的に入力や編集を行った結果、ＥＭＡ型状態遷移表１００に、イベントおよびアクションが同一の組合せであって、モードが異なる単位が複数存在するという状況が発生する場合がある。
このような場合、受付部１３は、表示部１５を介して、端末装置３０の表示画面３０ｍにメッセージ表示６５を表示させる。

図１０に示すように、メッセージ表示６５には、例えば「「イベント」と「アクション」との組合せが一致・類似するモードが入力されました」といったテキストメッセージ６６が表示される。これによって、受付部１３は、一のイベントおよび一のアクションの組合せが同じであって、モード条件が異なる単位があることをユーザに対して通知する。また、受付部１３は、一のイベントおよび一のアクションの組合せが類似していて、モード条件が異なる単位があることをユーザに対して通知する。

また、メッセージ表示６５には、例えば「モード条件を作成して１つのアクションでまとめますか？」といったテキストメッセージ６７を表示する。さらに、メッセージ表示６５には、ユーザからの指示を受け付けるためのＹＥＳボタン画像６８およびＮＯボタン画像６９を表示する。そして、受付部１３は、イベントとアクションとの組合せが同じであって、モード条件が異なる単位をまとめて、一のアクションによってまとめられた単位を作成することの指示を受け付ける。

（表示部１５）
表示部１５（例えば、表示手段、表示部（第１表示部～第４表示部）、包含表示部、除外表示部の一例）は、ユーザからの指示に応じ、ユーザが利用する端末装置３０の画面に、管理部１１が管理する各種の情報を表示させる。表示部１５は、ユーザが各種の定義テーブルの編集を行う際に、各定義テーブルを表示する。また、表示部１５は、ユーザがＥＭＡ型状態遷移表１００を閲覧したり、編集したりする際に、端末装置３０の表示画面３０ｍにＥＭＡ型状態遷移表１００を表示する。

続いて、本実施形態のＥＭＡ型状態遷移表１００について具体的に説明する。
図１１は、本実施形態のＥＭＡ型状態遷移表１００の具体例の説明図である。

図１１に示すＥＭＡ型状態遷移表１００は、例えばテレビを制御対象に用いた場合の例である。ここで、テレビにて生じるイベントとして、電源ボタンの変化と、メニューボタンの変化とを例示する。また、テレビのモードとして、テレビ画面が消えた状態であるＩｄｌｅモードと、映像を表示したり音声を出力したりするための準備を行うＲｅａｄｙモードと、映像が表示され音声が出力されているＢｕｓｙモードとを例示する。また、テレビのモードとして、メニュー画面に対する操作が行われないメニュー非操作モードと、メニュー画面に対する操作が行われるメニュー操作中モードとを例示する。

図１１に示すように、テレビの電源ボタンが押下されるというイベントが発生した際、Ｉｄｌｅモードである場合には、初期化処理というアクションが実行される。また、この場合に、テレビのモードは、ＩｄｌｅモードからＲｅａｄｙモードに遷移する。

テレビの電源ボタンが押下されるというイベントが発生した場合、ＲｅａｄｙモードおよびＢｕｓｙモードのいずれかである場合には、終了処理というアクションが実行される。また、この場合に、テレビは、各々のモードからＩｄｌｅモードに遷移する。
このように、本実施形態のＥＭＡ型状態遷移表１００では、電源ボタンが押下されるというイベントが発生し、終了処理という一のアクションが行われる場合のモード条件は、ＲｅａｄｙモードまたはＢｕｓｙモードであるという複合モードによって表現される。また、この場合の終了処理というアクションは、ＥＭＡ型状態遷移表１００において一つ単位で表示される。

テレビのメニューボタンが押下されるというイベントが発生した際、Ｂｕｓｙモードかつメニュー非操作モードである場合には、メニューを表示するメニュー表示処理が実行される。また、この場合、テレビのモードは、メニュー操作中モードに遷移する。
このように、本実施形態のＥＭＡ型状態遷移表１００では、メニューボタンが押下されるというイベントが発生し、メニュー表示処理という一のアクションが行われる場合のモード条件は、Ｂｕｓｙモードかつメニュー非操作モードという複合モードによって表現される。また、この場合のメニュー表示処理というアクションは、ＥＭＡ型状態遷移表１００において一つ単位で表示される。

また、テレビのメニューボタンが押下されるというイベントが発生した際、Ｂｕｓｙモードかつメニュー操作中モードである場合には、メニューを非表示にするメニュー非表示処理が実行される。また、この場合、テレビのモードは、メニュー非操作モードに遷移する。
このように、本実施形態のＥＭＡ型状態遷移表１００では、メニューボタンが押下されるというイベントが発生し、メニュー非表示処理という一のアクションが行われる場合のモード条件は、Ｂｕｓｙモードかつメニュー操作中モードという複合モードによって表現される。また、この場合のメニュー非表示処理というアクションは、ＥＭＡ型状態遷移表１００において一つ単位で表示される。

ここで、比較のために、比較例の状態遷移表について説明する。
図１４は、比較例１の状態遷移表９００の説明図である。

図１４に示すように、比較例１の状態遷移表９００は、制御対象に生じる複数のイベントを縦軸に並べ、制御対象がとる複数のモードを横軸に並べている。そして、比較例１の状態遷移表９００では、一のイベントと一のモードとの組合せに対応するセルに、その組合せを条件として実行される一のアクションが表示される。

また、比較例１の状態遷移表９００では、制御対象の複数のモードを３つの観点から捉えた３つのカテゴリに分類している。そして、比較例１の状態遷移表９００は、第１カテゴリ９０１、第２カテゴリ９０２および第３カテゴリ９０３を含んで構成されている。なお、第１カテゴリ９０１、第２カテゴリ９０２および第３カテゴリ９０３にそれぞれ含まれるモードは、異なるカテゴリ間で並行してとることができるモードを含んでいる。

そして、比較例１の状態遷移表９００（例えば、第１カテゴリ９０１）において、イベントＥ０１とモードＭ０４とを条件としてアクションＡ１が実行される。イベントＥ０２とモードＭ０５とを条件としてアクションＡ１が実行される。イベントＥ０２とモードＭ０５とを条件としてアクションＡ１が実行される。イベントＥ０３とモードＭ０５とを条件としてアクションＡ１が実行される。また、イベントＥ０４とモードＭ０３とを条件としてアクションＡ２が実行される。イベントＥ０５とモードＭ０１とを条件としてアクションＡ３が実行される。
なお、比較例１の状態遷移表９００において、一のイベントおよび一のモードの組合せで、制御対象がアクションを実行しないセルには「－」（ブランク）を表示している。なお、ブランクで表示されるイベントおよびモードの組合せは、例えば制御対象として有り得ない組合せである。

以上のように構成される比較例１の状態遷移表９００では、モードとイベントの組合せは、制御対象にて発生し得るイベントの数、制御対象がとるモードの数とに比例して、無数に多くなる可能性がある。
また、比較例１の状態遷移表９００では、制御対象にてアクションが実行されないモードとイベントの組合せのセルが表示されることは、表の構造上、避けられない仕様となっている。したがって、比較例１の状態遷移表９００では、アクションが制御対象にて実行されるか実行されないかにかかわらず、全てのモードとイベントとの組合せが表示される。
このような比較例１の状態遷移表９００では、イベントとモードとの組合せが無数に及び、ユーザが全てを把握することは現実的に極めて困難である。また、制御対象のアクションの検証も、無数に及ぶイベントとモードとの組合せの全てについて実施する必要があるが、全ての組合せを検査することは極めて困難となる。

また、比較例１の状態遷移表９００では、制御対象のモードは、第１カテゴリ９０１、第２カテゴリ９０２および第３カテゴリ９０３にそれぞれ振り分けられる。そうすると、比較例１の状態遷移表９００では、異なるカテゴリ間でのイベントとモードの組合せでアクションを表現することができない仕様となっている。

これに対して、本実施形態のＥＭＡ型状態遷移表１００では、実行されるアクションのイベントおよびモードの組合せだけを表示することができる。したがって、本実施形態のＥＭＡ型状態遷移表１００では、ＥＭＡ型状態遷移表１００に表示するイベントとモードとの組合せの数を有限個数にすることができる。その結果、例えば、本実施形態のＥＭＡ型状態遷移表１００では、ユーザがイベント、モードおよびアクションの関係を把握し易くなり、抜け漏れなど制御対象の確認が容易になる。

また、本実施形態のＥＭＡ型状態遷移表１００では、一のアクションを軸にイベントとモードの組合せがまとめられているため、イベントとモードの組合せを表示する表示欄の数が抑制される。これによって、本実施形態のＥＭＡ型状態遷移表１００では、ユーザがイベント、モードおよびアクションの関係をさらに把握し易くなっている。
そして、本実施形態のＥＭＡ型状態遷移表１００は、比較例１の状態遷移表９００では表現することができなかった異なるカテゴリに分類される複数のモードに基づくアクションの表現を行うことを可能にする。

（静的構造図７００、動的構造図８００およびＥＭＡ型状態遷移表１００）
図１２は、動的構造図８００と静的構造図７００とＥＭＡ型状態遷移表１００との関係を示す図である。

表示部１５は、制御対象に関する静的構造図７００を端末装置３０の表示画面３０ｍに表示可能である。また、表示部１５は、制御対象に関する動的構造図８００を表示画面３０ｍに表示可能である。そして、本実施形態の表示部１５は、静的構造図７００、動的構造図８００およびＥＭＡ型状態遷移表１００との相互の関係を表示する。
なお、静的構造図７００、動的構造図８００およびＥＭＡ型状態遷移表１００の関係は、受付部１３によってユーザから関係情報を取得することで特定できる。また、静的構造図７００、動的構造図８００およびＥＭＡ型状態遷移表１００の関係は、各々に含まれる文字列等の情報に基づいて関連付けても良い。

静的構造図７００は、例えばシステムなどの制御対象において機能を発揮するコンポーネント７０（機能構成の一例）の関係を表現したものである。図１２に示す例では、各コンポーネント７０は、下位層、中間層および上位層とで構成される複数の階層に分けて表示される。下位層は、センサやモータなどのハードウェアを駆動するドライバに相当するコンポーネント７０が配置される階層である。中間層は、ハードウェアによって実現される動作の概念の単位で統合して上位層につなげるコンポーネント７０が配置される階層である。上位層は、制御対象において実行されるアプリケーションに相当するコンポーネント７０が配置される階層である。
そして、静的構造図７００においては、上位層の一のアプリケーションと、中間層において一のアプリケーションに関係するコンポーネント７０とが線により結ばれて表示される。同様に、中間層のドライバと、下位層のデバイスとの関係が線により結ばれて表示される。

動的構造図８００は、システムの動作を示すフローである。動的構造図８００は、各動作ステップ８０により構成される動作の流れを示す。
本実施形態の動的構造図８００と静的構造図７００とは、各動作ステップ８０とコンポーネント７０とが関連付けられている。そして、表示部１５は、例えば動的構造図８００における一の動作ステップ８０に対する選択操作を受け付けると、静的構造図７００において当該一の動作ステップ８０に対応するコンポーネント７０を明示する。また、表示部１５は、例えば静的構造図７００における一のコンポーネント７０に対する選択操作を受け付けると、当該一のコンポーネント７０に対応する動的構造図８００の動作ステップ８０を明示するようになっている。

そして、本実施形態では、上記の静的構造図７００と動的構造図８００とのリンクに加えて、ＥＭＡ型状態遷移表１００とのリンクを示すことができる。
例えば、静的構造図７００におけるコンポーネント７０と、ＥＭＡ型状態遷移表１００のアクションとが関連付けられている。また、動的構造図８００における動作ステップ８０と、ＥＭＡ型状態遷移表１００のアクションとが関連付けられている。

表示部１５は、ＥＭＡ型状態遷移表１００における一のアクションに対するユーザの選択を受け付けると、動的構造図８００において、選択された一のアクションに対応する動作ステップ８０を明示する。例えば、その動作ステップ８０は、他の動作ステップ８０とは異なる表示態様で示されたり、明示される前の状態とは異なって目立つ表示態様で示されたりする。
また、表示部１５は、ＥＭＡ型状態遷移表１００における一のアクションに対するユーザの選択を受け付けると、静的構造図７００において、選択された一のアクションに対応するコンポーネント７０を明示する。例えば、そのコンポーネント７０は、他のコンポーネント７０とは異なる表示態様で示されたり、明示される前の状態とは異なって目立つ表示態様で示されたりする。

なお、表示部１５は、静的構造図７００の一のコンポーネント７０が選択操作されると、対応するＥＭＡ型状態遷移表１００のアクションを明示しても良い。同様に、表示部１５は、動的構造図８００の一の動作ステップ８０が選択操作されると、対応するＥＭＡ型状態遷移表１００のアクションを明示しても良い。
このように、本実施形態の表示部１５は、ＥＭＡ型状態遷移表１００、静的構造図７００および動的構造図８００の相互の関係をユーザに示すことができるようになっている。

（モデル検査）
次に、情報処理装置１０のモデル検査の機能について説明する。
本実施形態の情報処理装置１０は、制御対象のモデル検査を実行する機能を有している。
モデル検査とは、ハードウェア、ソフトウェア、システムなどの制御対象の網羅的な検査を行うものである。モデル検査には、制御対象を表現するモデル言語と、その制御対象に関する検査式とが用いられる。このうち、モデル言語には、制御対象を記述するソースコード等を例示できる。また、検査式には、設計仕様書などを例示できる。そして、モデル検査では、例えば制御対象をモデルで表現したうえで、制御対象が満たすべき仕様がモデル上で成り立つかどうかを、モードとイベントとのすべての組合せについて機械的かつ網羅的に検査する。例えば、モデル検査では、抜け出せないモードがあったり、モードの対応がとれなかったりするなどの不具合が検査結果として示される。

そして、情報処理装置１０は、例えばモデル検査の結果を端末装置３０の表示画面３０ｍに表示可能になっている。これによって、ユーザは、モデル検査の結果と、ＥＭＡ型状態遷移表１００とを表示画面３０ｍにて見比べたりすることができる。このように、本実施形態の情報処理システム１は、ユーザの作業効率を向上させることができる。

（出力部１７）
図１３は、本実施形態のプログラムコードの出力の一例を示す図である。

図１３に示すように、出力部１７は、本実施形態のＥＭＡ型状態遷移表１００に基づいて、ＥＭＡ型状態遷移表１００で定義される状態遷移を実現するための疑似コードを出力する。出力部１７による疑似コードの出力の指示は、例えば受付部１３が表示画面３０ｍにＥＭＡ型状態遷移表１００に合わせて表示するエクスポートボタン画像などから受け付けることができる。

本実施形態のＥＭＡ型状態遷移表１００は、一のイベントの発生により一のアクションを実行する際のモード条件を含んでいる。したがって、モード条件を用いて、制御対象を制御するプログラムのプログラムコードを作成することができる。出力するプログラムコードは、各種のプログラム言語を用いることができるが、例えばＣ言語による記述を例示できる。
図１３に示すように、出力部１７は、ＥＭＡ型状態遷移表１００のイベント、モードおよびアクションの情報に基づいて、例えばアクションが実行される条件を記述した疑似コードを生成する。コードにおける一の単位は、例えばＥＭＡ型状態遷移表１００の一のアクションの単位に対応している。

本実施形態のＥＭＡ型状態遷移表１００では、一のアクションに対して、一のアクションが実行される際の条件としてイベントおよびモードが並べられた単位で表現されている。また、ＥＭＡ型状態遷移表１００では、一のアクションごとの単位が複数設けられ、リスト状に並べられている。そのため、出力部１７は、ＥＭＡ型状態遷移表１００の構造に倣って、疑似コードを作成することが容易になっている。

なお、本実施形態では、ＥＭＡ型状態遷移表１００からプログラムコードを作成する例について説明したが、この逆を行うことも可能である。すなわち、制御対象を記述するソースコードやハードウェア記述言語などのプログラムコードに基づいて、本実施形態の構造のＥＭＡ型状態遷移表１００を作成することも可能である。プログラムコードには、イベント、モードおよびアクションの関係を規定するコードが含まれる。これにより、本実施形態の情報処理システム１は、イベント、モードおよびアクションの関係を規定するコードに基づいて、ＥＭＡ型状態遷移表１００を作成する。
例えば、既存の制御対象の改良等を行って新規の制御対象を開発するような場合、既存の制御対象の制御プログラム等を本実施形態のＥＭＡ型状態遷移表１００の形式で表現することで、製品開発の効率化を図ることが可能になる。

また、出力部１７が出力するＥＭＡ型状態遷移表１００に基づいて作成された制御対象のプログラムコードは、上述した制御対象のモデル検査における制御対象のモデルに用いることができる。
ここで、従来において、例えばイベントとモードとの組合せの状態爆発が生じている場合には、モデル検査を実施しようとしても組合せがほぼ無限にあることから、全ての検査を行うことができないことがあった。また、従来、組合せが無数にある場合にモデル検査を実施する際、組合せを任意に間引いてから実施するなど、モデル検査としては不完全な内容で行われることがあった。

これに対して、本実施形態の情報処理システム１では、ＥＭＡ型状態遷移表１００に基づいて作成され、制御対象を記述するプログラムコードを制御対象のモデルに用いることができる。これによって、情報処理システム１では、有限個数に収められたイベントとモードとの組合せについてモデル検査を行うことができる。また、本実施形態の情報処理システム１では、モデル検査を行うためにモデル言語を用いた制御対象のモデルを改めて作成する必要がなくなる。さらに、本実施形態の情報処理システム１では、組合せが有限個数に収まるため、制御対象のイベントとモードとの全ての組合せを網羅したモデル検査を行うことができる。

（変形例）
上述したＥＭＡ型状態遷移表１００では、複数のモードを条件として、イベントが発生した際に実行される制御対象のアクションを表現していたが、この例に限定されない。
例えば、複数のイベントを組み合わせた複合イベントを、一のアクションを実行する条件を表現しても良い。この場合に、イベントに対応するモードは、単数であっても、複数であっても構わない。
このようにすることで、ＥＭＡ型状態遷移表１００において一のアクションの単位を更にまとめることができる。特に、複数のイベントおよび複数のモードを条件として一のアクションの単位を表現することで、ＥＭＡ型状態遷移表１００において一のアクションが一つだけ表示されるように構成できる。これによって、ＥＭＡ型状態遷移表１００では、表示される組合せの数の肥大化がさらに抑制される。

（変形例）
本実施形態の情報処理システム１では、上述のとおり、新規な状態遷移表であるＥＭＡ型状態遷移表１００を表示する。一方で、情報処理システム１は、ＥＭＡ型状態遷移表１００に基づいて、比較例の状態遷移表９００の形式での状態遷移表を作成することができる。具体的には、情報処理システム１では、ＥＭＡ型状態遷移表１００のイベント、モードおよびアクションの情報を用いて、ＥＭＡ型状態遷移表１００を比較例の状態遷移表９００の表示態様に変換する。これによって、ユーザは、同じ制御対象の状態遷移に関して、ＥＭＡ型状態遷移表１００と比較例の状態遷移表９００とを比較することが可能になる。

＜第２実施形態＞
次に、第２実施形態の情報処理システム１について説明する。
なお、第２実施形態の情報処理システム１の基本構成は、第１実施形態の情報処理システム１と同様である。第２実施形態の説明において、第１実施形態と同様な構成については同一の符号を付してその詳細な説明を省略する。

図１５、図１６および図１７は、比較例２の状態遷移表９９０の説明図である。

比較例２の状態遷移表９９０は、従来技術としての状態遷移表を説明するためのものである。状態遷移表９９０は、テレビ番組やディスクの録画・再生機能を有するＡＶ機器を制御対象にしたものである。比較例２の状態遷移表９９０は、縦軸にイベントの各項目が並べられ、横軸にモードの各項目が並べられる。イベントは、例えば機器を操作するためのリモコン（リモートコントローラ）に対するユーザの操作や、リモコンの操作に応じて画面に表示される項目に対する選択操作などである。

イベントは、例えばメニューキー、番組表キー、オプションキー、決定キー、上矢印（↑）キー、下矢印（↓）キー、右矢印（→）キー、左矢印（←）キー、音量上げ（＋）キー、音量下げ（－）キー、音声切替キーなどの押下（変化）など例えば１００通りのイベント項目を含む。

さらに、比較例２の状態遷移表９９０は、ＡＶ機器のモードとして複数のカテゴリのモードを備えて構成されている。複数のカテゴリのモードは、図１５に示すメニュー画面に関するメニューモード９９１、図１６に示す機械的な状態に関するメカモード９９２、および図１７に示すテレビのチャンネルに関するチャンネルモード９９３などを例示できる。
例えば、メニューモード９９１とメカモード９９２とチャンネルモード９９３とは、互いに従属関係にはない素な関係になっている。すなわち、一のカテゴリのモードと他のカテゴリのモードとは直接的には関係がないものである。

そして、各々のカテゴリのモードは、それぞれ複数のモード項目を有している。
図１５に示すメニューモード９９１は、例えば録画予約に関する予約画面が表示されている状態、各種設定を行うための設定画面が表示されている状態など例えば１００通りのモード項目を含む。
図１６に示すメカモード９９２は、例えば動画を再生する状態、再生をポーズする状態、スロー再生を行う状態、再生を早送りする状態、番組等を録画する状態など例えば１００通りのモード項目を含む。
図１７に示すチャンネルモード９９３は、例えばデジタルチャンネルのうちチャンネルＡＡＡを選局している状態、チャンネルＢＢＢを選局している状態、チャンネルＣＣＣを選局している状態、チャンネルＤＤＤを選局している状態、チャンネルＥＥＥを選局している状態、ＡＶ機器への入力ラインに切り替えられた状態など例えば１００通りのモード項目を含む。

そして、上述の比較例２の状態遷移表９９０の例のように、各々１００通りのモード項目を持つモードのカテゴリが３つある場合、１００通り×１００通り×１００通りの組合せが生じる。さらに、比較例２の状態遷移表９９０は、モードのカテゴリの数が増えるほど、組合せが膨大な数になる状態爆発が生じ得る。

図１８は、第２実施形態のＥＭＡ型状態遷移表１００である。

図１８に示すように、ＥＭＡ型状態遷移表１００では、第１実施形態において説明したとおり、一のイベントが生じた際に一のアクションが行われる条件として、一のモードの欄（セル）に任意の複数のモードの組合せを記述することが可能になっている。特に、ＥＭＡ型状態遷移表１００は、従来技術である比較例２の状態遷移表９９０では異なるモードのカテゴリとして表現されていた複数のモードを組み合わせて表現することができる。

なお、図１８に示すＥＭＡ型状態遷移表１００の例は、比較例２の状態遷移表９９０と同様に、テレビ番組やディスクの録画・再生機能を有するＡＶ機器を制御対象にするものである。また、ＥＭＡ型状態遷移表１００におけるイベント、モードおよびアクションの種類などの内容は、比較例２の状態遷移表９９０と同様である。

図１８に示すように、イベントとしてリモコンの上矢印（↑）キーが押下された場合に、アクションとしてキー入力音（例えば、「ピッ」という効果音）を出力する処理を実行する場合、モードは、複数のモードによって記述される。図１６に示す例において、複数のモードは、メニューモードとして予約画面が表示された状態、予約画面におけるカーソル位置が決定ボタン画像上に存在している状態、メカモードとして停止状態または録画状態、かつ、チャンネルモードとして特定のチャンネルが選択されている状態を条件として備えている。

上述のとおり、第２実施形態のＥＭＡ型状態遷移表１００は、従来技術である比較例２の状態遷移表９９０が記述することができないイベント、アクションおよびモードの関係を表現することができる。そして、第２実施形態のＥＭＡ型状態遷移表１００は、イベントおよびアクションの数が有限であれば組合せの状態爆発を招くことなく全ての状態遷移を記述することが可能になっている。

続いて、優先順位の概念を有する優先順位非対応のＥＭＡ型状態遷移表５００と、優先順位対応のＥＭＡ型状態遷移表６００について説明する。

図１９は、優先順位非対応のＥＭＡ型状態遷移表５００の一例を示す図である。

図１９に示すＥＭＡ型状態遷移表５００の例は、比較例２の状態遷移表９９０と同様に、テレビ番組やディスクの録画・再生機能を有するＡＶ機器を制御対象とするものである。また、ＥＭＡ型状態遷移表５００におけるイベント、モードおよびアクションの種類などの内容は、比較例２の状態遷移表９９０と同様である。

図１９に示すＥＭＡ型状態遷移表５００の基本構成は、ＥＭＡ型状態遷移表１００と同様である。すなわち、ＥＭＡ型状態遷移表５００では、対応するイベント（Ｅ）、モード（Ｍ）およびアクション（Ａ）の組合せが例えば横方向に沿って並べて配置される。ＥＭＡ型状態遷移表５００では、この一組の単位が、第２軸方向である縦方向に沿って複数並べて配置される。

ＥＭＡ型状態遷移表５００は、例えば最も上側の単位である第１単位Ｕ１１に、以下のようなイベント、モードおよびアクションの関係を記述する。イベントは、キー変化イベントとして再生キーが押下された場合である。また、モードは、抽象化モードとして再生可能条件を満たす状態、かつ、電源モードとして電源オンの状態である。このように、ＥＭＡ型状態遷移表５００では、一つのセルに複数のモードが記述される。そして、第１単位Ｕ１１は、これらイベントとモードとの条件の場合に、キー入力音を出力し、再生を実行し、かつ、その他再生に関連する処理を実行するという複数のアクションを一つのセルに記述する。

ここで、抽象化モードとしての再生可能条件は、例えば再生を可能にする複数のモードの条件によって構成される。再生可能条件には、例えば再生するための再生ディスクがトレイに収容されている状態、再生対象の録画データが存在する状態など、再生が可能になる状態の集合によって構成される。なお、再生可能条件などの抽象化モードは、図６に示すモード定義テーブル３００にて定義されたり、図８を参照しながら説明したモード編集画面５０にて作成したりすることができる。

また、ＥＭＡ型状態遷移表５００は、例えば次の単位である第２単位Ｕ１２に、以下のようなイベント、モードおよびアクションの関係を記述する。イベントは、キー変化イベントとして再生キーが押下された場合である。また、モードは、抽象化モードとして再生可能条件ではない状態（すなわち再生不可能な条件を満たす状態）、かつ、電源モードとして電源オンの状態である。そして、第２単位Ｕ１２は、これらイベントとモードとの条件の場合に、キー入力音を出力し、かつ、再生できない旨の表示である再生不可表示を行うという複数のアクションを一つのセルに記述する。

また、ＥＭＡ型状態遷移表５００は、さらに次の単位である第３単位Ｕ１３に、以下のようなイベント、モードおよびアクションの関係を記述する。イベントは、キー変化イベントとして録画キーが押下された場合である。また、モードは、抽象化モードとして録画可能条件を満たす状態、かつ、電源モードとして電源オンの状態である。そして、第３単位Ｕ１３は、これらイベントとモードとの条件の場合に、キー入力音を出力し、録画を実行し、かつ、その他録画に関連する処理を実行するという複数のアクションを一つのセルに記述する。

また、ＥＭＡ型状態遷移表５００は、さらに次の単位である第４単位Ｕ１４に、以下のようなイベント、モードおよびアクションの関係を記述する。イベントは、キー変化イベントとして録画キーが押下された場合である。また、モードは、抽象化モードとして録画可能条件ではない状態（すなわち録画不可能な条件を満たす状態）、かつ、電源モードとして電源オンの状態である。そして、第４単位Ｕ１４は、これらイベントとモードとの条件の場合に、キー入力音を出力し、かつ、録画できない旨の表示である録画不可表示を行うという複数のアクションを一つのセルに記述する。

さらに、ＥＭＡ型状態遷移表５００は、さらに次の単位である第５単位Ｕ１５に、以下のようなイベント、モードおよびアクションの関係を記述する。イベントは、メニュー表示のタイムアウトのイベントが生じた場合である。また、モードは、メニューモードとしてメニュー表示中である状態である。そして、第５単位Ｕ１５は、これらイベントとモードとの条件の場合に、メニュー表示を解除するというアクションを一つのセルに記述する。

以上のように構成されるＥＭＡ型状態遷移表５００では、実行されるアクションのイベントおよびモードの組合せだけを表示することができる。したがって、第２実施形態のＥＭＡ型状態遷移表５００では、ＥＭＡ型状態遷移表５００に表示するイベントとモードとの組合せの数を有限個数にすることができる。

また、第２実施形態のＥＭＡ型状態遷移表５００では、一のアクションを軸にイベントとモードの組合せがまとめられているため、イベントとモードの組合せを表示する表示欄の数が抑制される。これによって、本実施形態のＥＭＡ型状態遷移表５００では、ユーザがイベント、モードおよびアクションの関係をさらに把握し易くなっている。

さらに、ＥＭＡ型状態遷移表５００では、例えば再生可能条件のように抽象化モードとして定義される概念を用いている。抽象化モードである再生可能条件には、制御対象において再生を可能にする条件に該当する複数のモードが含まれている。このように、ＥＭＡ型状態遷移表５００では、複数のモードを羅列するのではなく、抽象化された概念として表示できる。そのため、ユーザによるＥＭＡ型状態遷移表５００の取り扱いが極めて容易になる。また、同じ抽象化モード（例えば、再生可能条件）は、ＥＭＡ型状態遷移表５００において繰り返して使用することができる。したがって、ＥＭＡ型状態遷移表５００におけるモードの記述が容易になる。

そして、本実施形態のＥＭＡ型状態遷移表５００は、例えば比較例２の状態遷移表９９０では表現することができなかった異なるカテゴリに分類される複数のモードに基づくアクションの表現を行うことを可能にする。例えば、抽象化モードとしての再生可能条件と、電源モードとしての電源オンとは、互いに従属関係がない素な関係にある。例えば、比較例２の状態遷移表９９０の場合、電源オンと再生可能条件を構成する複数のモードとはカテゴリが異なる。そのため、比較例２の状態遷移表９９０は、一つの状態遷移表で電源オンと再生可能条件を構成する複数のモードとを取り扱うことができない。
これに対して、ＥＭＡ型状態遷移表５００は、一の表において、再生可能条件と電源モードとの関係を表現することが可能になっている。

続いて、優先順位対応のＥＭＡ型状態遷移表６００について説明する。
図２０は、優先順位対応のＥＭＡ型状態遷移表６００の一例を示す図である。

図２０に示すＥＭＡ型状態遷移表６００の例は、比較例２の状態遷移表９９０と同様に、テレビ番組やディスクの録画・再生機能を有するＡＶ機器を制御対象とするものである。また、ＥＭＡ型状態遷移表６００におけるイベント、モードおよびアクションの種類などの内容は、比較例２の状態遷移表９９０と同様である。

図２０に示すように、優先順位対応のＥＭＡ型状態遷移表６００の基本構成は、ＥＭＡ型状態遷移表１００と同様である。すなわち、対応するイベント（Ｅ）、モード（Ｍ）およびアクション（Ａ）の組が例えば第１軸方向である横方向に沿って並べて配置されている。この一組の単位が、縦方向に沿って並べて配置されている。具体的には、ＥＭＡ型状態遷移表６００では、例えば最も上側の単位である第１単位Ｕ２１から最も下側の単位である第７単位Ｕ２７まで第２軸方向である縦方向に並べて配置される。

本実施形態の優先順位対応のＥＭＡ型状態遷移表６００では、表における単位の表示順が予め特定されている。また、ＥＭＡ型状態遷移表６００においてイベント、モードおよびアクションの単位を複数入力する際に、例えば表における上側から下側に向けて順に入力される。図２０の例では、未記入のＥＭＡ型状態遷移表６００に最初の単位である第１単位Ｕ２１を記入する際、第１単位Ｕ２１は、表における最も上側の列に記入される。第１単位Ｕ２１の記入後に新たな単位である第２単位Ｕ２２を記入する際、第２単位Ｕ２２は、第１単位Ｕ２１の下側の列に表示される。このように、ＥＭＡ型状態遷移表６００では、ユーザが複数の単位を入力しようとする際、上側の列から下側の列に向けて順に第１単位Ｕ２１から第７単位Ｕ２７がそれぞれ入力される。

ＥＭＡ型状態遷移表６００は、記載されるイベント、モードおよびアクションの単位の内容と、その単位の表における記載順とが関連付けて管理部１１により管理される。
このように、ＥＭＡ型状態遷移表６００では、ユーザがイベント、モードおよびアクションを入力したり表示された内容を閲覧したり際に、イベント、モードおよびアクションの優先順位を意識することが可能になっている。本実施形態では、ＥＭＡ型状態遷移表６００の上側から下側に向けた第２軸方向である縦方向において、より上側に記載されるイベント、モードおよびアクションの優先順位がより先になるように定められている。すなわち、ＥＭＡ型状態遷移表６００では、イベント、モードおよびアクションの組合せが並べられた単位を優先順位に従って複数並べて表示する。そして、ＥＭＡ型状態遷移表６００では、状態遷移の優先順位が記述可能になっている。

そして、ＥＭＡ型状態遷移表６００は、順序が先に記載される一の単位の条件を、その一の単位よりも順序が後に記載される他の単位に関連付けることが可能になっている。なお、単位の条件には、イベント、モードおよびアクションの少なくとも何れか１つ、または、イベント、モードおよびアクションのうち少なくとも２つの組合せが含まれる。

また、上述のとおり、優先順位対応のＥＭＡ型状態遷移表６００は、表における単位の優先順位が定められている。そして、ＥＭＡ型状態遷移表６００では、表における上側から下側に向けて各々の単位を取り扱うようになっている。また、ＥＭＡ型状態遷移表６００においてより上側に記載されるイベントおよびモードの条件が優先されるようになっている。以下、具体例を用いて説明する。

図２０に示すように、ＥＭＡ型状態遷移表６００は、例えば最も上側の単位である第１単位Ｕ２１に、以下のようなイベント、モードおよびアクションの関係を記述する。イベントは、キー変化イベントとして全てのキーのうちいずれかのキーが押下された場合である。また、モードは、特定のモードを条件としない「無条件」である。そして、第１単位Ｕ２１は、これらイベントとモードとの条件の場合に、キー入力音を出力するというアクションを記述する。

また、優先順位対応のＥＭＡ型状態遷移表６００は、判定に関する属性を表示する判定入力欄１１６を有している。判定入力欄１１６は、判定に関する属性を入力する欄であることを示す判定項目名１０ｊが設けられる。判定入力欄１１６には、「継続」（例えば、共通表示、包含情報の一例）と、「完了」（例えば、除外表示、除外情報の一例）とのいずれかを記入できる。

そして、判定入力欄１１６の「継続」は、「継続」が表示される単位のイベント、モードおよびアクションの条件を他の単位においても含めることを示す。例えば、「継続」が表示される単位のイベントおよびモードの条件を満たす他の単位がある場合、他の単位においても対応するアクションが実行されることを記述する。

一方で、判定入力欄１１６の「完了」は、「完了」が表示される単位のイベント、モードおよびアクションの条件は、「完了」が表示される単位よりも優先順が後の単位において除外されることを示す。すなわち、「完了」が表示される単位のイベント、モードおよびアクションの条件は、他の単位にて用いられないことを記述する。

図２０の例では、第１単位Ｕ２１において「継続」が表示される。したがって、第１単位Ｕ２１は、全てのキーのうちいずれかのキーが押下されるというイベントが発生した場合に、モードは「無条件」で、キー入力音を出力するキー入力音処理をアクションとして実行することを記述する。そして、他の単位において、第１単位Ｕ２１におけるイベントおよびモードの条件が満たされる場合には、第１単位Ｕ２１のアクションであるキー入力音の処理が実行されることを記述する。

ここで、図１９を参照しながら説明した優先順非対応のＥＭＡ型状態遷移表５００では、再生キーや録画キーが押下されるというイベントが発生する際に、各々の単位ごとにキー入力音処理というアクションをそれぞれ記述する必要があった。
これに対して、優先順位対応のＥＭＡ型状態遷移表６００では、複数のアクションに共通するアクションをまとめて記述することが可能になっている。

このように、ＥＭＡ型状態遷移表６００は、複数の他の単位のアクションに共通するアクションを前記一の単位に表示することが可能である。また、ＥＭＡ型状態遷移表６００は、一の単位のアクションが複数の他の単位のアクションに共通することを示す「継続」を判定入力欄１１６に表示できるようになっている。

さらに、図２０に示すように、ＥＭＡ型状態遷移表６００は、第１単位Ｕ２１の次に記述される第２単位Ｕ２２に、以下のようなイベント、モードおよびアクションの関係を記述する。イベントは、キー変化イベントとして全てのキーのうちいずれかのキーが押下された場合である。また、モードは、電源モードとして電源オフの状態である。そして、第２単位Ｕ２２は、これらのイベントおよびモードの条件の場合、「何も処理を実行しない」というアクションを記述する。
なお、第２単位Ｕ２２の判定に関する属性は「完了」になっている。したがって、第２単位Ｕ２２における「何も処理を実行しない」というアクションは、他のアクションと共通で用いられることはない。

上述したとおり、ＥＭＡ型状態遷移表６００は、一の単位の条件を他の単位において除外することを示す「完了」を判定入力欄１１６に表示できるようになっている。そして、第２単位Ｕ２２において記述される条件は、第２単位Ｕ２２も優先順が後に記載される他の単位の条件から除外される。したがって、ＥＭＡ型状態遷移表６００において「完了」の表示がされる単位の条件は、それ以降の単位において再び記載する必要がない。例えば第２単位Ｕ２２における、電源モードとして電源オフの状態で、全てのキーのうちいずれかのキーが押下されるというイベントが生じるという条件は、第２単位Ｕ２２以降において再び考慮する必要がない。このように、ＥＭＡ型状態遷移表６００は、ユーザが状態遷移を入力する際に取り扱いやすくなっている。

さらに、ＥＭＡ型状態遷移表６００は、第２単位Ｕ２２の次に記述される第３単位Ｕ２３に、以下のようなイベント、モードおよびアクションの関係を記述する。イベントは、キー変化イベントとして再生キーが押下された場合である。また、モードは、抽象化モードとしての再生可能条件である。そして、第３単位Ｕ２３は、これらのイベントおよびモードの条件の場合、再生し、かつ、その他再生に関連する処理を実行するというアクションを記述する。

さらに、ＥＭＡ型状態遷移表６００は、第３単位Ｕ２３の次に記述される第４単位Ｕ２４に、以下のようなイベント、モードおよびアクションの関係を記述する。イベントは、キー変化イベントとして再生キーが押下された場合である。また、モードは、「無条件」である。そして、第４単位Ｕ２４は、これらのイベントおよびモードの条件の場合、再生不可の画面表示を行う再生不可表示処理を実行するというアクションを記述する。

上述のとおり、ＥＭＡ型状態遷移表６００では、表における記載順に優先順位を設けている。第４単位Ｕ２４では、第３単位Ｕ２３と同じイベントである再生キーが押下されたことを条件としている。そして、第３単位Ｕ２３にて、イベントとして再生キーが押下され、モードが再生可能条件を満たす場合について判定は既にされている。したがって、第４単位Ｕ２４では、第４単位Ｕ２４よりも優先順位が高い第３単位Ｕ２３で用いられた条件が除外される。この場合、第４単位Ｕ２４では、すでに判定された第３単位Ｕ２３の条件に外れた条件である反対条件が適用されることになる。すなわち、第４単位Ｕ２４の場合は、第３単位Ｕ２３の再生可能条件とは反対条件である再生が不可能な条件をモードに指定したことになる。

このように、ＥＭＡ型状態遷移表６００では、一の単位にて既に判定された条件に外れた条件（反対条件）を、一の単位よりも優先順が後の他の単位にて利用できる。本実施形態のＥＭＡ型状態遷移表６００では、他の単位におけるモードに「無条件」（例えば、特定記述の一例）と記述することで、一の単位にて既に判定された条件に外れた条件（反対条件）を利用できる。そして、ＥＭＡ型状態遷移表６００では、既に判定された条件に外れた条件（反対条件）を判定無しで利用できるようになっている。

ここで、図１９を参照しながら説明した優先順非対応のＥＭＡ型状態遷移表５００では、例えば再生キーが押下されるというイベントが発生する場合に、再生不可表示処理のアクションを行う場合のモードの条件に、再生可能条件を満たしていないという記述（図１９の例では「！再生可能条件」）を行う必要があった。

これに対して、優先順位対応のＥＭＡ型状態遷移表６００では、対象となる単位よりも優先順位が高い単位にて既に判定された条件に外れた条件として、判定の必要のない「無条件」のモードとして指定することができるようになっている。

続いて、ＥＭＡ型状態遷移表６００は、第５単位Ｕ２５に、以下のようなイベント、モードおよびアクションの関係を記述する。イベントは、キー変化イベントとして録画キーが押下された場合である。また、モードは、抽象化モードとしての録画可能条件である。そして、第５単位Ｕ２５は、これらのイベントおよびモードの条件の場合、メカモードを録画し、かつ、その他録画に関連する処理を実行するというアクションを記述する。

さらに、ＥＭＡ型状態遷移表６００は、第５単位Ｕ２５の次に記述される第６単位Ｕ２６に、以下のようなイベント、モードおよびアクションの関係を記述する。イベントは、キー変化イベントとして録画キーが押下された場合である。また、モードは、「無条件」である。そして、第６単位Ｕ２６は、これらのイベントおよびモードの条件の場合、録画不可の画面表示を行う録画不可表示処理を実行するというアクションを記述する。

このように、優先順位対応のＥＭＡ型状態遷移表６００では、第６単位Ｕ２６において、第６単位Ｕ２６よりも優先順位が高い第５単位Ｕ２５にて既に判定された条件に漏れた条件を指定することができるようになっている。

そして、図２０に記載される最も下側の単位である第７単位Ｕ２７は、図１９に示す第５単位Ｕ１５と同様である。このように、優先順位対応のＥＭＡ型状態遷移表６００は、優先順位非対応のＥＭＡ型状態遷移表５００と同様なイベント、モードおよびアクションの記述を行うことも可能になっている。

本実施形態のＥＭＡ型状態遷移表６００では、イベント、モードおよびアクションの組合せからなる単位を優先順位に基づいて複数並べて表示する。そして、ＥＭＡ型状態遷移表６００では、例えば優先順位が上位にある単位の条件を除外したうえで、下位の単位の条件をユーザが記入できるようになっている。これによって、ＥＭＡ型状態遷移表６００は、優先順位における上位の単位から下位の単位に向けて条件をふるい落とすようにしながらユーザが順に制御対象の状態遷移を記述することを可能にしている。

なお、優先順位対応のＥＭＡ型状態遷移表６００は、一の単位の条件を他の単位に含める際に表示する「継続」や、一の単位の条件を他の単位において除外する「完了」の態様は、これらの例に限定されない。例えば、「継続」および「完了」の表示態様に代えて、別の文字や記号（例えば「Ｃ」や「Ｅ」、「〇」や「×」）、矢印などの図形を用いてもよい。

次に、優先順位対応のＥＭＡ型状態遷移表６００におけるガイド機能について説明する。
図２１は、ＥＭＡ型状態遷移表６００のガイド表示部６５０の説明図である。

ユーザがＥＭＡ型状態遷移表６００に対して入力や編集を行う際、優先順位に従う条件の関係性を理解しにくくなることが想定される。
これに対して、本実施形態の受付部１３は、表示部１５を介して、端末装置３０の表示画面３０ｍにガイド表示部６５０（例えば、条件表示の一例）を表示させる。

図２１に示すように、ガイド表示部６５０は、ユーザがＥＭＡ型状態遷移表６００における任意のセルに例えばマウスのカーソルを重ねた際に表示される。
ガイド表示部６５０は、マウスのカーソルの位置に対応する単位（図２０の例では第４単位２４）に対して、その対象の単位に関連付けられた他の単位のイベント、モードおよびアクションの情報を表示する。

ガイド表示部６５０は、対象の単位に付随する条件として、第１単位Ｕ２１に記述される、いずれかのキーが押下された場合に無条件でキー入力音処理が実行されるという情報を表示する。
また、ガイド表示部６５０は、対象の単位において除外される条件として、第２単位Ｕ２２に記述される、いずれかのキーが押下され、電源オフのモードの場合に、「何も処理を実行しない」という情報を表示する。
さらに、ガイド表示部６５０は、対象の単位において除外される条件として、第３単位Ｕ２３に記述される、再生キーが押下され、再生可能条件を満たす場合に、再生し、かつ、その他再生関連処理が実行されるという情報を表示する。

このように、ガイド表示部６５０は、対象となる単位に付随する別の単位のイベント、モードおよびアクションの情報を表示する。また、ガイド表示部６５０は、対象となる単位では除外されるイベント、モードおよびアクションの情報を表示する。これによって、ユーザは、対象の単位の入力を行う際に、優先順位が先の他の単位との条件の関連性を確認することができる。

以上のとおり、第２実施形態のＥＭＡ型状態遷移表６００においても、従来にない新規なイベント、モードおよびアクションの記載方法を用いることで、組合せの状態爆発が抑制される状態遷移表を提供することができる。

なお、ガイド表示部６５０による表示は、上記の例に限定されない。ガイド表示部６５０は、イベント内容ごとに（例えば、図２１に示すＥＳ１「再生キー」）、複数の単位における条件の関係性を示すようにしても良い。

ここで、優先順対応のＥＭＡ型状態遷移表６００でも、一のアクションに対して、一のアクションが実行される際の条件としてイベントおよびモードが並べられた単位で表現されている。そして、ＥＭＡ型状態遷移表６００は、図１３を参照しながら説明したとおり、その表の構造に倣って疑似コードを作成することが容易になっている。すなわち、優先順対応のＥＭＡ型状態遷移表６００は、オートコード化を容易にしている。

また、表示部１５は、優先順位非対応のＥＭＡ型状態遷移表５００（図１９参照）と優先順位対応のＥＭＡ型状態遷移表６００（図２０参照）とを相互に変換して表示画面３０ｍに表示しても良い。すなわち、表示部１５は、ＥＭＡ型状態遷移表５００の状態遷移の内容をＥＭＡ型状態遷移表６００の態様に変換しても表示しても良い。一方、表示部１５は、ＥＭＡ型状態遷移表６００の状態遷移の内容をＥＭＡ型状態遷移表５００の態様に変換して表示しても良い。

これによって、例えば共通する条件がまとめて表示されるＥＭＡ型状態遷移表６００と、条件がそれぞれ表示されるＥＭＡ型状態遷移表５００とをユーザが相互に確認することができるなど、優先順位対応の内容と優先順位非対応の内容との関係をユーザが比較することが可能になる。

なお、上記では種々の実施形態および変形例を説明したが、これらの実施形態や変形例同士を組み合わせて構成してもよい。
また、本開示は上記の実施形態に何ら限定されるものではなく、本開示の要旨を逸脱しない範囲で種々の形態で実施することができる。

１…情報処理システム、１１…管理部、１３…受付部、１５…表示部、３０…端末装置、５０…モード編集画面、１００，５００，６００…ＥＭＡ型状態遷移表、１１１…イベント入力欄、１１２…モード入力欄、１１３…アクション入力欄、１１４…仕様理由入力欄、１１５…試験結果入力欄、１１６…判定入力欄、６５０…ガイド表示部

Claims (12)

1. 制御対象にて生じるイベント、当該制御対象の状態であるモード、および当該制御対象が実行する処理であるアクションの入力を受け付ける受付手段と、
   イベント、モードおよびアクションの組合せが第１軸方向において並べられた単位を、当該第１軸方向とは異なる第２軸方向において予め定められた順序で複数並べた状態遷移表を表示する表示手段と、
   を備え、
   前記順序が先に記載される一の単位の条件を、当該一の単位よりも当該順序が後に記載される他の単位に関連付けることが可能なことを特徴とする情報処理システム。
2. 前記表示手段は、複数の前記他の単位のアクションに共通するアクションを前記一の単位に表示する、ことを特徴とする請求項１に記載の情報処理システム。
3. 前記表示手段は、前記一の単位のアクションが複数の前記他の単位のアクションに共通することを示す共通表示を前記状態遷移表に表示する、ことを特徴とする請求項２に記載の情報処理システム。
4. 前記状態遷移表は、前記一の単位のイベントおよびモードの条件を前記他の単位において除外する、ことを特徴とする請求項１に記載の情報処理システム。
5. 前記表示手段は、前記一の単位の前記イベントおよびモードの条件を前記他の単位において除外することを示す除外表示を前記状態遷移表に表示する、ことを特徴とする請求項４に記載の情報処理システム。
6. 前記表示手段は、前記一の単位のモードの条件から外れた条件を前記他の単位で用いるための特定記述を前記状態遷移表に表示する、ことを特徴とする請求項１に記載の情報処理システム。
7. 前記表示手段は、前記制御対象が処理を実行しないというアクションを前記状態遷移表に表示する、ことを特徴とする請求項１に記載の情報処理システム。
8. 前記表示手段は、異なる複数のモードをまとめて抽象化した抽象化モードを前記状態遷移表に表示する、ことを特徴とする請求項１に記載の情報処理システム。
9. 前記表示手段は、前記状態遷移表において対象となる単位の指定を受け付けた際に、当該単位に関連する別の単位の条件を示す条件表示を表示する、ことを特徴とする請求項１に記載の情報処理システム。
10. 制御対象にて生じるイベント、当該制御対象の状態であるモード、および当該制御対象が実行する処理であるアクションの組合せを示す状態遷移表を表示する表示装置であって、
    イベント、モードおよびアクションの第１の組合せを横方向に並べた第１単位を表示する第１表示部と、
    イベント、モードおよびアクションの第２の組合せを横方向に並べた第２単位を前記第１単位の下側に表示する第２表示部と、
    イベント、モードおよびアクションの第３の組合せを横方向に並べた第３単位を前記第２単位の下側に表示する第３表示部と、
    イベント、モードおよびアクションの第４の組合せを横方向に並べた第４単位を前記第３単位の下側に表示する第４表示部と、
    前記第１単位の前記第１の組合せの条件を前記第２単位に含めることを示す包含情報を表示する包含表示部と、
    前記第３単位の前記第３の組合せの条件を前記第４単位において除外することを示す除外情報を表示する除外表示部と、
    を備えることを特徴とする表示装置。
11. 制御対象にて生じるイベント、当該制御対象の状態であるモード、および当該制御対象が実行する処理であるアクションの入力を受け付けるステップと、
    イベント、モードおよびアクションの組合せが第１軸方向において並べられた単位を、当該第１軸方向とは異なる第２軸方向において予め定められた順序で複数並べた状態遷移表を表示するステップと、
    前記順序が先に記載される一の単位の条件を、当該一の単位よりも当該順序が後に記載される他の単位に関連付けるステップと、
    を備えることを特徴とする情報処理方法。
12. コンピュータに、
    制御対象にて生じるイベント、当該制御対象の状態であるモード、および当該制御対象が実行する処理であるアクションの入力を受け付ける機能と、
    イベント、モードおよびアクションの組合せが第１軸方向において並べられた単位を、当該第１軸方向とは異なる第２軸方向において予め定められた順序で複数並べた状態遷移表を表示する機能と、
    前記順序が先に記載される一の単位の条件を、当該一の単位よりも当該順序が後に記載される他の単位に関連付ける機能と、
    を実現させるプログラム。

Images