JP2009098958A - 状態遷移分析装置、状態遷移分析装置での処理方法及びプログラム - Google Patents

Abstract

【課題】比較対象の状態遷移モデルの差分を適切に提示することが可能な状態遷移分析装置、状態遷移分析装置での処理方法及びプログラムを提供する。
【解決手段】状態遷移分析装置１００内のＣＰＵ１０１は、条件を設定する。そして、ＣＰＵ１０１は、その一致判定条件に従って、旧状態遷移表に対応する旧状態遷移データの各組において特異な状態及び事象を示す情報と、新状態遷移表に対応する新状態遷移データおいて特異な状態及び事象の情報とが、同一の状態及び事象を表し、名称のみが異なるか否かを判定し、名称のみが異なる場合には、新旧の状態遷移表の差分を提示する際に、両者を同一のものとして扱う。
【選択図】図５

Description

本発明は、システムのとり得る状態のいずれかと、該システムにて発生し得る事象のいずれかと、その状態においてその事象が発生した際に前記システムにて実行される処理と、前記事象が発生した際の状態遷移先との４つの要素のそれぞれを示す情報を組にして構成される状態遷移データに基づいてシステムの状態遷移を分析する状態遷移分析装置、当該状態遷移分析装置での処理方法、及び、当該状態遷移分析装置としてのコンピュータに処理ステップを実行させるためのプログラムに関する。

従来よりプログラムの作成においては、コーディングの前に状態遷移モデルとしての状態遷移図や、状態遷移表の作成が行われることが多い。また、状態遷移図から状態遷移表を自動生成することもある。プログラム作成者は、一般に状態遷移モデルを、試行錯誤を繰り返して随時修正する作業を行う。このような場合、プログラム作成者は、変更前の状態遷移モデルと変更後の状態遷移モデルとにおいて、差分を把握したいと考える場合も多い。

図２７は、状態遷移図の変更の一例を示す図であり、図２７（ａ）は変更前の状態遷移図（旧状態遷移図）、図２７（ｂ）は変更後の状態遷移図（新状態遷移図）である。

図２７（ａ）及び図２７（ｂ）に示す状態遷移図において、丸で囲まれた文字は状態、／の前の文字は事象（イベント）、／の後の文字は処理、矢印は状態遷移先を示す。例えば、図２７（ａ）において、状態ＳＡから状態ＳＢに矢印が向かっており、当該矢印にＥＡ／ＦＡが対応している。このことは、状態ＳＡの場合に事象ＥＡが発生すると、処理ＦＡが実行され、状態ＳＢに遷移することを示している。また、図２７（ａ）において、二重丸で囲まれた文字は変更によって削除された状態、四角で囲まれた文字は変更によって削除された事象あるいは処理、点線の矢印は変更によって削除された状態遷移先を示す。一方、図２７（ｂ）において、二重丸で囲まれた文字は変更によって追加された状態、四角で囲まれた文字は変更によって追加された事象あるいは処理、点線の矢印は変更によって追加された状態遷移先を示す。

図２８及び図２９は、図２７に示す状態遷移図の変更に伴う変更前後の状態遷移表の差分検出の一例を示す図である。図２８（ａ）は、第１の差分検出における、図２７（ａ）の変更前の状態遷移図に対応する変更前の状態遷移表（旧状態遷移表）であり、図２８（ｂ）は、第１の差分検出における変更後の状態遷移図に対応する変更後の状態遷移表（新状態遷移表）である。一方、図２９（ａ）は、第２の差分検出における、図２７（ａ）の変更前の状態遷移図に対応する変更前の状態遷移表（旧状態遷移表）であり、図２９（ｂ）は変更後の状態遷移図に対応する変更後の状態遷移表（新状態遷移表）である。

状態遷移表は、状態を列、事象を行とした２次元の表であり、各マスには、対応する状態の時に対応する事象が発生した場合に実行される処理（下欄）と状態遷移先（上欄）とが含まれる。例えば、図２８（ａ）において、状態ＳＡの列と事象ＥＡの行の交点のマスに着目すると、当該マスの下欄には処理ＦＡが含まれ、上欄には上体ＳＢが含まれる。これは、状態ＳＡの場合に事象ＥＡが発生すると、処理ＦＡ実行され、状態ＳＢに遷移することを示しており、図２７（ａ）の旧状態遷移図に対応している。また、状態遷移表において斜線が引かれたマスは、そのマスに対応する状態のときに、そのマスに対応する事象が発生することがないことを示す。

図２８における第１の差分検出では、新旧の状態遷移表の同一の列の状態及び同一の行の事象を比較し、これら状態及び事象が異なる場合には、その異なる状態の列と、異なる事象の列とが網掛けされる。また、図２８における第１の差分検出では、新旧の状態遷移表の同一位置のマス内の処理及び状態遷移先を比較し、異なる場合には、その異なる処理及び状態遷移先の欄が斜線により網掛けされる。

一方、図２９における第２の差分検出では、新旧の状態遷移表間で異なる状態及び事象、換言すれば、一方にのみ含まれる状態及び事象を検出し、これら異なる状態の列と、異なる事象の行とが網掛けされる。また、図２９における第２の差分検出では、新旧の状態遷移表の同一の状態及び同一の事象に対応するマス内の処理及び状態遷移先を比較し、異なる場合には、その異なる処理及び状態遷移先の欄が斜線により網掛けされる。

また、特許文献１に記載の技術では、変更前の状態遷移モデルと変更後の状態遷移モデルとをテキストレベルで比較することにより、両者の差分を検出し、その差分を表示する。
特開２００６−２０９１７９号公報

しかし、上述した従来の状態遷移モデルの差分検出では、変更の前後で状態や事象が同一であっても、名称が異なれば、差分として検出されてしまう。このような過剰な差分検出は、プログラム作成者に対して必ずしも適切な差分検出結果を提示しているとはいえない。

本発明の目的は、上述した問題点を解決するものであり、比較対象の状態遷移モデルの差分を適切に提示することが可能な状態遷移分析装置、状態遷移分析装置での処理方法及びプログラムを提供するものである。

本発明は、システムにてとり得る状態のいずれかと、とり得るそれぞれの状態にて発生し得る事象のいずれかと、とり得る各状態において発生し得る各事象が発生した際に実行される処理と、状態遷移先との４つの要素の情報を組にして、前記システムにてあり得る組の情報のすべてで構成される状態遷移データに基づいてシステムの状態遷移を分析する状態遷移分析装置であって、第１の状態遷移データと、第２の状態遷移データとを記憶する状態遷移データ記憶手段と、前記第１の状態遷移データの各組の情報の全てを可視的に表す第１の状態遷移モデルと、前記第２の状態遷移データの各組の情報の全てを可視的に表す第２の状態遷移モデルとを表示ユニットに表示させる第１の表示処理手段と、前記第１の状態遷移データの各組の情報と前記第２の状態遷移データの各組の情報とを比較して、前記第１の状態遷移モデルにのみ含まれる状態を第１の特異状態として検出するとともに、前記第２の状態遷移モデルにのみ含まれる状態を第２の特異状態として検出する特異状態検出手段と、前記第１の特異状態を状態として含む前記第１の状態遷移データの組の前記事象、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異状態を状態として含む前記第２の状態遷移データの組の前記事象、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定すること、及び、前記第１の特異状態を状態遷移先として含む前記第１の状態遷移データの組の前記状態、前記事象、前記処理の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異状態を状態遷移先として含む前記第２の状態遷移データの組の前記状態、前記事象、前記処理の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定することの少なくとも一方を行う判定手段と、前記判定手段にて一致の判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する同一状態決定手段と、前記特異状態検出手段、前記判定手段及び前記同一状態決定手段での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルにおいて、異なる状態、事象、処理及び状態遷移先の組合せと、同じ状態、事象、処理及び状態遷移先の組合せとを区別して表示させる第２の表示処理手段とを有することを特徴とする。

この構成によれば、第１の状態遷移モデルにのみ含まれる第１の特異状態と第２の状態遷移モデルにのみ含まれる第２の特異状態とが同一の状態であるか否かが、状態、事象、処理及び状態遷移先の少なくとも１つの要素が一致するか否かによって判定され、同一の状態である場合には、第１の状態遷移モデル及び第２の状態遷移モデルの表示において、第１の特異状態と第２の特異状態とが同一のものとして扱われる。従って、状態の名称のみが異なる場合に差分として検出されてしまうことが抑制され、比較対象の状態遷移モデルの差分を適切に提示することが可能となる。

また、本発明の状態遷移分析装置は、前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態として含む第２の状態遷移データの組について、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定手段を有し、前記判定手段が、前記条件設定手段により設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定するようにしてもよい。

この構成によれば、状態の同一決定における厳密性についての利用者の要求に応じた適切な条件にて判定を行うことが可能となる。

同様の観点から本発明の状態遷移分析装置は、前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態遷移先として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態遷移先として含む第２の状態遷移データの組について、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定手段を有し、前記判定手段が、前記条件設定手段により設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定するようにしてもよい。

同様の観点から本発明の状態遷移分析装置は、前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態として含む第２の状態遷移データの組について、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する第１の条件設定手段と、前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態遷移先として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態遷移先として含む第２の状態遷移データの組について、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを前記一致判定の要素として選択的に設定する第２の条件設定手段と有し、前記判定手段が、前記第１の条件設定手段により設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定する第１の判定手段と、前記第２の条件設定手段により設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定する第２の判定手段とを有し、前記同一状態決定手段が、前記第１の判定手段及び前記第２の判定手段の双方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第１の決定手法、前記第１の判定手段及び前記第２の判定手段のいずれか一方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第２の決定手法、及び、前記第１の判定手段及び前記第２の判定手段のうちの指定された一方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第３の決定手法のいずれかを選択し、その選択した決定手法に基づいて決定するようにしてもよい。

本発明は、システムにてとり得る状態のいずれかと、とり得るそれぞれの状態にて発生し得る事象のいずれかと、とり得る各状態において発生し得る各事象が発生した際に実行される処理と、状態遷移先との４つの要素の情報を組にして、前記システムにてあり得る組の情報のすべてで構成される状態遷移データに基づいてシステムの状態遷移を分析する状態遷移分析装置であって、第１の状態遷移データと、第２の状態遷移データとを記憶する状態遷移データ記憶手段と、前記第１の状態遷移データの各組の情報の全てを可視的に表す第１の状態遷移モデルと、前記第２の状態遷移データの各組の情報の全てを可視的に表す第２の状態遷移モデルとを表示ユニットに表示させる第１の表示処理手段と、前記第１の状態遷移データの各組の情報と前記第２の状態遷移データの各組の情報とを比較して、前記第１の状態遷移モデルにのみ含まれる事象を第１の特異事象として検出するとともに、前記第２の状態遷移モデルにのみ含まれる事象を第２の特異事象として検出する特異事象検出手段と、前記第１の特異事象を含む前記第１の状態遷移データの組の前記状態、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異事象を含む前記第２の状態遷移データの組の前記状態、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定する判定手段と、前記判定手段にて一致の判定がなされたときに、前記第１の特異事象と前記第２の特異事象とは名称が異なるが同じ事象であると決定する同一事象決定手段と、前記特異事象検出手段、前記判定手段及び前記同一事象決定手段での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルにおいて、異なる状態、事象、処理及び状態遷移先の組合せと、同じ状態、事象、処理及び状態遷移先の組合せとを区別して表示させる第２の表示処理手段とを有することを特徴とする。

この構成によれば、第１の状態遷移モデルにのみ含まれる第１の特異事象と第２の状態遷移モデルにのみ含まれる第２の特異事象とが同一の事象であるか否かが、状態、処理及び状態遷移先の少なくとも１つの要素が一致するか否かによって判定され、同一の事象である場合には、第１の状態遷移モデル及び第２の状態遷移モデルの表示において、第１の特異事象と第２の特異事象とが同一のものとして扱われる。従って、事象の名称のみが異なる場合に差分として検出されてしまうことが抑制され、比較対象の状態遷移モデルの差分を適切に提示することが可能となる。

また、本発明の状態遷移分析装置は、前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異事象を含む第１の状態遷移データの組、及び、前記第２の特異事象を含む第２の状態遷移データの組について、前記４つの要素のうち、状態、処理及び事象の３つの要素、状態及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定手段を有し、前記判定手段が、前記条件設定手段により設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定するようにしてもよい。

この構成によれば、事象の同一決定における厳密性についての利用者の要求に応じた適切な条件にて判定を行うことが可能となる。

本発明は、システムにてとり得る状態のいずれかと、とり得るそれぞれの状態にて発生し得る事象のいずれかと、とり得る各状態において発生し得る各事象が発生した際に実行される処理と、状態遷移先との４つの要素の情報を組にして、前記システムにてあり得る組の情報のすべてで構成される状態遷移データに基づいてシステムの状態遷移を分析する状態遷移分析装置における処理方法であって、記憶手段に記憶された第１の状態遷移データの各組の情報の全てを可視的に表す第１の状態遷移モデルと、前記記憶手段に記憶された前記第２の状態遷移データの各組の情報の全てを可視的に表す第２の状態遷移モデルとを表示ユニットに表示させる第１の表示処理ステップと、前記第１の状態遷移データの各組の情報と前記第２の状態遷移データの各組の情報とを比較して、前記第１の状態遷移モデルにのみ含まれる状態を第１の特異状態として検出するとともに、前記第２の状態遷移モデルにのみ含まれる状態を第２の特異状態として検出する特異状態検出ステップと、前記第１の特異状態を状態として含む前記第１の状態遷移データの組の前記事象、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異状態を状態として含む前記第２の状態遷移データの組の前記事象、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定すること、及び、前記第１の特異状態を状態遷移先として含む前記第１の状態遷移データの組の前記状態、前記事象、前記処理の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異状態を状態遷移先として含む前記第２の状態遷移データの組の前記状態、前記事象、前記処理の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定することの少なくとも一方を行う判定ステップと、前記判定ステップにて一致の判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する同一状態決定ステップと、前記特異状態検出ステップ、前記判定ステップ及び前記同一状態決定ステップでの各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルにおいて、異なる状態、事象、処理及び状態遷移先の組合せと、同じ状態、事象、処理及び状態遷移先の組合せとを区別して表示させる第２の表示処理ステップとを有することを特徴とする。

また、本発明の処理方法は、前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態として含む第２の状態遷移データの組について、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定ステップを有し、前記判定ステップが、前記条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定するようにしてもよい。

また、本発明の処理方法は、前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態遷移先として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態遷移先として含む第２の状態遷移データの組について、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定ステップを有し、前記判定ステップが、前記条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定するようにしてもよい。

また、本発明の処理方法は、前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態として含む第２の状態遷移データの組について、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する第１の条件設定ステップと、前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態遷移先として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態遷移先として含む第２の状態遷移データの組について、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを前記一致判定の要素として選択的に設定する第２の条件設定ステップと有し、前記判定ステップが、前記第１の条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定する第１の判定ステップと、前記第２の条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定する第２の判定ステップとを有し、前記同一状態決定ステップが、前記第１の判定ステップ及び前記第２の判定ステップの双方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第１の決定手法、前記第１の判定ステップ及び前記第２の判定ステップのいずれか一方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第２の決定手法、及び、前記第１の判定ステップ及び前記第２の判定ステップのうちの指定された一方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第３の決定手法のいずれかを選択し、その選択した決定手法に基づいて決定するようにしてもよい。

本発明は、システムにてとり得る状態のいずれかと、とり得るそれぞれの状態にて発生し得る事象のいずれかと、とり得る各状態において発生し得る各事象が発生した際に実行される処理と、状態遷移先との４つの要素の情報を組にして、前記システムにてあり得る組の情報のすべてで構成される状態遷移データに基づいてシステムの状態遷移を分析する状態遷移分析装置における処理方法であって、記憶手段に記憶された第１の状態遷移データの各組の情報の全てを可視的に表す第１の状態遷移モデルと、前記記憶手段に記憶された前記第２の状態遷移データの各組の情報の全てを可視的に表す第２の状態遷移モデルとを表示ユニットに表示させる第１の表示処理ステップと、前記第１の状態遷移データの各組の情報と前記第２の状態遷移データの各組の情報とを比較して、前記第１の状態遷移モデルにのみ含まれる事象を第１の特異事象として検出するとともに、前記第２の状態遷移モデルにのみ含まれる事象を第２の特異事象として検出する特異事象検出ステップと、前記第１の特異事象を含む前記第１の状態遷移データの組の前記状態、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異事象を含む前記第２の状態遷移データの組の前記状態、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定する判定ステップと、前記判定ステップにて一致の判定がなされたときに、前記第１の特異事象と前記第２の特異事象とは名称が異なるが同じ事象であると決定する同一事象決定ステップと、前記特異事象検出ステップ、前記判定ステップ及び前記同一事象決定ステップでの各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルにおいて、異なる状態、事象、処理及び状態遷移先の組合せと、同じ状態、事象、処理及び状態遷移先の組合せとを区別して表示させる第２の表示処理ステップとを有することを特徴とする。

また、本発明の処理方法は、前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異事象を含む第１の状態遷移データの組、及び、前記第２の特異事象を含む第２の状態遷移データの組について、前記４つの要素のうち、状態、処理及び事象の３つの要素、状態及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定ステップを有し、前記判定ステップが、前記条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定するようにしてもよい。

本発明は、システムにてとり得る状態のいずれかと、とり得るそれぞれの状態にて発生し得る事象のいずれかと、とり得る各状態において発生し得る各事象が発生した際に実行される処理と、状態遷移先との４つの要素の情報を組にして、前記システムにてあり得る組の情報のすべてで構成される状態遷移データに基づいてシステムの状態遷移を分析する状態遷移分析装置としてのコンピュータに処理ステップを実行させるプログラムであって、記憶手段に記憶された第１の状態遷移データの各組の情報の全てを可視的に表す第１の状態遷移モデルと、前記記憶手段に記憶された前記第２の状態遷移データの各組の情報の全てを可視的に表す第２の状態遷移モデルとを表示ユニットに表示させる第１の表示処理ステップと、前記第１の状態遷移データの各組の情報と前記第２の状態遷移データの各組の情報とを比較して、前記第１の状態遷移モデルにのみ含まれる状態を第１の特異状態として検出するとともに、前記第２の状態遷移モデルにのみ含まれる状態を第２の特異状態として検出する特異状態検出ステップと、前記第１の特異状態を状態として含む前記第１の状態遷移データの組の前記事象、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異状態を状態として含む前記第２の状態遷移データの組の前記事象、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定すること、及び、前記第１の特異状態を状態遷移先として含む前記第１の状態遷移データの組の前記状態、前記事象、前記処理の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異状態を状態遷移先として含む前記第２の状態遷移データの組の前記状態、前記事象、前記処理の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定することの少なくとも一方を行う判定ステップと、
前記判定ステップにて一致の判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する同一状態決定ステップと、前記特異状態検出ステップ、前記判定ステップ及び前記同一状態決定ステップでの各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルにおいて、異なる状態、事象、処理及び状態遷移先の組合せと、同じ状態、事象、処理及び状態遷移先の組合せとを区別して表示させる第２の表示処理ステップとを有することを特徴とする。

また、本発明のプログラムは、前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態として含む第２の状態遷移データの組について、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定ステップを有し、前記判定ステップは、前記条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定するようにしてもよい。

また、本発明のプログラムは、前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態遷移先として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態遷移先として含む第２の状態遷移データの組について、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定ステップを有し、前記判定ステップが、前記条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定するようにしてもよい。

また、本発明のプログラムは、前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態として含む第２の状態遷移データの組について、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する第１の条件設定ステップと、前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態遷移先として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態遷移先として含む第２の状態遷移データの組について、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを前記一致判定の要素として選択的に設定する第２の条件設定ステップと有し、前記判定ステップが、前記第１の条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定する第１の判定ステップと、前記第２の条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定する第２の判定ステップとを有し、前記同一状態決定ステップが、前記第１の判定ステップ及び前記第２の判定ステップの双方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第１の決定手法、前記第１の判定ステップ及び前記第２の判定ステップのいずれか一方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第２の決定手法、及び、前記第１の判定ステップ及び前記第２の判定ステップのうちの指定された一方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第３の決定手法のいずれかを選択し、その選択した決定手法に基づいて決定するようにしてもよい。

本発明は、システムにてとり得る状態のいずれかと、とり得るそれぞれの状態にて発生し得る事象のいずれかと、とり得る各状態において発生し得る各事象が発生した際に実行される処理と、状態遷移先との４つの要素の情報を組にして、前記システムにてあり得る組の情報のすべてで構成される状態遷移データに基づいてシステムの状態遷移を分析する状態遷移分析装置としてのコンピュータに処理ステップを実行させるプログラムであって、記憶手段に記憶された第１の状態遷移データの各組の情報の全てを可視的に表す第１の状態遷移モデルと、前記記憶手段に記憶された前記第２の状態遷移データの各組の情報の全てを可視的に表す第２の状態遷移モデルとを表示ユニットに表示させる第１の表示処理ステップと、前記第１の状態遷移データの各組の情報と前記第２の状態遷移データの各組の情報とを比較して、前記第１の状態遷移モデルにのみ含まれる事象を第１の特異事象として検出するとともに、前記第２の状態遷移モデルにのみ含まれる事象を第２の特異事象として検出する特異事象検出ステップと、前記第１の特異事象を含む前記第１の状態遷移データの組の前記状態、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異事象を含む前記第２の状態遷移データの組の前記状態、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定する判定ステップと、前記判定ステップにて一致の判定がなされたときに、前記第１の特異事象と前記第２の特異事象とは名称が異なるが同じ事象であると決定する同一事象決定ステップと、前記特異事象検出ステップ、前記判定ステップ及び前記同一事象決定ステップでの各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルにおいて、異なる状態、事象、処理及び状態遷移先の組合せと、同じ状態、事象、処理及び状態遷移先の組合せとを区別して表示させる第２の表示処理ステップとを有することを特徴とする。

また、本発明のプログラムは、前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異事象を含む第１の状態遷移データの組、及び、前記第２の特異事象を含む第２の状態遷移データの組について、前記４つの要素のうち、状態、処理及び事象の３つの要素、状態及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定ステップを有し、前記判定ステップが、前記条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定するようにしてもよい。

本発明によれば、比較対象の状態遷移モデル間で状態や事象が同一であるか否かが適切に判断されるため、比較対象の状態遷移モデルの差分を適切に提示することが可能となる。

本発明の実施の形態について、図面を参照して具体的に説明する。図１は、状態遷移分析装置の構成を示す図である。図１に示す状態遷移析装置１００は、例えばパーソナルコンピュータ（ＰＣ）であり、ＣＰＵ１０１、メモリ１０２、ハードディスクドライブ（ＨＤＤ）１０３、操作部１０５及びモニタ１０６によって構成される。これらＣＰＵ１０１、メモリ１０２、ＨＤＤ１０３、操作部１０５及びモニタ１０６は、内部バス１０７に接続されている。

この状態遷移分析装置１００において、ＣＰＵ１０１は、状態遷移表が変更された場合に、変更前後の状態及び事象が同一の状態及び事象を表しており、名称のみが異なるものであるか否かを判定し、その判定結果に応じて、状態遷移表における、異なる状態、事象、処理及び状態遷移先の組合せと、同一の状態、事象、処理及び状態遷移先の組合せとを区別してモニタ１０６に表示させる。このような処理は、ＣＰＵ１０１が利用者であるプログラム作成者による操作部１０５の操作に応じて、ＨＤＤ１０３から読み出してメモリ１０２に記憶させた所定のプログラムを実行することにより、実現される。

図２は、本実施形態における状態遷移モデルとしての状態遷移図の変更の一例を示す図であり、図２（ａ）は変更前の状態遷移図（旧状態遷移図）、図２（ｂ）は変更後の状態遷移図（新状態遷移図）である。これら状態遷移図において、丸で囲まれた文字は状態、／の前の文字は事象（イベント）、／の後の文字は処理、矢印は状態遷移先を示す。

一方、図３は、本実施形態における状態遷移モデルとしての状態遷移表の変更の一例を示す図であり、図３（ａ）は図２（ａ）の旧状態遷移図に対応する変更前の状態遷移表（旧状態遷移表）、図３（ｂ）は図２（ｂ）の新状態遷移図に対応する変更後の状態遷移表（新状態遷移表）である。状態遷移図から状態遷移表への変換は、公知の手法によってなされる。状態遷移表は、状態を列、事象を行とした２次元の表であり、各マスには、対応する状態の時に対応する事象が発生した場合に実行される処理（下欄）と当該処理による状態遷移先（上欄）が含まれる。例えば、状態ＳＡ及び事象ＥＡで定まるマスには、状態ＳＡにおいて事象ＥＡが発生した場合に実行される処理ＦＡと、当該処理ＦＡの実行による状態遷移先ＳＢが含まれる。状態遷移表の各マスには、１つの状態遷移データが対応付けられており、当該状態遷移データはＨＤＤ１０３に記憶されている。

図４は、状態遷移データの一例を示す図であり、図４（ａ）は図３（ａ）の旧状態遷移表の各マスに対応する状態遷移データ（旧状態遷移データ）の各組、図４（ｂ）は図３（ｂ）の新状態遷移表の各マスに対応する状態遷移データ（新状態遷移データ）の各組である。これらの状態遷移データは、状態と、事象と、当該状態において当該事象が発生した場合に実行される処理と、当該処理の実行による状態遷移先とを示す各情報により構成される。例えば、図４（ａ）の最上位の旧状態遷移データは、図３（ａ）の旧状態遷移表における状態ＳＡの列と事象ＥＡの行の交点のマスに対応するものであり、これら状態ＳＡ及び事象ＥＡを示す情報と、当該状態ＳＡにおいて当該事象ＥＡが発生した場合に実行される処理ＦＡを示す情報と、当該処理ＦＡの実行による状態遷移先ＳＢを示す情報とが含まれる。

以下、新旧の状態遷移表の表示処理について説明する。図５は、新旧の状態遷移表の表示動作を示すフローチャートである。ＣＰＵ１０１は、ＨＤＤ１０３に記憶された第１の状態遷移データに対応する旧状態遷移データの各組と、第２の状態遷移データに対応する新状態遷移データの各組とを読み出し、メモリ１０２に記憶させる（Ｓ１０１）。次に、ＣＰＵ１０１は、メモリ１０２に記憶させた旧状態遷移データの各組と新状態遷移データの各組とに基づいて、急状態遷移表及び新状態遷移表をモニタ１０６に表示させる（Ｓ１０２）。例えば、旧状態遷移データの各組が図４（ａ）に示すものであり、新状態遷移データの各組が図４（ｂ）に示すものである場合、旧状態遷移表は図３（ａ）に示すものとなり、新状態遷移表は図３（ｂ）に示すものとなる。

次に、ＣＰＵ１０１は、後述する、変更前後の状態や事象が同一の状態や事象を表しており、名称のみが異なるものか否かの決定を行う際の条件を、プログラム作成者による操作部１０５の操作に応じて設定する（Ｓ１０３）。設定された条件の情報は、メモリ１０２に記憶される。

図６は、変更前後の状態が同一の状態を表しており、名称のみが異なるものであるか否かの決定を行う際の条件の一例を示す。図６に示す条件は、Ａ乃至Ｄの４種類の手法と、１乃至３の３種類の判定の要素である新旧の状態遷移データ内の情報とによって定められ、条件Ａ−１乃至Ａ−３、Ｂ−１乃至Ｂ−３、Ｃ−１乃至Ｃ−３、Ｄ−１乃至Ｄ−４の１２種類存在する。

手法Ａは、旧状態遷移表にのみ含まれる状態（特異旧状態）を示す情報を、状態を示す情報として含む旧状態遷移データの組と、新状態遷移表にのみ含まれる状態（特異新状態）を示す情報を、状態を示す情報として含む新状態遷移データの組とが一致するか否かを判定するとともに、特異旧状態を示す情報を、状態遷移先を示す情報として含む旧状態遷移データの組と、特異新状態を示す情報を、状態遷移先を示す情報として含む新状態遷移データの組とが一致するか否かを判定し、これら双方において一致すると判定した場合に、特異旧状態と特異新状態とが同一状態であると決定する手法である。手法Ｂは、特異旧状態を示す情報を、状態を示す情報として含む旧状態遷移データの組と、特異新状態を示す情報を、状態を示す情報として含む新状態遷移データの組とが一致するか否かを判定し、一致すると判定した場合に、特異旧状態と特異新状態とが同一状態であると決定する手法である。手法Ｃは、特異旧状態を示す情報を、状態遷移先を示す情報として含む旧状態遷移データの組と、特異新状態を示す情報を、状態遷移先を示す情報として含む新状態遷移データの組とが一致するか否かを判定し、一致すると判定した場合に、特異旧状態と特異新状態とが同一状態であると決定する手法である。手法Ｄは、特異旧状態を示す情報を、状態を示す情報として含む旧状態遷移データの組と、特異新状態を示す情報を、状態を示す情報として含む新状態遷移データの組とが一致するか否かを判定するとともに、特異旧状態を示す情報を、状態遷移先を示す情報として含む旧状態遷移データの組と、特異新状態を示す情報を、状態遷移先を示す情報として含む新状態遷移データの組とが一致するか否かを判定し、これらの少なくともいずれかにおいて一致すると判定した場合に、特異旧状態と特異新状態とが同一状態であると決定する手法である。これら手法Ａ乃至Ｄによる同一状態の決定の厳密性は、手法Ａが最も高く、手法Ｄが最も低い。

一方、判定要素１は、判定要素の旧状態遷移データの組と新状態遷移データの組とにおいて、事象及び処理を示す情報と、状態遷移先又は状態を示す情報のいずれかとが一致するか否かを判定することを示す。判定要素２は、判定要素の旧状態遷移データの組と新状態遷移データの組とにおいて、事象を示す情報と、状態遷移先又は状態を示す情報のいずれかとが一致するか否かを判定することを示す。判定要素３は、判定要素の旧状態遷移データの組と新状態遷移データの組とにおいて、状態遷移先又は状態を示す情報のいずれかが一致するか否かを判定することを示す。これら判定要素１乃至３による同一状態の決定の厳密性は、判定要素１が最も高く、判定要素３が最も低い。

図７は、変更前後の事象が同一の状態を表しており、名称のみが異なるものであるか否かの決定を行う際の条件の一例を示す。図７に示す条件は、１種類の手法Ｅと、１乃至３の３種類の判定要素とすべき新旧の状態遷移データ内を示す情報とによって定められ、条件Ｄ−１乃至Ｄ−３の３種類存在する。

手法Ｅは、旧状態遷移表にのみ含まれる事象（特異旧事象）を示す情報を含む旧状態遷移データの組と、新状態遷移表にのみ含まれる事象（特異新事象）を示す情報を含む新状態遷移データの組とが一致するか否かを判定し、一致する場合に、特異旧事象と特異新事象とが名称が異なるが同一状態であると決定する手法である。

一方、判定要素１は、旧状態遷移データの組と新状態遷移データの組とにおいて、状態、処理及び状態遷移先を示す情報が一致するか否かを判定することを示す。判定要素２は、旧状態遷移データの組と新状態遷移データの組とにおいて、状態及び状態遷移先を示す情報が一致するか否かを判定することを示す。判定要素３は、旧状態遷移データの組と新状態遷移データの組とにおいて、状態遷移先が一致するか否かを判定することを示す。これら判定要素１乃至３による同一事象の決定の厳密性は、判定要素１が最も高く、判定要素３が最も低い。

再び、図５に戻って説明する。次に、ＣＰＵ１０１は、旧状態遷移表にのみ含まれる状態（特異旧状態）及び旧状態遷移表にのみ含まれる事象（旧特異事象）と、新状態遷移表にのみ含まれる状態（特異新状態）及び新状態遷移表にのみ含まれる事象（新特異事象）とを特定する（Ｓ１０４）。

図８は、Ｓ１０４における特異旧状態及び特異新状態の特定の詳細な動作を示すフローチャートである。ＣＰＵ１０１は、メモリ１０２に記憶された旧状態遷移データの各組に含まれる状態（状態及び状態遷移先）を示す情報のうち、未選択の状態を示す情報が存在するか否かを判定する（Ｓ２０１）。未選択の状態を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の状態を示す情報のうち、いずれかの状態を示す情報を選択する（Ｓ２０２）。

次に、ＣＰＵ１０１は、メモリ１０２に記憶された新状態遷移データの各組に含まれる状態（状態及び状態遷移先）を示す情報のうち、未選択の状態を示す情報が存在するか否かを判定する（Ｓ２０３）。未選択の状態を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の状態を示す情報のうち、いずれかの状態を示す情報を選択する（Ｓ２０４）。

次に、ＣＰＵ１０１は、Ｓ２０２において選択した状態を示す情報と、Ｓ２０４において選択した状態を示す情報とが一致するか否かを判定する（Ｓ２０５）。これら２つの状態を示す情報が一致する場合には、ＣＰＵ１０１は、その一致する状態を示す情報が旧状態遷移データと新状態遷移データの双方に含まれると判断する（Ｓ２０６）。

その後、再び、メモリ１０２に記憶された新状態遷移データの各組に含まれる状態を示す情報のうち、未選択の状態を示す情報が存在するか否かの判定（Ｓ２０３）以降の動作が繰り返される。また、Ｓ２０５において、２つの状態を示す情報が一致しないと判定された場合にも、再び、メモリ１０２に記憶された新状態遷移データの各組に含まれる状態を示す情報のうち、未選択の状態を示す情報が存在するか否かの判定（Ｓ２０３）以降の動作が繰り返される。

そして、Ｓ２０３において、メモリ１０２に記憶された新状態遷移データの各組に含まれる状態を示す情報のうち、未選択の状態を示す情報が存在しないと判定された場合には、再び、メモリ１０２に記憶された旧状態遷移データの各組に含まれる状態を示す情報のうち、未選択の事象を示す情報が存在するか否かの判定（Ｓ２０１）以降の動作が繰り返される。

更に、Ｓ２０１において、メモリ１０２に記憶された旧状態遷移データの各組に含まれる状態を示す情報のうち、未選択の状態を示す情報が存在しないと判定された場合は、旧状態遷移データの各組に含まれる状態を示す情報と、新状態遷移データの各組に含まれる状態を示す情報とのすべての組み合わせにおいて、Ｓ２０５における一致判定が終了したことを意味する。この場合、ＣＰＵ１０１は、Ｓ２０５における一致判定の結果、旧状態遷移データの各組に含まれる状態を示す情報うち、新状態遷移データの各組に含まれる状態を示す情報のいずれとも一致しなかったものを、特異旧状態として特定する。更に、ＣＰＵ１０１は、Ｓ２０５における一致判定の結果、新状態遷移データの各組に含まれる状態を示す情報うち、旧状態遷移データの各組に含まれる状態を示す情報のいずれとも一致しなかったものを、特異新状態を示す情報として特定する（Ｓ２０７）。特定された特異旧状態及び特異新状態を示す情報は、メモリ１０２に記憶される。

図９は、図８における特異旧状態及び特異新状態の特定動作を説明するための状態遷移表の一例である。図９（ａ）に示す旧状態遷移表と、図９（ｂ）に示す新状態遷移表とを比較すると、旧状態遷移表における斜線の網掛け部の状態ＳＢ及びＳＣは、新状態遷移表には含まれていない、換言すれば、旧状態遷移データの各組に含まれる状態ＳＢ及びＳＣを示す情報は、新状態遷移データの各組には含まれていない。また、新状態遷移表における斜線の網掛け部の状態ＳＸ及びＳＹは、新状態遷移表には含まれていない、換言すれば、新状態遷移データの各組に含まれる状態ＳＸ及びＳＹを示す情報は、旧状態遷移データの各組には含まれていない。従って、状態ＳＢ及びＳＣを示す情報は特異旧状態を示す情報として特定され、状態ＳＸ及びＳＹを示す情報は特異新状態を示す情報として特定される。なお、図９（ａ）に示す旧状態遷移表における縦線の網掛け部は、状態遷移先が特異旧状態ＳＢ及びＳＣとなるものを示し、図９（ｂ）に示す旧状態遷移表における縦線の網掛け部は、状態遷移先が特異新状態ＳＸ及びＳＹとなるものを示す。

図１０は、Ｓ１０４における特異旧事象及び特異新事象の特定の詳細な動作を示すフローチャートである。具体的な動作は、図８に示すフローチャートと同様である。すなわち、ＣＰＵ１０１は、メモリ１０２に記憶された旧状態遷移データの各組に含まれる事象を示す情報のうち、未選択の事象を示す情報が存在するか否かを判定する（Ｓ２５１）。未選択の事象を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の事象を示す情報のうち、いずれかの事象を示す情報を選択する（Ｓ２５２）。

次に、ＣＰＵ１０１は、メモリ１０２に記憶された新状態遷移データの各組に含まれる事象を示す情報のうち、未選択の事象を示す情報が存在するか否かを判定する（Ｓ２５３）。未選択の事象を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の事象を示す情報のうち、いずれかの事象を示す情報を選択する（Ｓ２５４）。

次に、ＣＰＵ１０１は、Ｓ２５２において選択した事象を示す情報と、Ｓ２５４において選択した事象を示す情報とが一致するか否かを判定する（Ｓ２５５）。これら２つの事象を示す情報が一致する場合には、ＣＰＵ１０１は、その一致する事象を示す情報が旧状態遷移データの各組と新状態遷移データの各組の双方に含まれると判断する（Ｓ２５６）。

その後、再び、未選択の事象を示す情報が存在するか否かの判定（Ｓ２５３）以降の動作が繰り返される。また、Ｓ２５５において、２つの事象を示す情報が一致しないと判定された場合にも、再び、未選択の事象を示す情報が存在するか否かの判定（Ｓ２５３）以降の動作が繰り返される。

そして、Ｓ２５３において、未選択の事象を示す情報が存在しないと判定された場合には、再び、メモリ１０２に記憶された旧状態遷移データの各組に含まれる事象を示す情報のうち、未選択の事象を示す情報が存在するか否かの判定（Ｓ２５１）以降の動作が繰り返される。

更に、Ｓ２５１において、未選択の事象を示す情報が存在しないと判定された場合は、旧状態遷移データの各組に含まれる事象を示す情報と、新状態遷移データの各組に含まれる事象を示す情報とのすべての組み合わせにおいて、Ｓ２５５における一致判定が終了したことを意味する。この場合、ＣＰＵ１０１は、Ｓ２５５における一致判定の結果、旧状態遷移データの各組に含まれる事象を示す情報うち、新状態遷移データの各組に含まれる事象を示す情報のいずれとも一致しなかったものを、特異旧事象として特定する。更に、ＣＰＵ１０１は、Ｓ２０５における一致判定の結果、新状態遷移データの各組に含まれる事象を示す情報うち、旧状態遷移データの各組に含まれる事象を示す情報のいずれとも一致しなかったものを、特異新事象を示す情報として特定する（Ｓ２５７）。特定された特異旧事象及び特異新事象を示す情報は、メモリ１０２に記憶される。

図１１は、図１０における特異旧事象及び特異新事象の特定動作を説明するための状態遷移表の一例であり、図８における特異旧状態及び特異新状態の特定動作後に、更に、図１０における特異旧事象及び特異新事象の特定動作が行われた場合に対応するものである。図１０（ａ）に示す旧状態遷移表と、図１０（ｂ）に示す新状態遷移表とを比較すると、旧状態遷移表における斜線の網掛け部の事象ＥＤは、新状態遷移表には含まれていない、換言すれば、旧状態遷移データの各組に含まれる事象ＥＤを示す情報は、新状態遷移データの各組には含まれていない。また、新状態遷移表における斜線の網掛け部の事象ＥＹは、新状態遷移表には含まれていない、換言すれば、新状態遷移データの各組に含まれる事象ＥＹを示す情報は、旧状態遷移データの各組には含まれていない。従って、事象ＥＤを示す情報は特異旧事象を示す情報として特定され、事象ＥＹを示す情報は特異新事象を示す情報として特定される。なお、特異新状態と特異旧状態の交点となるマスの縦線の網掛け部は後述する一致判定の対象とはならない。

再び、図５に戻って説明する。Ｓ１０４において、特異旧状態及び特異旧事象と、特異新事象及び特異新事象を特定した後、次に、ＣＰＵ１０１は、Ｓ１０３において設定した条件に応じて、変更前後の状態及び事象が同一の状態及び状態を表しており、名称のみが異なるものであるか否かの判定（名称変更判定）を行う（Ｓ１０５）。

名称変更判定は、設定された条件に応じて異なる。まず、第１の名称変更判定について説明する。図１２及び図１６は、Ｓ１０５における第１の名称変更判定の詳細な動作を示すフローチャートである。なお、以下においては、図６における条件Ｂ−１と、図７における条件Ｅ−１とが設定された場合を例に説明する。

ＣＰＵ１０１は、メモリ１０２に記憶された特異旧状態を示す情報のうち、未選択のものが存在するか否かを判定する（Ｓ３０１）。未選択の特異旧状態を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の特異旧状態を示す情報のうち、いずれかを選択する（Ｓ３０２）。更に、ＣＰＵ１０１は、メモリ１０２に記憶された旧状態遷移データの各組のうち、Ｓ３０２において選択した特異旧状態を示す情報を、状態を示す情報に含む旧状態遷移データの組を抽出する（Ｓ３０３）。

次に、ＣＰＵ１０１は、メモリ１０２に記憶された特異新状態を示す情報のうち、未選択のものが存在するか否かを判定する（Ｓ３０４）。未選択の特異新状態を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の特異新状態を示す情報のうち、いずれかを選択する（Ｓ３０５）。更に、ＣＰＵ１０１は、メモリ１０２に記憶された旧状態遷移データの各組のうち、Ｓ３０５において選択した特異旧状態を示す情報を、状態を示す情報に含む旧状態遷移データの組を抽出する（Ｓ３０６）。

次に、ＣＰＵ１０１は、Ｓ３０３において抽出した旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、Ｓ３０６において抽出した新状態遷移データの組に含まれる事象、処理、状態遷移先を示す各情報とが一致するか否かを判定する（Ｓ３０７）。

図１３乃至図１５は、Ｓ３０７における一致判定の動作を説明するための状態遷移表の一例である。まず、図１３（ａ）に示す旧状態遷移表における特異旧状態ＳＢの列（太線で囲まれた部分）における縦線の網掛け部以外の部分と、図１３（ｂ）における特異新状態ＳＸの列（太線で囲まれた部分）における縦線の網掛け部以外の部分とを比較すると、両者は一致しない。この場合、特異旧状態ＳＢを示す情報を、状態を示す情報として含む旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、特異新状態ＳＸを示す情報を、状態を示す情報として含む新状態遷移データの組に含まれる事象、処理、状態遷移先を示す各情報とは一致しないと判定される。

また、図１４（ａ）に示す旧状態遷移表における特異旧状態ＳＢの列（太線で囲まれた部分）における縦線の網掛け部以外の部分と、図１４（ｂ）における特異新状態ＳＹの列（太線で囲まれた部分）における縦線の網掛け部以外の部分とを比較すると、両者は一致する。この場合、特異旧状態ＳＢを示す情報を、状態を示す情報として含む旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、特異新状態ＳＹを示す情報を、状態を示す情報として含む新状態遷移データの組に含まれる事象、処理、状態遷移先を示す各情報とは一致すると判定される。

更に、図１５（ａ）に示す旧状態遷移表における特異旧状態ＳＣの列（太線で囲まれた部分）における縦線の網掛け部以外の部分と、図１５（ｂ）における特異新状態ＳＸの列（太線で囲まれた部分）における縦線の網掛け部以外の部分とを比較すると、両者は一致しない。この場合、特異旧状態ＳＣを示す情報を、状態を示す情報として含む旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、特異新状態ＳＸを示す情報を、状態を示す情報として含む新状態遷移データの組に含まれる事象、処理、状態遷移先を示す各情報とは一致しないと判定される。

再び、図１２に戻って説明する。Ｓ３０７において、旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる事象、処理、状態遷移先を示す各情報とが一致すると判定した場合、ＣＰＵ１０１は、旧状態遷移データの組に状態を示す情報として含まれる特異旧状態と、新状態遷移データの組に状態を示す情報として含まれる特異新状態とが同一の状態を表し、名称のみが変更されたものであると判断する（Ｓ３０８）。上述した図１３乃至図１５の例においては、特異旧状態ＳＢと特異新状態ＳＹとが同一の状態を表し、名称のみが変更されたものであると判断される。

なお、設定された条件が図６の条件Ｂ−２の場合には、ＣＰＵ１０１は、Ｓ３０７において、旧状態遷移データの組に含まれる事象及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる事象及び状態遷移先を示す各情報とが一致するか否かを判定する。また、設定された条件が図６の条件Ｂ−３の場合には、ＣＰＵ１０１は、Ｓ３０７において、旧状態遷移データの組に含まれる状態遷移先を示す情報と、新状態遷移データの組に含まれる状態遷移先を示す情報とが一致するか否かを判定する。そして、ＣＰＵ１０１は、一致する場合には、Ｓ３０８において、旧状態遷移データの組に状態を示す情報として含まれる特異旧状態と、新状態遷移データの組に状態の情報として含まれる特異新状態とが同一の状態を表し、名称のみが変更されたものであると判断する。

Ｓ３０８における判断の後、再び、メモリ１０２に記憶された特異新状態を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３０４）以降の動作が繰り返される。また、Ｓ３０７において、旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる事象、処理、状態遷移先を示す各情報とが一致しないと判定された場合にも、再び、メモリ１０２に記憶された特異新状態を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３０４）以降の動作が繰り返される。

そして、Ｓ３０４において、メモリ１０２に記憶された特異新状態を示す情報のうち、未選択のものが存在しないと判定された場合には、再び、メモリ１０２に記憶された特異旧状態を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３０１）以降の動作が繰り返される。

更に、Ｓ３０１において、メモリ１０２に記憶された特異旧状態を示す情報のうち、未選択のものが存在しないと判定された場合は、特異旧状態を示す情報と特異新状態を示す情報とのすべての組み合わせにおいて、Ｓ３０７にて、当該特異旧状態を示す情報を、状態を示す情報として含む旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、当該特異新状態を示す情報を、状態を示す情報として含む新状態遷移データの組に含まれる事象、処理、状態遷移先を示す各情報との一致判定が終了したことを意味する。

この場合、図１６の動作に移行し、ＣＰＵ１０１は、メモリ１０２に記憶された特異旧事象を示す情報のうち、未選択のものが存在するか否かを判定する（Ｓ３１１）。未選択の特異旧事象を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の特異旧事象を示す情報のうち、いずれかを選択する（Ｓ３１２）。更に、ＣＰＵ１０１は、メモリ１０２に記憶された旧状態遷移データの各組のうち、Ｓ３１２において選択した特異旧事象を示す情報を、事象を示す情報に含む旧状態遷移データの組を抽出する（Ｓ３１３）。

次に、ＣＰＵ１０１は、メモリ１０２に記憶された特異新状態の事象のうち、未選択のものが存在するか否かを判定する（Ｓ３１４）。未選択の特異新事象を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の特異新事象を示す情報のうち、いずれかを選択する（Ｓ３１５）。更に、ＣＰＵ１０１は、メモリ１０２に記憶された旧状態遷移データの各組のうち、Ｓ３１５において選択した特異旧事象を示す情報を、事象を示す情報に含む旧状態遷移データの組を抽出する（Ｓ３１６）。

次に、ＣＰＵ１０１は、Ｓ３１３において抽出した旧状態遷移データの組に含まれる状態、処理及び状態遷移先を示す各情報と、Ｓ３１６において抽出した新状態遷移データの組に含まれる状態、処理、状態遷移先を示す各情報とが一致するか否かを判定する（Ｓ３１７）。

図１７は、Ｓ３１７における一致判定の動作を説明するための状態遷移表の一例である。図１７（ａ）に示す旧状態遷移表における特異旧事象ＥＤの行（太線で囲まれた部分）における縦線の網掛け部以外の部分と、図１７（ｂ）における特異新事象ＥＹの行（太線で囲まれた部分）における縦線の網掛け部以外の部分とを比較すると、両者は一致しない。この場合、特異旧事象ＥＤを示す情報を、事象を示す情報として含む旧状態遷移データの組に含まれる状態、処理及び状態遷移先を示す各情報と、特異新事象ＥＹを含む新状態遷移データの組に含まれる状態、処理、状態遷移先を示す各情報とは一致しないと判定される。

再び、図１６に戻って説明する。Ｓ３１７において、旧状態遷移データの組に含まれる状態、処理及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる状態、処理、状態遷移先を示す各情報とが一致すると判定した場合、ＣＰＵ１０１は、旧状態遷移データの組に事象を示す情報として含まれる特異旧事象と、新状態遷移データの組に事象を示す情報として含まれる特異新事象とが同一の事象を表し、名称のみが変更されたものであると判断する（Ｓ３１８）。

なお、設定された条件が図７の条件Ｅ−２の場合には、ＣＰＵ１０１は、Ｓ３１７において、旧状態遷移データの組に含まれる状態及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる状態及び状態遷移先を示す各情報とが一致するか否かを判定する。また、設定された条件が図７の条件Ｅ−３の場合には、ＣＰＵ１０１は、Ｓ３１７において、旧状態遷移データの組に含まれる状態遷移先を示す情報と、新状態遷移データの組に含まれる状態遷移先を示す情報とが一致するか否かを判定する。そして、ＣＰＵ１０１は、一致する場合には、Ｓ３１８において、旧状態遷移データの組に事象を示す情報として含まれる特異旧事象と、新状態遷移データの組に事象を示す情報として含まれる特異新事象とが同一の事象を表し、名称のみが変更されたものであると判断する。

Ｓ３１７における判断の後、再び、メモリ１０２に記憶された特異新事象を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３１４）以降の動作が繰り返される。また、Ｓ３１７において、旧状態遷移データの組に含まれる状態、処理及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる状態、処理、状態遷移先を示す各情報とが一致しないと判定された場合にも、再び、メモリ１０２に記憶された特異新事象を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３１４）以降の動作が繰り返される。

そして、Ｓ３１４において、メモリ１０２に記憶された特異新事象を示す情報のうち、未選択のものが存在しないと判定された場合には、再び、メモリ１０２に記憶された特異旧事象を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３１１）以降の動作が繰り返される。更に、Ｓ３１１において、メモリ１０２に記憶された特異旧事象を示す情報のうち、未選択のものが存在しないと判定された場合は、特異旧事象を示す情報と特異新事象を示す情報とのすべての組み合わせにおいて、Ｓ３１７にて、当該特異旧事象を示す情報を、事象を示す情報として含む旧状態遷移データの組に含まれる状態、処理及び状態遷移先を示す各情報と、当該特異新事象を示す情報を、事象を示す情報として含む新状態遷移データの組に含まれる状態、処理、状態遷移先を示す各情報との一致判定が終了したことを意味する。この場合には、一連の動作が終了する。

再び、図５に戻って説明する。ＣＰＵ１０１は、Ｓ１０５における名称変更判定の後、その名称変更判定の結果と、Ｓ１０４における特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果とに応じた旧状態遷移表及び新状態遷移表をモニタ１０６に表示させる処理を行う（Ｓ１０６）。具体的には、ＣＰＵ１０１は、図１２のＳ３０８にて名称のみの変更であり、同じ状態であると判断された特異旧状態及び特異新状態と、図１６のＳ３１８にて名称のみの変更であり、同じ事象であると判断された特異旧事象及び特異新事象を特定する。そして、ＣＰＵ１０１は、上述した従来の第２の差分検出を行い、新旧の状態遷移表の状態及び事象のうち、異なる状態及び事象を検出し、これら異なる状態の列と、異なる事象の列とを斜線で網掛けするとともに、新旧の状態遷移表の同一の状態及び同一の事象に対応するマス内の処理及び状態遷移先を比較し、異なる場合には、その異なる処理及び状態遷移先の欄を斜線で網掛けする。また、ＣＰＵ１０１は、旧状態遷移表の状態の欄のうち、特異旧状態の欄と特異旧事象の欄とを斜線で網掛けするとともに、新状態遷移表の状態の欄のうち、特異新状態の欄と特異新事象の欄とを斜線で網掛けする。

図１８は、第１の名称変更判定の結果及び特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果に応じた旧状態遷移表及び新状態遷移表の一例を示す図である。図１８（ａ）に示す旧状態遷移表を図２９（ａ）に示す従来の旧状態遷移表と比較すると、図１８（ａ）では特異旧状態ＳＢと特異旧状態ＳＹとが同一とみなされているため、図２９（ａ）と比較して斜線の網掛け部分が少ない。また、図１８（ｂ）に示す新状態遷移表を図２９（ｂ）に示す従来の新状態遷移表と比較すると、図１８（ｂ）では特異旧状態ＳＢと特異旧状態ＳＹとが同一とみなされているため、図２９（ｂ）と比較して斜線の網掛け部分が少ない。従って、過剰な差分検出が抑制される。

次に、第２の名称変更判定について説明する。図１９は、Ｓ１０５における第２の名称変更判定の詳細な動作を示すフローチャートである。なお、以下においては、図６における条件Ｃ−１と、図７における条件Ｅ−１とが設定された場合を例に説明する。

ＣＰＵ１０１は、メモリ１０２に記憶された特異旧状態を示す情報のうち、未選択のものが存在するか否かを判定する（Ｓ３５１）。未選択の特異旧状態を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の特異旧状態を示す情報のうち、いずれかを選択する（Ｓ３５２）。更に、ＣＰＵ１０１は、メモリ１０２に記憶された旧状態遷移データの各組のうち、Ｓ３０２において選択した特異旧状態を示す情報を、状態遷移先を示す情報に含む旧状態遷移データの組を抽出する（Ｓ３５３）。

次に、ＣＰＵ１０１は、メモリ１０２に記憶された特異新状態を示す情報のうち、未選択のものが存在するか否かを判定する（Ｓ３５４）。未選択の特異新状態を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の特異新状態を示す情報のうち、いずれかを選択する（Ｓ５０５）。更に、ＣＰＵ１０１は、メモリ１０２に記憶された旧状態遷移データの各組のうち、Ｓ３５５において選択した特異旧状態を、状態遷移先を示す情報に含む旧状態遷移データの組を抽出する（Ｓ３５６）。

次に、ＣＰＵ１０１は、Ｓ３５３において抽出した旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、Ｓ３５６において抽出した新状態遷移データの組に含まれる状態、事象及び処理を示す各情報とが一致するか否かを判定する（Ｓ３５７）。

図２０乃至図２２は、Ｓ３５７における一致判定の動作を説明するための状態遷移表の一例である。まず、図２０（ａ）に示す旧状態遷移表における特異旧状態ＳＢを状態遷移先として含むマス（太線で囲まれた部分）における縦線の網掛け部以外の部分と、図２０（ｂ）における特異新状態ＳＸを状態遷移先として含むマス（太線で囲まれた部分）における縦線の網掛け部以外の部分とを比較すると、両者は一致しない。この場合、特異旧状態ＳＢを示す情報を、状態遷移先を示す情報として含む旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、特異新状態ＳＸを示す情報を、状態遷移先を示す情報として含む新状態遷移データの組に含まれる状態、事象及び処理を示す各情報とは一致しないと判定される。

また、図２１（ａ）に示す旧状態遷移表における特異旧状態ＳＢを状態遷移先として含むマス（太線で囲まれた部分）における縦線の網掛け部以外の部分と、図２１（ｂ）における特異新状態ＳＹを状態遷移先として含むマス（太線で囲まれた部分）における縦線の網掛け部以外の部分とを比較すると、両者は一致しない。この場合、特異旧状態ＳＢを示す情報を、状態遷移先を示す情報として含む旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、特異新状態ＳＹを示す情報を、状態遷移先を示す情報として含む新状態遷移データの組に含まれる状態、事象及び処理を示す各情報とは一致しないと判定される。

また、図２２（ａ）に示す旧状態遷移表における特異旧状態ＳＣを状態遷移先として含むマス（太線で囲まれた部分）における縦線の網掛け部以外の部分と、図２２（ｂ）における特異新状態ＳＸを状態遷移先として含むマス（太線で囲まれた部分）における縦線の網掛け部以外の部分とを比較すると、両者は一致する。この場合、特異旧状態ＳＣを示す情報を、状態遷移先を示す情報として含む旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、特異新状態ＳＸを示す情報を、状態遷移先を示す情報として含む新状態遷移データの組に含まれる状態、事象及び処理を示す各情報とは一致すると判定される。

再び、図１９に戻って説明する。Ｓ３５７において、旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、新状態遷移データの組に含まれる状態、事象及び処理を示す各情報とが一致すると判定した場合、ＣＰＵ１０１は、旧状態遷移データの組に状態遷移先を示す情報として含まれる特異旧状態と、新状態遷移データの組に状態遷移先を示す情報として含まれる特異新状態とが同一の状態を表し、名称のみが変更されたものであると判断する（Ｓ３５８）。上述した図２０乃至図２２の例においては、特異旧状態ＳＣと特異新状態ＳＸとが同一の状態を表し、名称のみが変更されたものであると判断される。

なお、設定された条件が図６の条件Ｃ−２の場合には、ＣＰＵ１０１は、Ｓ３５７において、旧状態遷移データの組に含まれる状態及び事象を示す各情報と、新状態遷移データの組に含まれる状態及び事象を示す各情報とが一致するか否かを判定する。また、設定された条件が図６の条件Ｃ−３の場合には、ＣＰＵ１０１は、Ｓ３５７において、旧状態遷移データの組に含まれる状態を示す情報と、新状態遷移データの組に含まれる状態を示す情報とが一致するか否かを判定する。そして、ＣＰＵ１０１は、一致する場合には、Ｓ３５８において、旧状態遷移データの組に状態遷移先を示す情報として含まれる特異旧状態と、新状態遷移データの組に状態遷移先を示す情報として含まれる特異新状態とが同一の状態を表し、名称のみが変更されたものであると判断する。

Ｓ３５７における判断の後、再び、メモリ１０２に記憶された特異新状態を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３５４）以降の動作が繰り返される。また、Ｓ３０７において、旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、新状態遷移データの組に含まれる状態、事象及び処理を示す各情報とが一致しないと判定された場合にも、再び、メモリ１０２に記憶された特異新状態を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３５４）以降の動作が繰り返される。

そして、Ｓ３５４において、メモリ１０２に記憶された特異新状態を示す情報のうち、未選択のものが存在しないと判定された場合には、再び、メモリ１０２に記憶された特異旧状態を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３５１）以降の動作が繰り返される。

更に、Ｓ３５１において、メモリ１０２に記憶された特異旧状態を示す情報のうち、未選択のものが存在しないと判定された場合は、特異旧状態を示す情報と特異新状態を示す情報とのすべての組み合わせにおいて、Ｓ３５７にて、当該特異旧状態を示す情報を、状態遷移先を示す情報として含む旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、当該特異新状態を示す情報を、状態遷移先を示す情報として含む新状態遷移データの組に含まれる状態、事象及び処理を示す各情報との一致判定が終了したことを意味する。この場合には、図１６の動作に移行する。図１６の動作については上述したため、ここでは省略するが、図２３を用いて、Ｓ３１７における一致判定の動作を説明すると、図１７（ａ）に示す旧状態遷移表における特異旧事象ＥＤの行（太線で囲まれた部分）における縦線の網掛け部以外の部分と、図１７（ｂ）における特異新事象ＥＹの行（太線で囲まれた部分）における縦線の網掛け部以外の部分とを比較すると、両者は一致しない。この場合、特異旧事象ＥＤを示す情報を、事象を示す情報として含む旧状態遷移データに含まれる状態、処理及び状態遷移先を示す各情報と、特異新事象ＥＹを含む新状態遷移データに含まれる状態、処理、状態遷移先を示す各情報とは一致しないと判定される。

図１９及び図１６の動作の後、換言すれば、図５のＳ１０５における名称変更判定の後、ＣＰＵ１０１は、その名称変更判定の結果と、Ｓ１０４における特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果とに応じた旧状態遷移表及び新状態遷移表をモニタ１０６に表示させる処理を行う（Ｓ１０６）。具体的には、上述した第１の名称変更判定の結果に応じて旧状態遷移表及び新状態遷移表をモニタ１０６に表示させる場合と同様、ＣＰＵ１０１は、図１９のＳ３５８にて名称のみの変更であり、同じ状態であると判断された特異旧状態及び特異新状態と、図１６のＳ３１８にて名称のみの変更であり、同じ事象であると判断された特異旧事象及び特異新事象を特定する。そして、ＣＰＵ１０１は、上述した従来の第２の差分検出を行い、新旧の状態遷移表の状態及び事象のうち、異なる状態及び事象を検出し、これら異なる状態の列と、異なる事象の列とを斜線で網掛けするとともに、新旧の状態遷移表の同一の状態及び同一の事象に対応するマス内の処理及び状態遷移先を比較し、異なる場合には、その異なる処理及び状態遷移先の欄が斜線で網掛けする。また、ＣＰＵ１０１は、旧状態遷移表の状態の欄のうち、特異旧状態の欄と特異旧事象の欄とを斜線で網掛けするとともに、新状態遷移表の状態の欄のうち、特異新状態の欄と特異新事象の欄とを斜線で網掛けする。

図２４は、第２の名称変更判定の結果及び特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果に応じた旧状態遷移表及び新状態遷移表の一例を示す図である。図２４（ａ）に示す旧状態遷移表を図２９（ａ）に示す従来の旧状態遷移表と比較すると、図１８（ａ）では特異旧状態ＳＣと特異旧状態ＳＸとが同一とみなされているため、図２９（ａ）と比較して斜線の網掛け部分が少ない。また、図１８（ｂ）に示す新状態遷移表を図２９（ｂ）に示す従来の新状態遷移表と比較すると、図１８（ｂ）では特異旧状態ＳＣと特異旧状態ＳＸとが同一とみなされているため、図２９（ｂ）と比較して斜線の網掛け部分が少ない。従って、過剰な差分検出が抑制される。

次に、第３の名称変更判定について説明する。第３の名称変更判定は、図６における条件Ａ−１乃至Ａ−３のいずれかが設定され、図７における条件Ｅ−１乃至Ｅ−３のいずれかが設定される場合の名称変更判定である。

ＣＰＵ１０１は、上述した第１の名称変更判定における図１２のＳ３０７にて、旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報とが一致するとの判定、旧状態遷移データの組に含まれる事象及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる事象及び状態遷移先を示す各情報とが一致するとの判定、旧状態遷移データの組に含まれる状態遷移先を示す情報と、新状態遷移データの組に含まれる状態遷移先を示す情報とが一致するとの判定のいずれかがなされ、且つ、上述した第２の名称変更判定における図１６のＳ３１７にて、旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、新状態遷移データの組に含まれる状態、事象及び処理を示す各情報とが一致するとの判定、旧状態遷移データの組に含まれる状態及び事象を示す各情報と、新状態遷移データの組に含まれる状態及び事象を示す各情報とが一致するとの判定、旧状態遷移データの組に含まれる状態を示す情報と、新状態遷移データの組に含まれる状態を示す情報とが一致するとの判定のいずれかがなされた場合に、特異旧状態と特異新状態とが同一の状態を表し、名称のみが変更されたものであると判断する。なお、特異旧事象と特異新事象とが同一の状態を表し、名称のみが変更されたものであることの判断は、上述した第１及び第２の名称変更判定における図１６のＳ３１８と同様である。

そして、ＣＰＵ１０１は、図５のＳ１０６にて、その名称変更判定の結果と、Ｓ１０４における特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果とに応じた旧状態遷移表及び新状態遷移表をモニタ１０６に表示させる処理を行う。具体的には、上述と同様、ＣＰＵ１０１は、名称のみの変更であり、同じ状態であると判断された特異旧状態及び特異新状態と、名称のみの変更であり、同じ事象であると判断された特異旧事象及び特異新事象を特定する。そして、ＣＰＵ１０１は、上述した従来の第２の差分検出を行い、新旧の状態遷移表の状態及び事象のうち、異なる状態及び事象を検出し、これら異なる状態の列と、異なる事象の列とを斜線で網掛けするとともに、新旧の状態遷移表の同一の状態及び同一の事象に対応するマス内の処理及び状態遷移先を比較し、異なる場合には、その異なる処理及び状態遷移先の欄を斜線で網掛けする。また、ＣＰＵ１０１は、旧状態遷移表の状態の欄のうち、特異旧状態の欄と特異旧事象の欄とを斜線で網掛けするとともに、新状態遷移表の状態の欄のうち、特異新状態の欄と特異新事象の欄とを斜線で網掛けする。

図２５は、第３の名称変更判定の結果及び特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果に応じた旧状態遷移表及び新状態遷移表の一例を示す図である。図２５（ａ）に示す旧状態遷移表及び図２５（ｂ）に示す新状態遷移表を、図１８（ａ）及び図２４（ａ）に示す旧状態遷移表、図１８（ｂ）及び図２４（ｂ）に示す新状態遷移表と比較すると、第３の名称変更判定では、特異旧状態ＳＢと特異旧状態ＳＹとが同一とはみなされず、特異旧状態ＳＣと特異旧状態ＳＸとが同一とはみなされないため、斜線の網掛け部分が多い。このことは、第３の名称変更判定は、第１及び第２の名称変更判定と比較して判定の厳密性が高いことを示す。

次に、第４の名称変更判定について説明する。第４の名称変更判定は、図６における条件Ｄ−１乃至Ｄ−３のいずれかが設定され、図７における条件Ｅ−１乃至Ｅ−３のいずれかが設定される場合の名称変更判定である。

ＣＰＵ１０１は、上述した第１の名称変更判定における図１２のＳ３０７にて、旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報とが一致するとの判定、旧状態遷移データの組に含まれる事象及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる事象及び状態遷移先を示す各情報とが一致するとの判定、旧状態遷移データの組に含まれる状態遷移先を示す情報と、新状態遷移データの組に含まれる状態遷移先を示す情報とが一致するとの判定のいずれかがなされ場合、及び、上述した第２の名称変更判定における図１６のＳ３１７にて、旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、新状態遷移データの組に含まれる状態、事象及び処理を示す各情報とが一致するとの判定、旧状態遷移データの組に含まれる状態及び事象を示す各情報と、新状態遷移データの組に含まれる状態及び事象を示す各情報とが一致するとの判定、旧状態遷移データの組に含まれる状態を示す情報と、新状態遷移データの組に含まれる状態を示す情報とが一致するとの判定のいずれかがなされた場合の少なくともいずれかである場合に、特異旧状態と特異新状態とが同一の状態を表し、名称のみが変更されたものであると判断する。なお、特異旧事象と特異新事象とが同一の状態を表し、名称のみが変更されたものであることの判断は、上述した第１及び第２の名称変更判定における図１６のＳ３１８と同様である。

そして、ＣＰＵ１０１は、図５のＳ１０６にて、その名称変更判定の結果と、Ｓ１０４における特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果とに応じた旧状態遷移表及び新状態遷移表をモニタ１０６に表示させる処理を行う。具体的には、上述と同様、ＣＰＵ１０１は、名称のみの変更であり、同じ状態であると判断された特異旧状態及び特異新状態と、名称のみの変更であり、同じ事象であると判断された特異旧事象及び特異新事象を特定する。そして、ＣＰＵ１０１は、上述した従来の第２の差分検出を行い、新旧の状態遷移表の状態及び事象のうち、異なる状態及び事象を検出し、これら異なる状態の列と、異なる事象の列とを斜線で網掛けするとともに、新旧の状態遷移表の同一の状態及び同一の事象に対応するマス内の処理及び状態遷移先を比較し、異なる場合には、その異なる処理及び状態遷移先の欄が斜線で網掛けする。また、ＣＰＵ１０１は、旧状態遷移表の状態の欄のうち、特異旧状態の欄と特異旧事象の欄とを斜線で網掛けするとともに、新状態遷移表の状態の欄のうち、特異新状態の欄と特異新事象の欄とを斜線で網掛けする。

図２６は、第４の名称変更判定の結果及び特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果に応じた旧状態遷移表及び新状態遷移表の一例を示す図である。図２６（ａ）に示す旧状態遷移表及び図２６（ｂ）に示す新状態遷移表を、図１８（ａ）及び図２４（ａ）に示す旧状態遷移表、図１８（ｂ）及び図２４（ｂ）に示す新状態遷移表と比較すると、第４の名称変更判定では、特異旧状態ＳＢと特異旧状態ＳＹとが同一とみなされ、且つ、特異旧状態ＳＣと特異旧状態ＳＸとが同一とはみなさるため、図１８（ａ）及び図２４（ａ）と比較して斜線の網掛け部分が少ない。このことは、第３の名称変更判定では、判定の厳密性が低いことを示す。

このように、本実施形態の状態遷移析装置１００は、旧状態遷移表に対応する旧状態遷移データにおいて特異な状態及び事象を示す情報と、新状態遷移表に対応する新状態遷移データおいて特異な状態及び事象を示す情報とが、同一の状態及び事象を表し、名称のみが異なる場合には、新旧の状態遷移表の差分を提示する際に、両者を同一のものとして扱う。従って、過剰な差分検出がなされて、プログラム作成者に対して適切でない差分検出結果が提示されることが抑制される。

また、本実施形態の状態遷移析装置１００は、旧状態遷移表に対応する旧状態遷移データの各組において特異な状態及び事象と、新状態遷移表に対応する新状態遷移データおいて特異な状態及び事象とが、同一の状態及び事象を表し、名称のみが異なるか否かを判定する際に、条件を設定することができ、判定の厳密性について、プログラム作成者の意向に応じて適切に設定することが可能となる。

なお、上述した実施形態では、新旧の状態遷移表の間で異なる部分を網掛けとしたが、新旧の状態遷移表の間で異なる部分と同一の部分とで表示態様が異なればよく、色を異ならせるようにしてもよい。

以上、説明したように、本発明に係る状態遷移分析装置、状態遷移分析方法及び状態遷移分析プログラムによれば、比較対象の状態遷移モデルの差分を適切に提示することが可能であり、状態遷移分析装置等として有用である。

状態遷移分析装置の構成を示す図である。 状態遷移図の変更の一例を示す図である。 状態遷移表の変更の一例を示す図である。 状態遷移データの一例を示す図である。 新旧の状態遷移表の表示動作を示すフローチャートである。 状態の条件の一例を示す図である。 事象の条件の一例を示す図である。 特異旧状態及び特異新状態の特定の詳細な動作を示すフローチャートである。 図８の特異旧状態及び特異新状態の特定動作を説明するための状態遷移表の一例である。 特異旧事象及び特異新事象の特定の詳細な動作を示すフローチャートである。 図１０の特異旧事象及び特異新事象の特定動作を説明するための状態遷移表の一例である。 第１の名称変更判定の詳細な動作を示す第１のフローチャートである。 第１の名称変更判定動作を説明するための状態遷移表の第１の例である。 第１の名称変更判定動作を説明するための状態遷移表の第２の例である。 第１の名称変更判定動作を説明するための状態遷移表の第３の例である。 第１及び第２の名称変更判定の詳細な動作を示す第２のフローチャートである。 第１の名称変更判定動作を説明するための状態遷移表の第４の例である。 第１の名称変更判定の結果及び特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果に応じた旧状態遷移表及び新状態遷移表の一例を示す図である。 第２の名称変更判定の詳細な動作を示す第１のフローチャートである。 第２の名称変更判定動作を説明するための状態遷移表の第１の例である。 第２の名称変更判定動作を説明するための状態遷移表の第２の例である。 第２の名称変更判定動作を説明するための状態遷移表の第３の例である。 第２の名称変更判定動作を説明するための状態遷移表の第４の例である。 第２の名称変更判定の結果及び特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果に応じた旧状態遷移表及び新状態遷移表の一例を示す図である。 第３の名称変更判定の結果及び特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果に応じた旧状態遷移表及び新状態遷移表の一例を示す図である。 第４の名称変更判定の結果及び特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果に応じた旧状態遷移表及び新状態遷移表の一例を示す図である。 従来の状態遷移図の変更の一例を示す図である。 従来の状態遷移表の変更の第１の例を示す図である。 従来の状態遷移表の変更の第２の例を示す図である。

符号の説明

１００ 状態遷移分析装置
１０１ ＣＰＵ
１０２ メモリ
１０３ ＨＤＤ
１０５ 操作部
１０６ モニタ
１０７ 内部バス

Claims (18)

1. システムにてとり得る状態のいずれかと、とり得るそれぞれの状態にて発生し得る事象のいずれかと、とり得る各状態において発生し得る各事象が発生した際に実行される処理と、状態遷移先との４つの要素の情報を組にして、前記システムにてあり得る組の情報のすべてで構成される状態遷移データに基づいてシステムの状態遷移を分析する状態遷移分析装置であって、
   第１の状態遷移データと、第２の状態遷移データとを記憶する状態遷移データ記憶手段と、
   前記第１の状態遷移データの各組の情報の全てを可視的に表す第１の状態遷移モデルと、前記第２の状態遷移データの各組の情報の全てを可視的に表す第２の状態遷移モデルとを表示ユニットに表示させる第１の表示処理手段と、
   前記第１の状態遷移データの各組の情報と前記第２の状態遷移データの各組の情報とを比較して、前記第１の状態遷移モデルにのみ含まれる状態を第１の特異状態として検出するとともに、前記第２の状態遷移モデルにのみ含まれる状態を第２の特異状態として検出する特異状態検出手段と、
   前記第１の特異状態を状態として含む前記第１の状態遷移データの組の前記事象、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異状態を状態として含む前記第２の状態遷移データの組の前記事象、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定すること、及び、前記第１の特異状態を状態遷移先として含む前記第１の状態遷移データの組の前記状態、前記事象、前記処理の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異状態を状態遷移先として含む前記第２の状態遷移データの組の前記状態、前記事象、前記処理の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定することの少なくとも一方を行う判定手段と、
   前記判定手段にて一致の判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する同一状態決定手段と、
   前記特異状態検出手段、前記判定手段及び前記同一状態決定手段での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルにおいて、異なる状態、事象、処理及び状態遷移先の組合せと、同じ状態、事象、処理及び状態遷移先の組合せとを区別して表示させる第２の表示処理手段とを有することを特徴とする状態遷移分析装置。
2. 前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態として含む第２の状態遷移データの組について、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定手段を有し、
   前記判定手段は、前記条件設定手段により設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定することを特徴とする請求項１に記載の状態遷移分析装置。
3. 前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態遷移先として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態遷移先として含む第２の状態遷移データの組について、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定手段を有し、
   前記判定手段は、前記条件設定手段により設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定することを特徴とする請求項１に記載の状態遷移分析装置。
4. 前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態として含む第２の状態遷移データの組について、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する第１の条件設定手段と、
   前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態遷移先として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態遷移先として含む第２の状態遷移データの組について、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを前記一致判定の要素として選択的に設定する第２の条件設定手段と有し、
   前記判定手段は、
   前記第１の条件設定手段により設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定する第１の判定手段と、
   前記第２の条件設定手段により設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定する第２の判定手段とを有し、
   前記同一状態決定手段は、前記第１の判定手段及び前記第２の判定手段の双方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第１の決定手法、前記第１の判定手段及び前記第２の判定手段のいずれか一方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第２の決定手法、及び、前記第１の判定手段及び前記第２の判定手段のうちの指定された一方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第３の決定手法のいずれかを選択し、その選択した決定手法に基づいて決定することを特徴とする請求項１に記載の状態遷移分析装置。
5. システムにてとり得る状態のいずれかと、とり得るそれぞれの状態にて発生し得る事象のいずれかと、とり得る各状態において発生し得る各事象が発生した際に実行される処理と、状態遷移先との４つの要素の情報を組にして、前記システムにてあり得る組の情報のすべてで構成される状態遷移データに基づいてシステムの状態遷移を分析する状態遷移分析装置であって、
   第１の状態遷移データと、第２の状態遷移データとを記憶する状態遷移データ記憶手段と、
   前記第１の状態遷移データの各組の情報の全てを可視的に表す第１の状態遷移モデルと、前記第２の状態遷移データの各組の情報の全てを可視的に表す第２の状態遷移モデルとを表示ユニットに表示させる第１の表示処理手段と、
   前記第１の状態遷移データの各組の情報と前記第２の状態遷移データの各組の情報とを比較して、前記第１の状態遷移モデルにのみ含まれる事象を第１の特異事象として検出するとともに、前記第２の状態遷移モデルにのみ含まれる事象を第２の特異事象として検出する特異事象検出手段と、
   前記第１の特異事象を含む前記第１の状態遷移データの組の前記状態、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異事象を含む前記第２の状態遷移データの組の前記状態、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定する判定手段と、
   前記判定手段にて一致の判定がなされたときに、前記第１の特異事象と前記第２の特異事象とは名称が異なるが同じ事象であると決定する同一事象決定手段と、
   前記特異事象検出手段、前記判定手段及び前記同一事象決定手段での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルにおいて、異なる状態、事象、処理及び状態遷移先の組合せと、同じ状態、事象、処理及び状態遷移先の組合せとを区別して表示させる第２の表示処理手段とを有することを特徴とする状態遷移分析装置。
6. 前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異事象を含む第１の状態遷移データの組、及び、前記第２の特異事象を含む第２の状態遷移データの組について、前記４つの要素のうち、状態、処理及び事象の３つの要素、状態及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定手段を有し、
   前記判定手段は、前記条件設定手段により設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定することを特徴とする請求項５に記載の状態遷移分析装置。
7. システムにてとり得る状態のいずれかと、とり得るそれぞれの状態にて発生し得る事象のいずれかと、とり得る各状態において発生し得る各事象が発生した際に実行される処理と、状態遷移先との４つの要素の情報を組にして、前記システムにてあり得る組の情報のすべてで構成される状態遷移データに基づいてシステムの状態遷移を分析する状態遷移分析装置における処理方法であって、
   記憶手段に記憶された第１の状態遷移データの各組の情報の全てを可視的に表す第１の状態遷移モデルと、前記記憶手段に記憶された前記第２の状態遷移データの各組の情報の全てを可視的に表す第２の状態遷移モデルとを表示ユニットに表示させる第１の表示処理ステップと、
   前記第１の状態遷移データの各組の情報と前記第２の状態遷移データの各組の情報とを比較して、前記第１の状態遷移モデルにのみ含まれる状態を第１の特異状態として検出するとともに、前記第２の状態遷移モデルにのみ含まれる状態を第２の特異状態として検出する特異状態検出ステップと、
   前記第１の特異状態を状態として含む前記第１の状態遷移データの組の前記事象、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異状態を状態として含む前記第２の状態遷移データの組の前記事象、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定すること、及び、前記第１の特異状態を状態遷移先として含む前記第１の状態遷移データの組の前記状態、前記事象、前記処理の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異状態を状態遷移先として含む前記第２の状態遷移データの組の前記状態、前記事象、前記処理の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定することの少なくとも一方を行う判定ステップと、
   前記判定ステップにて一致の判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する同一状態決定ステップと、
   前記特異状態検出ステップ、前記判定ステップ及び前記同一状態決定ステップでの各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルにおいて、異なる状態、事象、処理及び状態遷移先の組合せと、同じ状態、事象、処理及び状態遷移先の組合せとを区別して表示させる第２の表示処理ステップとを有することを特徴とする処理方法。
8. 前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態として含む第２の状態遷移データの組について、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定ステップを有し、
   前記判定ステップは、前記条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定することを特徴とする請求項７に記載の処理方法。
9. 前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態遷移先として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態遷移先として含む第２の状態遷移データの組について、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定ステップを有し、
   前記判定ステップは、前記条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定することを特徴とする請求項７に記載の処理方法。
10. 前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態として含む第２の状態遷移データの組について、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する第１の条件設定ステップと、
    前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態遷移先として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態遷移先として含む第２の状態遷移データの組について、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを前記一致判定の要素として選択的に設定する第２の条件設定ステップと有し、
    前記判定ステップは、
    前記第１の条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定する第１の判定ステップと、
    前記第２の条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定する第２の判定ステップとを有し、
    前記同一状態決定ステップは、前記第１の判定ステップ及び前記第２の判定ステップの双方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第１の決定手法、前記第１の判定ステップ及び前記第２の判定ステップのいずれか一方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第２の決定手法、及び、前記第１の判定ステップ及び前記第２の判定ステップのうちの指定された一方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第３の決定手法のいずれかを選択し、その選択した決定手法に基づいて決定することを特徴とする請求項７に記載の処理方法。
11. システムにてとり得る状態のいずれかと、とり得るそれぞれの状態にて発生し得る事象のいずれかと、とり得る各状態において発生し得る各事象が発生した際に実行される処理と、状態遷移先との４つの要素の情報を組にして、前記システムにてあり得る組の情報のすべてで構成される状態遷移データに基づいてシステムの状態遷移を分析する状態遷移分析装置における処理方法であって、
    記憶手段に記憶された第１の状態遷移データの各組の情報の全てを可視的に表す第１の状態遷移モデルと、前記記憶手段に記憶された前記第２の状態遷移データの各組の情報の全てを可視的に表す第２の状態遷移モデルとを表示ユニットに表示させる第１の表示処理ステップと、
    前記第１の状態遷移データの各組の情報と前記第２の状態遷移データの各組の情報とを比較して、前記第１の状態遷移モデルにのみ含まれる事象を第１の特異事象として検出するとともに、前記第２の状態遷移モデルにのみ含まれる事象を第２の特異事象として検出する特異事象検出ステップと、
    前記第１の特異事象を含む前記第１の状態遷移データの組の前記状態、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異事象を含む前記第２の状態遷移データの組の前記状態、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定する判定ステップと、
    前記判定ステップにて一致の判定がなされたときに、前記第１の特異事象と前記第２の特異事象とは名称が異なるが同じ事象であると決定する同一事象決定ステップと、
    前記特異事象検出ステップ、前記判定ステップ及び前記同一事象決定ステップでの各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルにおいて、異なる状態、事象、処理及び状態遷移先の組合せと、同じ状態、事象、処理及び状態遷移先の組合せとを区別して表示させる第２の表示処理ステップとを有することを特徴とする処理方法。
12. 前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異事象を含む第１の状態遷移データの組、及び、前記第２の特異事象を含む第２の状態遷移データの組について、前記４つの要素のうち、状態、処理及び事象の３つの要素、状態及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定ステップを有し、
    前記判定ステップは、前記条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定することを特徴とする請求項１１に記載の処理方法。
13. システムにてとり得る状態のいずれかと、とり得るそれぞれの状態にて発生し得る事象のいずれかと、とり得る各状態において発生し得る各事象が発生した際に実行される処理と、状態遷移先との４つの要素の情報を組にして、前記システムにてあり得る組の情報のすべてで構成される状態遷移データに基づいてシステムの状態遷移を分析する状態遷移分析装置としてのコンピュータに処理ステップを実行させるプログラムであって、
    記憶手段に記憶された第１の状態遷移データの各組の情報の全てを可視的に表す第１の状態遷移モデルと、前記記憶手段に記憶された前記第２の状態遷移データの各組の情報の全てを可視的に表す第２の状態遷移モデルとを表示ユニットに表示させる第１の表示処理ステップと、
    前記第１の状態遷移データの各組の情報と前記第２の状態遷移データの各組の情報とを比較して、前記第１の状態遷移モデルにのみ含まれる状態を第１の特異状態として検出するとともに、前記第２の状態遷移モデルにのみ含まれる状態を第２の特異状態として検出する特異状態検出ステップと、
    前記第１の特異状態を状態として含む前記第１の状態遷移データの組の前記事象、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異状態を状態として含む前記第２の状態遷移データの組の前記事象、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定すること、及び、前記第１の特異状態を状態遷移先として含む前記第１の状態遷移データの組の前記状態、前記事象、前記処理の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異状態を状態遷移先として含む前記第２の状態遷移データの組の前記状態、前記事象、前記処理の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定することの少なくとも一方を行う判定ステップと、
    前記判定ステップにて一致の判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する同一状態決定ステップと、
    前記特異状態検出ステップ、前記判定ステップ及び前記同一状態決定ステップでの各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルにおいて、異なる状態、事象、処理及び状態遷移先の組合せと、同じ状態、事象、処理及び状態遷移先の組合せとを区別して表示させる第２の表示処理ステップとを有することを特徴とするプログラム。
14. 前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態として含む第２の状態遷移データの組について、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定ステップを有し、
    前記判定ステップは、前記条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定することを特徴とする請求項１３に記載のプログラム。
15. 前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態遷移先として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態遷移先として含む第２の状態遷移データの組について、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定ステップを有し、
    前記判定ステップは、前記条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定することを特徴とする請求項１３に記載のプログラム。
16. 前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態として含む第２の状態遷移データの組について、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する第１の条件設定ステップと、
    前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異状態を状態遷移先として含む第１の状態遷移データの組、及び、前記第２の特異状態を状態遷移先として含む第２の状態遷移データの組について、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを前記一致判定の要素として選択的に設定する第２の条件設定ステップと有し、
    前記判定ステップは、
    前記第１の条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定する第１の判定ステップと、
    前記第２の条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定する第２の判定ステップとを有し、
    前記同一状態決定ステップは、前記第１の判定ステップ及び前記第２の判定ステップの双方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第１の決定手法、前記第１の判定ステップ及び前記第２の判定ステップのいずれか一方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第２の決定手法、及び、前記第１の判定ステップ及び前記第２の判定ステップのうちの指定された一方にて一致すると判定された場合に前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第３の決定手法のいずれかを選択し、その選択した決定手法に基づいて決定することを特徴とする請求項１３に記載のプログラム。
17. システムにてとり得る状態のいずれかと、とり得るそれぞれの状態にて発生し得る事象のいずれかと、とり得る各状態において発生し得る各事象が発生した際に実行される処理と、状態遷移先との４つの要素の情報を組にして、前記システムにてあり得る組の情報のすべてで構成される状態遷移データに基づいてシステムの状態遷移を分析する状態遷移分析装置としてのコンピュータに処理ステップを実行させるプログラムであって、
    記憶手段に記憶された第１の状態遷移データの各組の情報の全てを可視的に表す第１の状態遷移モデルと、前記記憶手段に記憶された前記第２の状態遷移データの各組の情報の全てを可視的に表す第２の状態遷移モデルとを表示ユニットに表示させる第１の表示処理ステップと、
    前記第１の状態遷移データの各組の情報と前記第２の状態遷移データの各組の情報とを比較して、前記第１の状態遷移モデルにのみ含まれる事象を第１の特異事象として検出するとともに、前記第２の状態遷移モデルにのみ含まれる事象を第２の特異事象として検出する特異事象検出ステップと、
    前記第１の特異事象を含む前記第１の状態遷移データの組の前記状態、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報と、前記第２の特異事象を含む前記第２の状態遷移データの組の前記状態、前記処理、前記状態遷移先の要素のうちの少なくとも１つの要素を示す情報とが一致するか否かを判定する判定ステップと、
    前記判定ステップにて一致の判定がなされたときに、前記第１の特異事象と前記第２の特異事象とは名称が異なるが同じ事象であると決定する同一事象決定ステップと、
    前記特異事象検出ステップ、前記判定ステップ及び前記同一事象決定ステップでの各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルにおいて、異なる状態、事象、処理及び状態遷移先の組合せと、同じ状態、事象、処理及び状態遷移先の組合せとを区別して表示させる第２の表示処理ステップとを有することを特徴とするプログラム。
18. 前記操作ユニットの操作に基づいて、前記第１の状態遷移データと前記第２の状態遷移データを設定し、前記第１の特異事象を含む第１の状態遷移データの組、及び、前記第２の特異事象を含む第２の状態遷移データの組について、前記４つの要素のうち、状態、処理及び事象の３つの要素、状態及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを前記一致判定の要素として選択的に設定する条件設定ステップを有し、
    前記判定ステップは、前記条件設定ステップにより設定された要素を示す情報に基づいて、前記第１の状態遷移データの組と、前記第２の状態遷移データの組とが一致するか否かを判定することを特徴とする請求項１７に記載のプログラム。

Images