(57)【特許請求の範囲】
【請求項１】
状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、コンピュータを用いた状態遷移分析装置であって、
ＣＰＵと、
前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第２の状態遷移データとを記憶する記憶手段と、
操作部と、
表示ユニットとを有し、
前記ＣＰＵは、
前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させ、
前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態を第２の特異状態として検出し、
利用者による前記操作部の操作に応じて、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異状態を状態として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態として含む各第２の状態遷移データに対する一致判定の要素として設定し、
前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態として含む各第１の状態遷移データと前記第２の特異状態を状態として含む各第２の状態遷移データとの間で一致判定を行い、
前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、
前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させる状態遷移分析装置。
【請求項２】
状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、コンピュータを用いた状態遷移分析装置であって、
ＣＰＵと、
前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第２の状態遷移データとを記憶する記憶手段と、
操作部と、
表示ユニットとを有し、
前記ＣＰＵは、
前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させ、
前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態遷移先を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態遷移先を第２の特異状態として検出し、
利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態遷移先として含む各第２の状態遷移データに対する一致判定の要素として設定し、
前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データと前記第２の特異状態を状態遷移先として含む各第２の状態遷移データとの間で一致判定を行い、
前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、
前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させる状態遷移分析装置。
【請求項３】
状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、コンピュータを用いた状態遷移分析装置であって、
ＣＰＵと、
前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第２の状態遷移データとを記憶する記憶手段と、
操作部と、
表示ユニットとを有し、
前記ＣＰＵは、
前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させ、
前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態を第２の特異状態として検出し、
利用者による前記操作部の操作に応じて、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異状態を状態として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態として含む各第２の状態遷移データに対する第１の一致判定の要素として設定し、
利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態遷移先として含む各第２の状態遷移データに対する第２の一致判定の要素として設定し、
前記第１の一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態として含む各第１の状態遷移データと前記第２の特異状態を状態として含む各第２の状態遷移データとの間で第１の一致判定を行い、
前記第２の一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データと前記第２の特異状態を状態遷移先として含む各第２の状態遷移データとの間で第２の一致判定を行い、
利用者による前記操作部の操作に応じて、前記第１の一致判定及び前記第２の一致判定の双方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第１の決定手法と、前記第１の一致判定及び前記第２の一致判定のいずれか一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第２の決定手法と、前記第１の一致判定及び前記第２の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第３の決定手法とのいずれかを選択し、前記第１の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定の双方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第２の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定のいずれか一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第３の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、
前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させる状態遷移分析装置。
【請求項４】
状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、コンピュータを用いた状態遷移分析装置であって、
ＣＰＵと、
前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第２の状態遷移データとを記憶する記憶手段と、
操作部と、
表示ユニットとを有し、
前記ＣＰＵは、
前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させ、
前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる事象を第１の特異事象として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる事象を第２の特異事象として検出し、
利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、処理及び状態遷移先の３つの要素、状態及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異事象を含む各第１の状態遷移データ、及び、前記第２の特異事象を含む各第２の状態遷移データに対する一致判定の要素として設定し、
前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異事象を含む各第１の状態遷移データと前記第２の特異事象を含む各第２の状態遷移データとの間で一致判定を行い、
前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異事象と前記第２の特異事象とは名称が異なるが同じ事象であると決定し、
前記第１及び第２の特異事象の検出、前記一致判定及び前記同一事象の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった事象を含む前記４つの要素の組を、他の組と区別して表示させる状態遷移分析装置。
【請求項５】
状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置での処理方法であって、
前記ＣＰＵが、
前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させ、
前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態を第２の特異状態として検出し、
利用者による前記操作部の操作に応じて、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異状態を状態として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態として含む各第２の状態遷移データに対する一致判定の要素として設定し、
前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態として含む各第１の状態遷移データと前記第２の特異状態を状態として含む各第２の状態遷移データとの間で一致判定を行い、
前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、
前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させる処理方法。
【請求項６】
状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置での処理方法であって、
前記ＣＰＵが、
前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させ、
前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態遷移先を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態遷移先を第２の特異状態として検出し、
利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態遷移先として含む各第２の状態遷移データに対する一致判定の要素として設定し、
前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データと前記第２の特異状態を状態遷移先として含む各第２の状態遷移データとの間で一致判定を行い、
前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、
前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させる処理方法。
【請求項７】
状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置での処理方法であって、
前記ＣＰＵが、
前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させ、
前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態を第２の特異状態として検出し、
利用者による前記操作部の操作に応じて、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異状態を状態として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態として含む各第２の状態遷移データに対する第１の一致判定の要素として設定し、
利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態遷移先として含む各第２の状態遷移データに対する第２の一致判定の要素として設定し、
前記第１の一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態として含む各第１の状態遷移データと前記第２の特異状態を状態として含む各第２の状態遷移データとの間で第１の一致判定を行い、
前記第２の一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データと前記第２の特異状態を状態遷移先として含む各第２の状態遷移データとの間で第２の一致判定を行い、
利用者による前記操作部の操作に応じて、前記第１の一致判定及び前記第２の一致判定の双方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第１の決定手法と、前記第１の一致判定及び前記第２の一致判定のいずれか一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第２の決定手法と、前記第１の一致判定及び前記第２の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第３の決定手法とのいずれかを選択し、前記第１の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定の双方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第２の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定のいずれか一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第３の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、
前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させる処理方法。
【請求項８】
状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置での処理方法であって、
前記ＣＰＵが、
前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させ、
前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる事象を第１の特異事象として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる事象を第２の特異事象として検出し、
利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、処理及び状態遷移先の３つの要素、状態及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異事象を含む各第１の状態遷移データ、及び、前記第２の特異事象を含む各第２の状態遷移データに対する一致判定の要素として設定し、
前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異事象を含む各第１の状態遷移データと前記第２の特異事象を含む各第２の状態遷移データとの間で一致判定を行い、
前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異事象と前記第２の特異事象とは名称が異なるが同じ事象であると決定し、
前記第１及び第２の特異事象の検出、前記一致判定及び前記同一事象の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった事象を含む前記４つの要素の組を、他の組と区別して表示させる処理方法。
【請求項９】
状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にて構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置における前記ＣＰＵに、
前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させるステップと、
前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態を第２の特異状態として検出するステップと、
利用者による前記操作部の操作に応じて、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異状態を状態として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態として含む各第２の状態遷移データに対する一致判定の要素として設定するステップと、
前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態として含む各第１の状態遷移データと前記第２の特異状態を状態として含む各第２の状態遷移データとの間で一致判定を行うステップと、
前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定するステップと、
前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させるステップとを実行させるプログラム。
【請求項１０】
状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にて構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置における前記ＣＰＵに、
前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させるステップと、
前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態遷移先を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態遷移先を第２の特異状態として検出するステップと、
利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態遷移先として含む各第２の状態遷移データに対する一致判定の要素として設定するステップと、
前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データと前記第２の特異状態を状態遷移先として含む各第２の状態遷移データとの間で一致判定を行うステップと、
前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定するステップと、
前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させるステップとを実行させるプログラム。
【請求項１１】
状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にて構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置における前記ＣＰＵに、
前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させるステップと、
前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態を第２の特異状態として検出するステップと、
利用者による前記操作部の操作に応じて、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異状態を状態として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態として含む各第２の状態遷移データに対する第１の一致判定の要素として設定するステップと、
利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態遷移先として含む各第２の状態遷移データに対する第２の一致判定の要素として設定するステップと、
前記第１の一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態として含む各第１の状態遷移データと前記第２の特異状態を状態として含む各第２の状態遷移データとの間で第１の一致判定を行うステップと、
前記第２の一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データと前記第２の特異状態を状態遷移先として含む各第２の状態遷移データとの間で第２の一致判定を行うステップと、
利用者による前記操作部の操作に応じて、前記第１の一致判定及び前記第２の一致判定の双方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第１の決定手法と、前記第１の一致判定及び前記第２の一致判定のいずれか一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第２の決定手法と、前記第１の一致判定及び前記第２の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第３の決定手法とのいずれかを選択し、前記第１の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定の双方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第２の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定のいずれか一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第３の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定するステップと、
前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させるステップとを実行させるプログラム。
【請求項１２】
状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にて構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置における前記ＣＰＵに、
前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させるステップと、
前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる事象を第１の特異事象として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる事象を第２の特異事象として検出するステップと、
利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、処理及び状態遷移先の３つの要素、状態及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異事象を含む各第１の状態遷移データ、及び、前記第２の特異事象を含む各第２の状態遷移データに対する一致判定の要素として設定するステップと、
前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異事象を含む各第１の状態遷移データと前記第２の特異事象を含む各第２の状態遷移データとの間で一致判定を行うステップと、
前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異事象と前記第２の特異事象とは名称が異なるが同じ事象であると決定するステップと、
前記第１及び第２の特異事象の検出、前記一致判定及び前記同一事象の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった事象を含む前記４つの要素の組を、他の組と区別して表示させるステップとをを実行させるプログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、コンピュータを用いた状態遷移分析装置、当該状態遷移分析装置での処理方法、及び、当該状態遷移分析装置としてのコンピュータにステップを実行させるプログラムに関する。
【背景技術】
【０００２】
従来よりプログラムの作成においては、コーディングの前に状態遷移モデルとしての状態遷移図や、状態遷移表の作成が行われることが多い。また、状態遷移図から状態遷移表を自動生成することもある。プログラム作成者は、一般に状態遷移モデルを、試行錯誤を繰り返して随時修正する作業を行う。このような場合、プログラム作成者は、変更前の状態遷移モデルと変更後の状態遷移モデルとにおいて、差分を把握したいと考える場合も多い。
【０００３】
図２７は、状態遷移図の変更の一例を示す図であり、図２７（ａ）は変更前の状態遷移図（旧状態遷移図）、図２７（ｂ）は変更後の状態遷移図（新状態遷移図）である。
【０００４】
図２７（ａ）及び図２７（ｂ）に示す状態遷移図において、丸で囲まれた文字は状態、／の前の文字は事象（イベント）、／の後の文字は処理、矢印は状態遷移先を示す。例えば、図２７（ａ）において、状態ＳＡから状態ＳＢに矢印が向かっており、当該矢印にＥＡ／ＦＡが対応している。このことは、状態ＳＡの場合に事象ＥＡが発生すると、処理ＦＡが実行され、状態ＳＢに遷移することを示している。また、図２７（ａ）において、二重丸で囲まれた文字は変更によって削除された状態、四角で囲まれた文字は変更によって削除された事象あるいは処理、点線の矢印は変更によって削除された状態遷移先を示す。一方、図２７（ｂ）において、二重丸で囲まれた文字は変更によって追加された状態、四角で囲まれた文字は変更によって追加された事象あるいは処理、点線の矢印は変更によって追加された状態遷移先を示す。
【０００５】
図２８及び図２９は、図２７に示す状態遷移図の変更に伴う変更前後の状態遷移表の差分検出の一例を示す図である。図２８（ａ）は、第１の差分検出における、図２７（ａ）の変更前の状態遷移図に対応する変更前の状態遷移表（旧状態遷移表）であり、図２８（ｂ）は、第１の差分検出における変更後の状態遷移図に対応する変更後の状態遷移表（新状態遷移表）である。一方、図２９（ａ）は、第２の差分検出における、図２７（ａ）の変更前の状態遷移図に対応する変更前の状態遷移表（旧状態遷移表）であり、図２９（ｂ）は変更後の状態遷移図に対応する変更後の状態遷移表（新状態遷移表）である。
【０００６】
状態遷移表は、状態を列、事象を行とした２次元の表であり、各マスには、対応する状態の時に対応する事象が発生した場合に実行される処理（下欄）と状態遷移先（上欄）とが含まれる。例えば、図２８（ａ）において、状態ＳＡの列と事象ＥＡの行の交点のマスに着目すると、当該マスの下欄には処理ＦＡが含まれ、上欄には上体ＳＢが含まれる。これは、状態ＳＡの場合に事象ＥＡが発生すると、処理ＦＡ実行され、状態ＳＢに遷移することを示しており、図２７（ａ）の旧状態遷移図に対応している。また、状態遷移表において斜線が引かれたマスは、そのマスに対応する状態のときに、そのマスに対応する事象が発生することがないことを示す。
【０００７】
図２８における第１の差分検出では、新旧の状態遷移表の同一の列の状態及び同一の行の事象を比較し、これら状態及び事象が異なる場合には、その異なる状態の列と、異なる事象の列とが網掛けされる。また、図２８における第１の差分検出では、新旧の状態遷移表の同一位置のマス内の処理及び状態遷移先を比較し、異なる場合には、その異なる処理及び状態遷移先の欄が斜線により網掛けされる。
【０００８】
一方、図２９における第２の差分検出では、新旧の状態遷移表間で異なる状態及び事象、換言すれば、一方にのみ含まれる状態及び事象を検出し、これら異なる状態の列と、異なる事象の行とが網掛けされる。また、図２９における第２の差分検出では、新旧の状態遷移表の同一の状態及び同一の事象に対応するマス内の処理及び状態遷移先を比較し、異なる場合には、その異なる処理及び状態遷移先の欄が斜線により網掛けされる。
【０００９】
また、特許文献１に記載の技術では、変更前の状態遷移モデルと変更後の状態遷移モデルとをテキストレベルで比較することにより、両者の差分を検出し、その差分を表示する。
【特許文献１】特開２００６−２０９１７９号公報
【発明の開示】
【発明が解決しようとする課題】
【００１０】
しかし、上述した従来の状態遷移モデルの差分検出では、変更の前後で状態や事象が同一であっても、名称が異なれば、差分として検出されてしまう。このような過剰な差分検出は、プログラム作成者に対して必ずしも適切な差分検出結果を提示しているとはいえない。
【００１１】
本発明の目的は、上述した問題点を解決するものであり、比較対象の状態遷移モデルの差分を適切に提示することが可能な状態遷移分析装置、状態遷移分析装置での処理方法及びプログラムを提供するものである。
【課題を解決するための手段】
【００１２】
本発明は、状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、コンピュータを用いた状態遷移分析装置であって、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有し、前記ＣＰＵは、前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させ、前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態を第２の特異状態として検出し、利用者による前記操作部の操作に応じて、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異状態を状態として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態として含む各第２の状態遷移データに対する一致判定の要素として設定し、前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態として含む各第１の状態遷移データと前記第２の特異状態を状態として含む各第２の状態遷移データとの間で一致判定を行い、前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させる。
【００１３】
この構成によれば、変更前の状態遷移モデルにのみ含まれる第１の特異状態と変更後の状態遷移モデルにのみ含まれる第２の特異状態とが同一の状態であるか否かが、事象、処理及び状態遷移先の少なくとも１つの要素が一致するか否かによって判定され、同一の状態である場合には、変更前の状態遷移モデル及び変更後の状態遷移モデルの表示において、第１の特異状態と第２の特異状態とが同一のものとして扱われる。従って、状態の名称のみが異なる場合に差分として検出されてしまうことが抑制され、比較対象の状態遷移モデルの差分を適切に提示することが可能となる。また、この構成によれば、状態の同一決定における厳密性についての利用者の要求に応じた適切な条件にて判定を行うことが可能となる。
【００１４】
本発明は、状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、コンピュータを用いた状態遷移分析装置であって、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有し、前記ＣＰＵは、前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させ、前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態遷移先を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態遷移先を第２の特異状態として検出し、利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態遷移先として含む各第２の状態遷移データに対する一致判定の要素として設定し、前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データと前記第２の特異状態を状態遷移先として含む各第２の状態遷移データとの間で一致判定を行い、前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させる。
【００１５】
この構成によれば、変更前の状態遷移モデルにのみ含まれる第１の特異状態と変更後の状態遷移モデルにのみ含まれる第２の特異状態とが同一の状態であるか否かが、状態、事象及び処理の少なくとも１つの要素が一致するか否かによって判定され、同一の状態である場合には、変更前の状態遷移モデル及び変更後の状態遷移モデルの表示において、第１の特異状態と第２の特異状態とが同一のものとして扱われる。従って、状態の名称のみが異なる場合に差分として検出されてしまうことが抑制され、比較対象の状態遷移モデルの差分を適切に提示することが可能となる。また、この構成によれば、状態の同一決定における厳密性についての利用者の要求に応じた適切な条件にて判定を行うことが可能となる。
【００１６】
本発明は、状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、コンピュータを用いた状態遷移分析装置であって、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有し、前記ＣＰＵは、前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させ、前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態を第２の特異状態として検出し、利用者による前記操作部の操作に応じて、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異状態を状態として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態として含む各第２の状態遷移データに対する第１の一致判定の要素として設定し、利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態遷移先として含む各第２の状態遷移データに対する第２の一致判定の要素として設定し、前記第１の一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態として含む各第１の状態遷移データと前記第２の特異状態を状態として含む各第２の状態遷移データとの間で第１の一致判定を行い、前記第２の一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データと前記第２の特異状態を状態遷移先として含む各第２の状態遷移データとの間で第２の一致判定を行い、利用者による前記操作部の操作に応じて、前記第１の一致判定及び前記第２の一致判定の双方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第１の決定手法と、前記第１の一致判定及び前記第２の一致判定のいずれか一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第２の決定手法と、前記第１の一致判定及び前記第２の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第３の決定手法とのいずれかを選択し、前記第１の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定の双方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第２の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定のいずれか一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第３の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させる。
【００１７】
この構成によれば、変更前の状態遷移モデルにのみ含まれる第１の特異状態と変更後の状態遷移モデルにのみ含まれる第２の特異状態とが同一の状態であるか否かが、状態、事象、処理及び状態遷移先の少なくとも１つの要素が一致するか否かによって判定され、同一の状態である場合には、変更前の状態遷移モデル及び変更後の状態遷移モデルの表示において、第１の特異状態と第２の特異状態とが同一のものとして扱われる。従って、状態の名称のみが異なる場合に差分として検出されてしまうことが抑制され、比較対象の状態遷移モデルの差分を適切に提示することが可能となる。また、この構成によれば、状態の同一決定における厳密性についての利用者の要求に応じた適切な条件にて判定を行うことが可能となる。
【００１８】
本発明は、状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、コンピュータを用いた状態遷移分析装置であって、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有し、前記ＣＰＵは、前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させ、前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる事象を第１の特異事象として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる事象を第２の特異事象として検出し、利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、処理及び状態遷移先の３つの要素、状態及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異事象を含む各第１の状態遷移データ、及び、前記第２の特異事象を含む各第２の状態遷移データに対する一致判定の要素として設定し、前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異事象を含む各第１の状態遷移データと前記第２の特異事象を含む各第２の状態遷移データとの間で一致判定を行い、前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異事象と前記第２の特異事象とは名称が異なるが同じ事象であると決定し、前記第１及び第２の特異事象の検出、前記一致判定及び前記同一事象の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった事象を含む前記４つの要素の組を、他の組と区別して表示させる。
【００１９】
この構成によれば、変更前の状態遷移モデルにのみ含まれる第１の特異事象と変更後の状態遷移モデルにのみ含まれる第２の特異事象とが同一の事象であるか否かが、状態、処理及び状態遷移先の少なくとも１つの要素が一致するか否かによって判定され、同一の事象である場合には、変更前の状態遷移モデル及び変更後の状態遷移モデルの表示において、第１の特異事象と第２の特異事象とが同一のものとして扱われる。従って、事象の名称のみが異なる場合に差分として検出されてしまうことが抑制され、比較対象の状態遷移モデルの差分を適切に提示することが可能となる。また、この構成によれば、事象の同一決定における厳密性についての利用者の要求に応じた適切な条件にて判定を行うことが可能となる。
【００２０】
本発明は、状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置での処理方法であって、前記ＣＰＵが、前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させ、前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態を第２の特異状態として検出し、利用者による前記操作部の操作に応じて、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異状態を状態として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態として含む各第２の状態遷移データに対する一致判定の要素として設定し、前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態として含む各第１の状態遷移データと前記第２の特異状態を状態として含む各第２の状態遷移データとの間で一致判定を行い、前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させる。
【００２１】
本発明は、状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置での処理方法であって、前記ＣＰＵが、前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させ、前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態遷移先を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態遷移先を第２の特異状態として検出し、利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態遷移先として含む各第２の状態遷移データに対する一致判定の要素として設定し、前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データと前記第２の特異状態を状態遷移先として含む各第２の状態遷移データとの間で一致判定を行い、前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させる。
【００２２】
本発明は、状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置での処理方法であって、前記ＣＰＵが、前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させ、前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態を第２の特異状態として検出し、利用者による前記操作部の操作に応じて、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異状態を状態として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態として含む各第２の状態遷移データに対する第１の一致判定の要素として設定し、利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態遷移先として含む各第２の状態遷移データに対する第２の一致判定の要素として設定し、前記第１の一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態として含む各第１の状態遷移データと前記第２の特異状態を状態として含む各第２の状態遷移データとの間で第１の一致判定を行い、前記第２の一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データと前記第２の特異状態を状態遷移先として含む各第２の状態遷移データとの間で第２の一致判定を行い、利用者による前記操作部の操作に応じて、前記第１の一致判定及び前記第２の一致判定の双方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第１の決定手法と、前記第１の一致判定及び前記第２の一致判定のいずれか一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第２の決定手法と、前記第１の一致判定及び前記第２の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第３の決定手法とのいずれかを選択し、前記第１の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定の双方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第２の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定のいずれか一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第３の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させる。
【００２３】
本発明は、状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置での処理方法であって、前記ＣＰＵが、前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させ、前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる事象を第１の特異事象として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる事象を第２の特異事象として検出し、利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、処理及び状態遷移先の３つの要素、状態及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異事象を含む各第１の状態遷移データ、及び、前記第２の特異事象を含む各第２の状態遷移データに対する一致判定の要素として設定し、前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異事象を含む各第１の状態遷移データと前記第２の特異事象を含む各第２の状態遷移データとの間で一致判定を行い、前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異事象と前記第２の特異事象とは名称が異なるが同じ事象であると決定し、前記第１及び第２の特異事象の検出、前記一致判定及び前記同一事象の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった事象を含む前記４つの要素の組を、他の組と区別して表示させる。
【００２４】
本発明は、状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にて構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置における前記ＣＰＵに、前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させるステップと、前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態を第２の特異状態として検出するステップと、利用者による前記操作部の操作に応じて、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異状態を状態として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態として含む各第２の状態遷移データに対する一致判定の要素として設定するステップと、前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態として含む各第１の状態遷移データと前記第２の特異状態を状態として含む各第２の状態遷移データとの間で一致判定を行うステップと、前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定するステップと、前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させるステップとを実行させるプログラムである。
【００２５】
本発明は、状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にて構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置における前記ＣＰＵに、前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させるステップと、前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態遷移先を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態遷移先を第２の特異状態として検出するステップと、利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態遷移先として含む各第２の状態遷移データに対する一致判定の要素として設定するステップと、前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データと前記第２の特異状態を状態遷移先として含む各第２の状態遷移データとの間で一致判定を行うステップと、前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定するステップと、前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させるステップとを実行させるプログラムである。
【００２６】
本発明は、状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にて構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置における前記ＣＰＵに、前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させるステップと、前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる状態を第１の特異状態として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる状態を第２の特異状態として検出するステップと、利用者による前記操作部の操作に応じて、前記４つの要素のうち、事象、処理及び状態遷移先の３つの要素、事象及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異状態を状態として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態として含む各第２の状態遷移データに対する第１の一致判定の要素として設定するステップと、利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、事象及び処理の３つの要素、状態及び事象の２つの要素、及び、状態の１つの要素のいずれかを、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データ、及び、前記第２の特異状態を状態遷移先として含む各第２の状態遷移データに対する第２の一致判定の要素として設定するステップと、前記第１の一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態として含む各第１の状態遷移データと前記第２の特異状態を状態として含む各第２の状態遷移データとの間で第１の一致判定を行うステップと、前記第２の一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異状態を状態遷移先として含む各第１の状態遷移データと前記第２の特異状態を状態遷移先として含む各第２の状態遷移データとの間で第２の一致判定を行うステップと、利用者による前記操作部の操作に応じて、前記第１の一致判定及び前記第２の一致判定の双方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第１の決定手法と、前記第１の一致判定及び前記第２の一致判定のいずれか一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第２の決定手法と、前記第１の一致判定及び前記第２の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定する第３の決定手法とのいずれかを選択し、前記第１の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定の双方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第２の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定のいずれか一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定し、前記第３の決定手法を選択した場合には、前記第１の一致判定及び前記第２の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第１の特異状態と前記第２の特異状態とは名称が異なるが同じ状態であると決定するステップと、前記第１及び第２の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記４つの要素の組を、他の組と区別して表示させるステップとを実行させるプログラムである。
【００２７】
本発明は、状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との４つの要素の情報を組にて構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、ＣＰＵと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第１の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第２の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置における前記ＣＰＵに、前記記憶手段に記憶された前記複数の第１の状態遷移データに基づいて、該複数の第１の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第１の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第２の状態遷移データに基づいて、該複数の第２の状態遷移データそれぞれの組になる４つの要素の情報を可視的に表す第２の状態遷移モデルの画像を前記表示ユニットに表示させるステップと、前記記憶手段に記憶された前記複数の第１の状態遷移データと、前記記憶手段に記憶された前記複数の第２の状態遷移データとを比較して、前記複数の第１の状態遷移データにのみ含まれる事象を第１の特異事象として検出するとともに、前記複数の第２の状態遷移データにのみ含まれる事象を第２の特異事象として検出するステップと、利用者による前記操作部の操作に応じて、前記４つの要素のうち、状態、処理及び状態遷移先の３つの要素、状態及び状態遷移先の２つの要素、及び、状態遷移先の１つの要素のいずれかを、前記第１の特異事象を含む各第１の状態遷移データ、及び、前記第２の特異事象を含む各第２の状態遷移データに対する一致判定の要素として設定するステップと、前記一致判定の要素として設定された１つ、２つ及び３つのいずれかの要素について、前記第１の特異事象を含む各第１の状態遷移データと前記第２の特異事象を含む各第２の状態遷移データとの間で一致判定を行うステップと、前記各第１の状態遷移データと前記各第２の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第１の特異事象と前記第２の特異事象とは名称が異なるが同じ事象であると決定するステップと、前記第１及び第２の特異事象の検出、前記一致判定及び前記同一事象の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第１の状態遷移モデル及び前記第２の状態遷移モデルの画像において、前記一致判定のなされたかった事象を含む前記４つの要素の組を、他の組と区別して表示させるステップとを実行させるプログラムである。
【発明の効果】
【００３４】
本発明によれば、比較対象の状態遷移モデル間で状態や事象が同一であるか否かが適切に判断されるため、比較対象の状態遷移モデルの差分を適切に提示することが可能となる。
【発明を実施するための最良の形態】
【００３５】
本発明の実施の形態について、図面を参照して具体的に説明する。図１は、状態遷移分析装置の構成を示す図である。図１に示す状態遷移析装置１００は、例えばパーソナルコンピュータ（ＰＣ）であり、ＣＰＵ１０１、メモリ１０２、ハードディスクドライブ（ＨＤＤ）１０３、操作部１０５及びモニタ１０６によって構成される。これらＣＰＵ１０１、メモリ１０２、ＨＤＤ１０３、操作部１０５及びモニタ１０６は、内部バス１０７に接続されている。
【００３６】
この状態遷移分析装置１００において、ＣＰＵ１０１は、状態遷移表が変更された場合に、変更前後の状態及び事象が同一の状態及び事象を表しており、名称のみが異なるものであるか否かを判定し、その判定結果に応じて、状態遷移表における、異なる状態、事象、処理及び状態遷移先の組合せと、同一の状態、事象、処理及び状態遷移先の組合せとを区別してモニタ１０６に表示させる。このような処理は、ＣＰＵ１０１が利用者であるプログラム作成者による操作部１０５の操作に応じて、ＨＤＤ１０３から読み出してメモリ１０２に記憶させた所定のプログラムを実行することにより、実現される。
【００３７】
図２は、本実施形態における状態遷移モデルとしての状態遷移図の変更の一例を示す図であり、図２（ａ）は変更前の状態遷移図（旧状態遷移図）、図２（ｂ）は変更後の状態遷移図（新状態遷移図）である。これら状態遷移図において、丸で囲まれた文字は状態、／の前の文字は事象（イベント）、／の後の文字は処理、矢印は状態遷移先を示す。
【００３８】
一方、図３は、本実施形態における状態遷移モデルとしての状態遷移表の変更の一例を示す図であり、図３（ａ）は図２（ａ）の旧状態遷移図に対応する変更前の状態遷移表（旧状態遷移表）、図３（ｂ）は図２（ｂ）の新状態遷移図に対応する変更後の状態遷移表（新状態遷移表）である。状態遷移図から状態遷移表への変換は、公知の手法によってなされる。状態遷移表は、状態を列、事象を行とした２次元の表であり、各マスには、対応する状態の時に対応する事象が発生した場合に実行される処理（下欄）と当該処理による状態遷移先（上欄）が含まれる。例えば、状態ＳＡ及び事象ＥＡで定まるマスには、状態ＳＡにおいて事象ＥＡが発生した場合に実行される処理ＦＡと、当該処理ＦＡの実行による状態遷移先ＳＢが含まれる。状態遷移表の各マスには、１つの状態遷移データが対応付けられており、当該状態遷移データはＨＤＤ１０３に記憶されている。
【００３９】
図４は、状態遷移データの一例を示す図であり、図４（ａ）は図３（ａ）の旧状態遷移表の各マスに対応する状態遷移データ（旧状態遷移データ）の各組、図４（ｂ）は図３（ｂ）の新状態遷移表の各マスに対応する状態遷移データ（新状態遷移データ）の各組である。これらの状態遷移データは、状態と、事象と、当該状態において当該事象が発生した場合に実行される処理と、当該処理の実行による状態遷移先とを示す各情報により構成される。例えば、図４（ａ）の最上位の旧状態遷移データは、図３（ａ）の旧状態遷移表における状態ＳＡの列と事象ＥＡの行の交点のマスに対応するものであり、これら状態ＳＡ及び事象ＥＡを示す情報と、当該状態ＳＡにおいて当該事象ＥＡが発生した場合に実行される処理ＦＡを示す情報と、当該処理ＦＡの実行による状態遷移先ＳＢを示す情報とが含まれる。
【００４０】
以下、新旧の状態遷移表の表示処理について説明する。図５は、新旧の状態遷移表の表示動作を示すフローチャートである。ＣＰＵ１０１は、ＨＤＤ１０３に記憶された第１の状態遷移データに対応する旧状態遷移データの各組と、第２の状態遷移データに対応する新状態遷移データの各組とを読み出し、メモリ１０２に記憶させる（Ｓ１０１）。次に、ＣＰＵ１０１は、メモリ１０２に記憶させた旧状態遷移データの各組と新状態遷移データの各組とに基づいて、急状態遷移表及び新状態遷移表をモニタ１０６に表示させる（Ｓ１０２）。例えば、旧状態遷移データの各組が図４（ａ）に示すものであり、新状態遷移データの各組が図４（ｂ）に示すものである場合、旧状態遷移表は図３（ａ）に示すものとなり、新状態遷移表は図３（ｂ）に示すものとなる。
【００４１】
次に、ＣＰＵ１０１は、後述する、変更前後の状態や事象が同一の状態や事象を表しており、名称のみが異なるものか否かの決定を行う際の条件を、プログラム作成者による操作部１０５の操作に応じて設定する（Ｓ１０３）。設定された条件の情報は、メモリ１０２に記憶される。
【００４２】
図６は、変更前後の状態が同一の状態を表しており、名称のみが異なるものであるか否かの決定を行う際の条件の一例を示す。図６に示す条件は、Ａ乃至Ｄの４種類の手法と、１乃至３の３種類の判定の要素である新旧の状態遷移データ内の情報とによって定められ、条件Ａ−１乃至Ａ−３、Ｂ−１乃至Ｂ−３、Ｃ−１乃至Ｃ−３、Ｄ−１乃至Ｄ−４の１２種類存在する。
【００４３】
手法Ａは、旧状態遷移表にのみ含まれる状態（特異旧状態）を示す情報を、状態を示す情報として含む旧状態遷移データの組と、新状態遷移表にのみ含まれる状態（特異新状態）を示す情報を、状態を示す情報として含む新状態遷移データの組とが一致するか否かを判定するとともに、特異旧状態を示す情報を、状態遷移先を示す情報として含む旧状態遷移データの組と、特異新状態を示す情報を、状態遷移先を示す情報として含む新状態遷移データの組とが一致するか否かを判定し、これら双方において一致すると判定した場合に、特異旧状態と特異新状態とが同一状態であると決定する手法である。手法Ｂは、特異旧状態を示す情報を、状態を示す情報として含む旧状態遷移データの組と、特異新状態を示す情報を、状態を示す情報として含む新状態遷移データの組とが一致するか否かを判定し、一致すると判定した場合に、特異旧状態と特異新状態とが同一状態であると決定する手法である。手法Ｃは、特異旧状態を示す情報を、状態遷移先を示す情報として含む旧状態遷移データの組と、特異新状態を示す情報を、状態遷移先を示す情報として含む新状態遷移データの組とが一致するか否かを判定し、一致すると判定した場合に、特異旧状態と特異新状態とが同一状態であると決定する手法である。手法Ｄは、特異旧状態を示す情報を、状態を示す情報として含む旧状態遷移データの組と、特異新状態を示す情報を、状態を示す情報として含む新状態遷移データの組とが一致するか否かを判定するとともに、特異旧状態を示す情報を、状態遷移先を示す情報として含む旧状態遷移データの組と、特異新状態を示す情報を、状態遷移先を示す情報として含む新状態遷移データの組とが一致するか否かを判定し、これらの少なくともいずれかにおいて一致すると判定した場合に、特異旧状態と特異新状態とが同一状態であると決定する手法である。これら手法Ａ乃至Ｄによる同一状態の決定の厳密性は、手法Ａが最も高く、手法Ｄが最も低い。
【００４４】
一方、判定要素１は、判定要素の旧状態遷移データの組と新状態遷移データの組とにおいて、事象及び処理を示す情報と、状態遷移先又は状態を示す情報のいずれかとが一致するか否かを判定することを示す。判定要素２は、判定要素の旧状態遷移データの組と新状態遷移データの組とにおいて、事象を示す情報と、状態遷移先又は状態を示す情報のいずれかとが一致するか否かを判定することを示す。判定要素３は、判定要素の旧状態遷移データの組と新状態遷移データの組とにおいて、状態遷移先又は状態を示す情報のいずれかが一致するか否かを判定することを示す。これら判定要素１乃至３による同一状態の決定の厳密性は、判定要素１が最も高く、判定要素３が最も低い。
【００４５】
図７は、変更前後の事象が同一の状態を表しており、名称のみが異なるものであるか否かの決定を行う際の条件の一例を示す。図７に示す条件は、１種類の手法Ｅと、１乃至３の３種類の判定要素とすべき新旧の状態遷移データ内を示す情報とによって定められ、条件Ｄ−１乃至Ｄ−３の３種類存在する。
【００４６】
手法Ｅは、旧状態遷移表にのみ含まれる事象（特異旧事象）を示す情報を含む旧状態遷移データの組と、新状態遷移表にのみ含まれる事象（特異新事象）を示す情報を含む新状態遷移データの組とが一致するか否かを判定し、一致する場合に、特異旧事象と特異新事象とが名称が異なるが同一状態であると決定する手法である。
【００４７】
一方、判定要素１は、旧状態遷移データの組と新状態遷移データの組とにおいて、状態、処理及び状態遷移先を示す情報が一致するか否かを判定することを示す。判定要素２は、旧状態遷移データの組と新状態遷移データの組とにおいて、状態及び状態遷移先を示す情報が一致するか否かを判定することを示す。判定要素３は、旧状態遷移データの組と新状態遷移データの組とにおいて、状態遷移先が一致するか否かを判定することを示す。これら判定要素１乃至３による同一事象の決定の厳密性は、判定要素１が最も高く、判定要素３が最も低い。
【００４８】
再び、図５に戻って説明する。次に、ＣＰＵ１０１は、旧状態遷移表にのみ含まれる状態（特異旧状態）及び旧状態遷移表にのみ含まれる事象（旧特異事象）と、新状態遷移表にのみ含まれる状態（特異新状態）及び新状態遷移表にのみ含まれる事象（新特異事象）とを特定する（Ｓ１０４）。
【００４９】
図８は、Ｓ１０４における特異旧状態及び特異新状態の特定の詳細な動作を示すフローチャートである。ＣＰＵ１０１は、メモリ１０２に記憶された旧状態遷移データの各組に含まれる状態（状態及び状態遷移先）を示す情報のうち、未選択の状態を示す情報が存在するか否かを判定する（Ｓ２０１）。未選択の状態を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の状態を示す情報のうち、いずれかの状態を示す情報を選択する（Ｓ２０２）。
【００５０】
次に、ＣＰＵ１０１は、メモリ１０２に記憶された新状態遷移データの各組に含まれる状態（状態及び状態遷移先）を示す情報のうち、未選択の状態を示す情報が存在するか否かを判定する（Ｓ２０３）。未選択の状態を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の状態を示す情報のうち、いずれかの状態を示す情報を選択する（Ｓ２０４）。
【００５１】
次に、ＣＰＵ１０１は、Ｓ２０２において選択した状態を示す情報と、Ｓ２０４において選択した状態を示す情報とが一致するか否かを判定する（Ｓ２０５）。これら２つの状態を示す情報が一致する場合には、ＣＰＵ１０１は、その一致する状態を示す情報が旧状態遷移データと新状態遷移データの双方に含まれると判断する（Ｓ２０６）。
【００５２】
その後、再び、メモリ１０２に記憶された新状態遷移データの各組に含まれる状態を示す情報のうち、未選択の状態を示す情報が存在するか否かの判定（Ｓ２０３）以降の動作が繰り返される。また、Ｓ２０５において、２つの状態を示す情報が一致しないと判定された場合にも、再び、メモリ１０２に記憶された新状態遷移データの各組に含まれる状態を示す情報のうち、未選択の状態を示す情報が存在するか否かの判定（Ｓ２０３）以降の動作が繰り返される。
【００５３】
そして、Ｓ２０３において、メモリ１０２に記憶された新状態遷移データの各組に含まれる状態を示す情報のうち、未選択の状態を示す情報が存在しないと判定された場合には、再び、メモリ１０２に記憶された旧状態遷移データの各組に含まれる状態を示す情報のうち、未選択の事象を示す情報が存在するか否かの判定（Ｓ２０１）以降の動作が繰り返される。
【００５４】
更に、Ｓ２０１において、メモリ１０２に記憶された旧状態遷移データの各組に含まれる状態を示す情報のうち、未選択の状態を示す情報が存在しないと判定された場合は、旧状態遷移データの各組に含まれる状態を示す情報と、新状態遷移データの各組に含まれる状態を示す情報とのすべての組み合わせにおいて、Ｓ２０５における一致判定が終了したことを意味する。この場合、ＣＰＵ１０１は、Ｓ２０５における一致判定の結果、旧状態遷移データの各組に含まれる状態を示す情報うち、新状態遷移データの各組に含まれる状態を示す情報のいずれとも一致しなかったものを、特異旧状態として特定する。更に、ＣＰＵ１０１は、Ｓ２０５における一致判定の結果、新状態遷移データの各組に含まれる状態を示す情報うち、旧状態遷移データの各組に含まれる状態を示す情報のいずれとも一致しなかったものを、特異新状態を示す情報として特定する（Ｓ２０７）。特定された特異旧状態及び特異新状態を示す情報は、メモリ１０２に記憶される。
【００５５】
図９は、図８における特異旧状態及び特異新状態の特定動作を説明するための状態遷移表の一例である。図９（ａ）に示す旧状態遷移表と、図９（ｂ）に示す新状態遷移表とを比較すると、旧状態遷移表における斜線の網掛け部の状態ＳＢ及びＳＣは、新状態遷移表には含まれていない、換言すれば、旧状態遷移データの各組に含まれる状態ＳＢ及びＳＣを示す情報は、新状態遷移データの各組には含まれていない。また、新状態遷移表における斜線の網掛け部の状態ＳＸ及びＳＹは、新状態遷移表には含まれていない、換言すれば、新状態遷移データの各組に含まれる状態ＳＸ及びＳＹを示す情報は、旧状態遷移データの各組には含まれていない。従って、状態ＳＢ及びＳＣを示す情報は特異旧状態を示す情報として特定され、状態ＳＸ及びＳＹを示す情報は特異新状態を示す情報として特定される。なお、図９（ａ）に示す旧状態遷移表における縦線の網掛け部は、状態遷移先が特異旧状態ＳＢ及びＳＣとなるものを示し、図９（ｂ）に示す旧状態遷移表における縦線の網掛け部は、状態遷移先が特異新状態ＳＸ及びＳＹとなるものを示す。
【００５６】
図１０は、Ｓ１０４における特異旧事象及び特異新事象の特定の詳細な動作を示すフローチャートである。具体的な動作は、図８に示すフローチャートと同様である。すなわち、ＣＰＵ１０１は、メモリ１０２に記憶された旧状態遷移データの各組に含まれる事象を示す情報のうち、未選択の事象を示す情報が存在するか否かを判定する（Ｓ２５１）。未選択の事象を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の事象を示す情報のうち、いずれかの事象を示す情報を選択する（Ｓ２５２）。
【００５７】
次に、ＣＰＵ１０１は、メモリ１０２に記憶された新状態遷移データの各組に含まれる事象を示す情報のうち、未選択の事象を示す情報が存在するか否かを判定する（Ｓ２５３）。未選択の事象を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の事象を示す情報のうち、いずれかの事象を示す情報を選択する（Ｓ２５４）。
【００５８】
次に、ＣＰＵ１０１は、Ｓ２５２において選択した事象を示す情報と、Ｓ２５４において選択した事象を示す情報とが一致するか否かを判定する（Ｓ２５５）。これら２つの事象を示す情報が一致する場合には、ＣＰＵ１０１は、その一致する事象を示す情報が旧状態遷移データの各組と新状態遷移データの各組の双方に含まれると判断する（Ｓ２５６）。
【００５９】
その後、再び、未選択の事象を示す情報が存在するか否かの判定（Ｓ２５３）以降の動作が繰り返される。また、Ｓ２５５において、２つの事象を示す情報が一致しないと判定された場合にも、再び、未選択の事象を示す情報が存在するか否かの判定（Ｓ２５３）以降の動作が繰り返される。
【００６０】
そして、Ｓ２５３において、未選択の事象を示す情報が存在しないと判定された場合には、再び、メモリ１０２に記憶された旧状態遷移データの各組に含まれる事象を示す情報のうち、未選択の事象を示す情報が存在するか否かの判定（Ｓ２５１）以降の動作が繰り返される。
【００６１】
更に、Ｓ２５１において、未選択の事象を示す情報が存在しないと判定された場合は、旧状態遷移データの各組に含まれる事象を示す情報と、新状態遷移データの各組に含まれる事象を示す情報とのすべての組み合わせにおいて、Ｓ２５５における一致判定が終了したことを意味する。この場合、ＣＰＵ１０１は、Ｓ２５５における一致判定の結果、旧状態遷移データの各組に含まれる事象を示す情報うち、新状態遷移データの各組に含まれる事象を示す情報のいずれとも一致しなかったものを、特異旧事象として特定する。更に、ＣＰＵ１０１は、Ｓ２０５における一致判定の結果、新状態遷移データの各組に含まれる事象を示す情報うち、旧状態遷移データの各組に含まれる事象を示す情報のいずれとも一致しなかったものを、特異新事象を示す情報として特定する（Ｓ２５７）。特定された特異旧事象及び特異新事象を示す情報は、メモリ１０２に記憶される。
【００６２】
図１１は、図１０における特異旧事象及び特異新事象の特定動作を説明するための状態遷移表の一例であり、図８における特異旧状態及び特異新状態の特定動作後に、更に、図１０における特異旧事象及び特異新事象の特定動作が行われた場合に対応するものである。図１０（ａ）に示す旧状態遷移表と、図１０（ｂ）に示す新状態遷移表とを比較すると、旧状態遷移表における斜線の網掛け部の事象ＥＤは、新状態遷移表には含まれていない、換言すれば、旧状態遷移データの各組に含まれる事象ＥＤを示す情報は、新状態遷移データの各組には含まれていない。また、新状態遷移表における斜線の網掛け部の事象ＥＹは、新状態遷移表には含まれていない、換言すれば、新状態遷移データの各組に含まれる事象ＥＹを示す情報は、旧状態遷移データの各組には含まれていない。従って、事象ＥＤを示す情報は特異旧事象を示す情報として特定され、事象ＥＹを示す情報は特異新事象を示す情報として特定される。なお、特異新状態と特異旧状態の交点となるマスの縦線の網掛け部は後述する一致判定の対象とはならない。
【００６３】
再び、図５に戻って説明する。Ｓ１０４において、特異旧状態及び特異旧事象と、特異新事象及び特異新事象を特定した後、次に、ＣＰＵ１０１は、Ｓ１０３において設定した条件に応じて、変更前後の状態及び事象が同一の状態及び状態を表しており、名称のみが異なるものであるか否かの判定（名称変更判定）を行う（Ｓ１０５）。
【００６４】
名称変更判定は、設定された条件に応じて異なる。まず、第１の名称変更判定について説明する。図１２及び図１６は、Ｓ１０５における第１の名称変更判定の詳細な動作を示すフローチャートである。なお、以下においては、図６における条件Ｂ−１と、図７における条件Ｅ−１とが設定された場合を例に説明する。
【００６５】
ＣＰＵ１０１は、メモリ１０２に記憶された特異旧状態を示す情報のうち、未選択のものが存在するか否かを判定する（Ｓ３０１）。未選択の特異旧状態を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の特異旧状態を示す情報のうち、いずれかを選択する（Ｓ３０２）。更に、ＣＰＵ１０１は、メモリ１０２に記憶された旧状態遷移データの各組のうち、Ｓ３０２において選択した特異旧状態を示す情報を、状態を示す情報に含む旧状態遷移データの組を抽出する（Ｓ３０３）。
【００６６】
次に、ＣＰＵ１０１は、メモリ１０２に記憶された特異新状態を示す情報のうち、未選択のものが存在するか否かを判定する（Ｓ３０４）。未選択の特異新状態を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の特異新状態を示す情報のうち、いずれかを選択する（Ｓ３０５）。更に、ＣＰＵ１０１は、メモリ１０２に記憶された旧状態遷移データの各組のうち、Ｓ３０５において選択した特異旧状態を示す情報を、状態を示す情報に含む旧状態遷移データの組を抽出する（Ｓ３０６）。
【００６７】
次に、ＣＰＵ１０１は、Ｓ３０３において抽出した旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、Ｓ３０６において抽出した新状態遷移データの組に含まれる事象、処理、状態遷移先を示す各情報とが一致するか否かを判定する（Ｓ３０７）。
【００６８】
図１３乃至図１５は、Ｓ３０７における一致判定の動作を説明するための状態遷移表の一例である。まず、図１３（ａ）に示す旧状態遷移表における特異旧状態ＳＢの列（太線で囲まれた部分）における縦線の網掛け部以外の部分と、図１３（ｂ）における特異新状態ＳＸの列（太線で囲まれた部分）における縦線の網掛け部以外の部分とを比較すると、両者は一致しない。この場合、特異旧状態ＳＢを示す情報を、状態を示す情報として含む旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、特異新状態ＳＸを示す情報を、状態を示す情報として含む新状態遷移データの組に含まれる事象、処理、状態遷移先を示す各情報とは一致しないと判定される。
【００６９】
また、図１４（ａ）に示す旧状態遷移表における特異旧状態ＳＢの列（太線で囲まれた部分）における縦線の網掛け部以外の部分と、図１４（ｂ）における特異新状態ＳＹの列（太線で囲まれた部分）における縦線の網掛け部以外の部分とを比較すると、両者は一致する。この場合、特異旧状態ＳＢを示す情報を、状態を示す情報として含む旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、特異新状態ＳＹを示す情報を、状態を示す情報として含む新状態遷移データの組に含まれる事象、処理、状態遷移先を示す各情報とは一致すると判定される。
【００７０】
更に、図１５（ａ）に示す旧状態遷移表における特異旧状態ＳＣの列（太線で囲まれた部分）における縦線の網掛け部以外の部分と、図１５（ｂ）における特異新状態ＳＸの列（太線で囲まれた部分）における縦線の網掛け部以外の部分とを比較すると、両者は一致しない。この場合、特異旧状態ＳＣを示す情報を、状態を示す情報として含む旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、特異新状態ＳＸを示す情報を、状態を示す情報として含む新状態遷移データの組に含まれる事象、処理、状態遷移先を示す各情報とは一致しないと判定される。
【００７１】
再び、図１２に戻って説明する。Ｓ３０７において、旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる事象、処理、状態遷移先を示す各情報とが一致すると判定した場合、ＣＰＵ１０１は、旧状態遷移データの組に状態を示す情報として含まれる特異旧状態と、新状態遷移データの組に状態を示す情報として含まれる特異新状態とが同一の状態を表し、名称のみが変更されたものであると判断する（Ｓ３０８）。上述した図１３乃至図１５の例においては、特異旧状態ＳＢと特異新状態ＳＹとが同一の状態を表し、名称のみが変更されたものであると判断される。
【００７２】
なお、設定された条件が図６の条件Ｂ−２の場合には、ＣＰＵ１０１は、Ｓ３０７において、旧状態遷移データの組に含まれる事象及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる事象及び状態遷移先を示す各情報とが一致するか否かを判定する。また、設定された条件が図６の条件Ｂ−３の場合には、ＣＰＵ１０１は、Ｓ３０７において、旧状態遷移データの組に含まれる状態遷移先を示す情報と、新状態遷移データの組に含まれる状態遷移先を示す情報とが一致するか否かを判定する。そして、ＣＰＵ１０１は、一致する場合には、Ｓ３０８において、旧状態遷移データの組に状態を示す情報として含まれる特異旧状態と、新状態遷移データの組に状態の情報として含まれる特異新状態とが同一の状態を表し、名称のみが変更されたものであると判断する。
【００７３】
Ｓ３０８における判断の後、再び、メモリ１０２に記憶された特異新状態を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３０４）以降の動作が繰り返される。また、Ｓ３０７において、旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる事象、処理、状態遷移先を示す各情報とが一致しないと判定された場合にも、再び、メモリ１０２に記憶された特異新状態を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３０４）以降の動作が繰り返される。
【００７４】
そして、Ｓ３０４において、メモリ１０２に記憶された特異新状態を示す情報のうち、未選択のものが存在しないと判定された場合には、再び、メモリ１０２に記憶された特異旧状態を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３０１）以降の動作が繰り返される。
【００７５】
更に、Ｓ３０１において、メモリ１０２に記憶された特異旧状態を示す情報のうち、未選択のものが存在しないと判定された場合は、特異旧状態を示す情報と特異新状態を示す情報とのすべての組み合わせにおいて、Ｓ３０７にて、当該特異旧状態を示す情報を、状態を示す情報として含む旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、当該特異新状態を示す情報を、状態を示す情報として含む新状態遷移データの組に含まれる事象、処理、状態遷移先を示す各情報との一致判定が終了したことを意味する。
【００７６】
この場合、図１６の動作に移行し、ＣＰＵ１０１は、メモリ１０２に記憶された特異旧事象を示す情報のうち、未選択のものが存在するか否かを判定する（Ｓ３１１）。未選択の特異旧事象を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の特異旧事象を示す情報のうち、いずれかを選択する（Ｓ３１２）。更に、ＣＰＵ１０１は、メモリ１０２に記憶された旧状態遷移データの各組のうち、Ｓ３１２において選択した特異旧事象を示す情報を、事象を示す情報に含む旧状態遷移データの組を抽出する（Ｓ３１３）。
【００７７】
次に、ＣＰＵ１０１は、メモリ１０２に記憶された特異新状態の事象のうち、未選択のものが存在するか否かを判定する（Ｓ３１４）。未選択の特異新事象を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の特異新事象を示す情報のうち、いずれかを選択する（Ｓ３１５）。更に、ＣＰＵ１０１は、メモリ１０２に記憶された旧状態遷移データの各組のうち、Ｓ３１５において選択した特異旧事象を示す情報を、事象を示す情報に含む旧状態遷移データの組を抽出する（Ｓ３１６）。
【００７８】
次に、ＣＰＵ１０１は、Ｓ３１３において抽出した旧状態遷移データの組に含まれる状態、処理及び状態遷移先を示す各情報と、Ｓ３１６において抽出した新状態遷移データの組に含まれる状態、処理、状態遷移先を示す各情報とが一致するか否かを判定する（Ｓ３１７）。
【００７９】
図１７は、Ｓ３１７における一致判定の動作を説明するための状態遷移表の一例である。図１７（ａ）に示す旧状態遷移表における特異旧事象ＥＤの行（太線で囲まれた部分）における縦線の網掛け部以外の部分と、図１７（ｂ）における特異新事象ＥＹの行（太線で囲まれた部分）における縦線の網掛け部以外の部分とを比較すると、両者は一致しない。この場合、特異旧事象ＥＤを示す情報を、事象を示す情報として含む旧状態遷移データの組に含まれる状態、処理及び状態遷移先を示す各情報と、特異新事象ＥＹを含む新状態遷移データの組に含まれる状態、処理、状態遷移先を示す各情報とは一致しないと判定される。
【００８０】
再び、図１６に戻って説明する。Ｓ３１７において、旧状態遷移データの組に含まれる状態、処理及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる状態、処理、状態遷移先を示す各情報とが一致すると判定した場合、ＣＰＵ１０１は、旧状態遷移データの組に事象を示す情報として含まれる特異旧事象と、新状態遷移データの組に事象を示す情報として含まれる特異新事象とが同一の事象を表し、名称のみが変更されたものであると判断する（Ｓ３１８）。  
【００８１】
なお、設定された条件が図７の条件Ｅ−２の場合には、ＣＰＵ１０１は、Ｓ３１７において、旧状態遷移データの組に含まれる状態及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる状態及び状態遷移先を示す各情報とが一致するか否かを判定する。また、設定された条件が図７の条件Ｅ−３の場合には、ＣＰＵ１０１は、Ｓ３１７において、旧状態遷移データの組に含まれる状態遷移先を示す情報と、新状態遷移データの組に含まれる状態遷移先を示す情報とが一致するか否かを判定する。そして、ＣＰＵ１０１は、一致する場合には、Ｓ３１８において、旧状態遷移データの組に事象を示す情報として含まれる特異旧事象と、新状態遷移データの組に事象を示す情報として含まれる特異新事象とが同一の事象を表し、名称のみが変更されたものであると判断する。
【００８２】
Ｓ３１７における判断の後、再び、メモリ１０２に記憶された特異新事象を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３１４）以降の動作が繰り返される。また、Ｓ３１７において、旧状態遷移データの組に含まれる状態、処理及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる状態、処理、状態遷移先を示す各情報とが一致しないと判定された場合にも、再び、メモリ１０２に記憶された特異新事象を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３１４）以降の動作が繰り返される。
【００８３】
そして、Ｓ３１４において、メモリ１０２に記憶された特異新事象を示す情報のうち、未選択のものが存在しないと判定された場合には、再び、メモリ１０２に記憶された特異旧事象を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３１１）以降の動作が繰り返される。更に、Ｓ３１１において、メモリ１０２に記憶された特異旧事象を示す情報のうち、未選択のものが存在しないと判定された場合は、特異旧事象を示す情報と特異新事象を示す情報とのすべての組み合わせにおいて、Ｓ３１７にて、当該特異旧事象を示す情報を、事象を示す情報として含む旧状態遷移データの組に含まれる状態、処理及び状態遷移先を示す各情報と、当該特異新事象を示す情報を、事象を示す情報として含む新状態遷移データの組に含まれる状態、処理、状態遷移先を示す各情報との一致判定が終了したことを意味する。この場合には、一連の動作が終了する。
【００８４】
再び、図５に戻って説明する。ＣＰＵ１０１は、Ｓ１０５における名称変更判定の後、その名称変更判定の結果と、Ｓ１０４における特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果とに応じた旧状態遷移表及び新状態遷移表をモニタ１０６に表示させる処理を行う（Ｓ１０６）。具体的には、ＣＰＵ１０１は、図１２のＳ３０８にて名称のみの変更であり、同じ状態であると判断された特異旧状態及び特異新状態と、図１６のＳ３１８にて名称のみの変更であり、同じ事象であると判断された特異旧事象及び特異新事象を特定する。そして、ＣＰＵ１０１は、上述した従来の第２の差分検出を行い、新旧の状態遷移表の状態及び事象のうち、異なる状態及び事象を検出し、これら異なる状態の列と、異なる事象の列とを斜線で網掛けするとともに、新旧の状態遷移表の同一の状態及び同一の事象に対応するマス内の処理及び状態遷移先を比較し、異なる場合には、その異なる処理及び状態遷移先の欄を斜線で網掛けする。また、ＣＰＵ１０１は、旧状態遷移表の状態の欄のうち、特異旧状態の欄と特異旧事象の欄とを斜線で網掛けするとともに、新状態遷移表の状態の欄のうち、特異新状態の欄と特異新事象の欄とを斜線で網掛けする。
【００８５】
図１８は、第１の名称変更判定の結果及び特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果に応じた旧状態遷移表及び新状態遷移表の一例を示す図である。図１８（ａ）に示す旧状態遷移表を図２９（ａ）に示す従来の旧状態遷移表と比較すると、図１８（ａ）では特異旧状態ＳＢと特異旧状態ＳＹとが同一とみなされているため、図２９（ａ）と比較して斜線の網掛け部分が少ない。また、図１８（ｂ）に示す新状態遷移表を図２９（ｂ）に示す従来の新状態遷移表と比較すると、図１８（ｂ）では特異旧状態ＳＢと特異旧状態ＳＹとが同一とみなされているため、図２９（ｂ）と比較して斜線の網掛け部分が少ない。従って、過剰な差分検出が抑制される。
【００８６】
次に、第２の名称変更判定について説明する。図１９は、Ｓ１０５における第２の名称変更判定の詳細な動作を示すフローチャートである。なお、以下においては、図６における条件Ｃ−１と、図７における条件Ｅ−１とが設定された場合を例に説明する。
【００８７】
ＣＰＵ１０１は、メモリ１０２に記憶された特異旧状態を示す情報のうち、未選択のものが存在するか否かを判定する（Ｓ３５１）。未選択の特異旧状態を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の特異旧状態を示す情報のうち、いずれかを選択する（Ｓ３５２）。更に、ＣＰＵ１０１は、メモリ１０２に記憶された旧状態遷移データの各組のうち、Ｓ３０２において選択した特異旧状態を示す情報を、状態遷移先を示す情報に含む旧状態遷移データの組を抽出する（Ｓ３５３）。
【００８８】
次に、ＣＰＵ１０１は、メモリ１０２に記憶された特異新状態を示す情報のうち、未選択のものが存在するか否かを判定する（Ｓ３５４）。未選択の特異新状態を示す情報が存在する場合、ＣＰＵ１０１は、その未選択の特異新状態を示す情報のうち、いずれかを選択する（Ｓ５０５）。更に、ＣＰＵ１０１は、メモリ１０２に記憶された旧状態遷移データの各組のうち、Ｓ３５５において選択した特異旧状態を、状態遷移先を示す情報に含む旧状態遷移データの組を抽出する（Ｓ３５６）。
【００８９】
次に、ＣＰＵ１０１は、Ｓ３５３において抽出した旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、Ｓ３５６において抽出した新状態遷移データの組に含まれる状態、事象及び処理を示す各情報とが一致するか否かを判定する（Ｓ３５７）。
【００９０】
図２０乃至図２２は、Ｓ３５７における一致判定の動作を説明するための状態遷移表の一例である。まず、図２０（ａ）に示す旧状態遷移表における特異旧状態ＳＢを状態遷移先として含むマス（太線で囲まれた部分）における縦線の網掛け部以外の部分と、図２０（ｂ）における特異新状態ＳＸを状態遷移先として含むマス（太線で囲まれた部分）における縦線の網掛け部以外の部分とを比較すると、両者は一致しない。この場合、特異旧状態ＳＢを示す情報を、状態遷移先を示す情報として含む旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、特異新状態ＳＸを示す情報を、状態遷移先を示す情報として含む新状態遷移データの組に含まれる状態、事象及び処理を示す各情報とは一致しないと判定される。
【００９１】
また、図２１（ａ）に示す旧状態遷移表における特異旧状態ＳＢを状態遷移先として含むマス（太線で囲まれた部分）における縦線の網掛け部以外の部分と、図２１（ｂ）における特異新状態ＳＹを状態遷移先として含むマス（太線で囲まれた部分）における縦線の網掛け部以外の部分とを比較すると、両者は一致しない。この場合、特異旧状態ＳＢを示す情報を、状態遷移先を示す情報として含む旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、特異新状態ＳＹを示す情報を、状態遷移先を示す情報として含む新状態遷移データの組に含まれる状態、事象及び処理を示す各情報とは一致しないと判定される。
【００９２】
また、図２２（ａ）に示す旧状態遷移表における特異旧状態ＳＣを状態遷移先として含むマス（太線で囲まれた部分）における縦線の網掛け部以外の部分と、図２２（ｂ）における特異新状態ＳＸを状態遷移先として含むマス（太線で囲まれた部分）における縦線の網掛け部以外の部分とを比較すると、両者は一致する。この場合、特異旧状態ＳＣを示す情報を、状態遷移先を示す情報として含む旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、特異新状態ＳＸを示す情報を、状態遷移先を示す情報として含む新状態遷移データの組に含まれる状態、事象及び処理を示す各情報とは一致すると判定される。
【００９３】
再び、図１９に戻って説明する。Ｓ３５７において、旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、新状態遷移データの組に含まれる状態、事象及び処理を示す各情報とが一致すると判定した場合、ＣＰＵ１０１は、旧状態遷移データの組に状態遷移先を示す情報として含まれる特異旧状態と、新状態遷移データの組に状態遷移先を示す情報として含まれる特異新状態とが同一の状態を表し、名称のみが変更されたものであると判断する（Ｓ３５８）。上述した図２０乃至図２２の例においては、特異旧状態ＳＣと特異新状態ＳＸとが同一の状態を表し、名称のみが変更されたものであると判断される。
【００９４】
なお、設定された条件が図６の条件Ｃ−２の場合には、ＣＰＵ１０１は、Ｓ３５７において、旧状態遷移データの組に含まれる状態及び事象を示す各情報と、新状態遷移データの組に含まれる状態及び事象を示す各情報とが一致するか否かを判定する。また、設定された条件が図６の条件Ｃ−３の場合には、ＣＰＵ１０１は、Ｓ３５７において、旧状態遷移データの組に含まれる状態を示す情報と、新状態遷移データの組に含まれる状態を示す情報とが一致するか否かを判定する。そして、ＣＰＵ１０１は、一致する場合には、Ｓ３５８において、旧状態遷移データの組に状態遷移先を示す情報として含まれる特異旧状態と、新状態遷移データの組に状態遷移先を示す情報として含まれる特異新状態とが同一の状態を表し、名称のみが変更されたものであると判断する。
【００９５】
Ｓ３５７における判断の後、再び、メモリ１０２に記憶された特異新状態を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３５４）以降の動作が繰り返される。また、Ｓ３０７において、旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、新状態遷移データの組に含まれる状態、事象及び処理を示す各情報とが一致しないと判定された場合にも、再び、メモリ１０２に記憶された特異新状態を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３５４）以降の動作が繰り返される。
【００９６】
そして、Ｓ３５４において、メモリ１０２に記憶された特異新状態を示す情報のうち、未選択のものが存在しないと判定された場合には、再び、メモリ１０２に記憶された特異旧状態を示す情報のうち、未選択のものが存在するか否かの判定（Ｓ３５１）以降の動作が繰り返される。
【００９７】
更に、Ｓ３５１において、メモリ１０２に記憶された特異旧状態を示す情報のうち、未選択のものが存在しないと判定された場合は、特異旧状態を示す情報と特異新状態を示す情報とのすべての組み合わせにおいて、Ｓ３５７にて、当該特異旧状態を示す情報を、状態遷移先を示す情報として含む旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、当該特異新状態を示す情報を、状態遷移先を示す情報として含む新状態遷移データの組に含まれる状態、事象及び処理を示す各情報との一致判定が終了したことを意味する。この場合には、図１６の動作に移行する。図１６の動作については上述したため、ここでは省略するが、図２３を用いて、Ｓ３１７における一致判定の動作を説明すると、図１７（ａ）に示す旧状態遷移表における特異旧事象ＥＤの行（太線で囲まれた部分）における縦線の網掛け部以外の部分と、図１７（ｂ）における特異新事象ＥＹの行（太線で囲まれた部分）における縦線の網掛け部以外の部分とを比較すると、両者は一致しない。この場合、特異旧事象ＥＤを示す情報を、事象を示す情報として含む旧状態遷移データに含まれる状態、処理及び状態遷移先を示す各情報と、特異新事象ＥＹを含む新状態遷移データに含まれる状態、処理、状態遷移先を示す各情報とは一致しないと判定される。
【００９８】
図１９及び図１６の動作の後、換言すれば、図５のＳ１０５における名称変更判定の後、ＣＰＵ１０１は、その名称変更判定の結果と、Ｓ１０４における特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果とに応じた旧状態遷移表及び新状態遷移表をモニタ１０６に表示させる処理を行う（Ｓ１０６）。具体的には、上述した第１の名称変更判定の結果に応じて旧状態遷移表及び新状態遷移表をモニタ１０６に表示させる場合と同様、ＣＰＵ１０１は、図１９のＳ３５８にて名称のみの変更であり、同じ状態であると判断された特異旧状態及び特異新状態と、図１６のＳ３１８にて名称のみの変更であり、同じ事象であると判断された特異旧事象及び特異新事象を特定する。そして、ＣＰＵ１０１は、上述した従来の第２の差分検出を行い、新旧の状態遷移表の状態及び事象のうち、異なる状態及び事象を検出し、これら異なる状態の列と、異なる事象の列とを斜線で網掛けするとともに、新旧の状態遷移表の同一の状態及び同一の事象に対応するマス内の処理及び状態遷移先を比較し、異なる場合には、その異なる処理及び状態遷移先の欄が斜線で網掛けする。また、ＣＰＵ１０１は、旧状態遷移表の状態の欄のうち、特異旧状態の欄と特異旧事象の欄とを斜線で網掛けするとともに、新状態遷移表の状態の欄のうち、特異新状態の欄と特異新事象の欄とを斜線で網掛けする。
【００９９】
図２４は、第２の名称変更判定の結果及び特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果に応じた旧状態遷移表及び新状態遷移表の一例を示す図である。図２４（ａ）に示す旧状態遷移表を図２９（ａ）に示す従来の旧状態遷移表と比較すると、図１８（ａ）では特異旧状態ＳＣと特異旧状態ＳＸとが同一とみなされているため、図２９（ａ）と比較して斜線の網掛け部分が少ない。また、図１８（ｂ）に示す新状態遷移表を図２９（ｂ）に示す従来の新状態遷移表と比較すると、図１８（ｂ）では特異旧状態ＳＣと特異旧状態ＳＸとが同一とみなされているため、図２９（ｂ）と比較して斜線の網掛け部分が少ない。従って、過剰な差分検出が抑制される。
【０１００】
次に、第３の名称変更判定について説明する。第３の名称変更判定は、図６における条件Ａ−１乃至Ａ−３のいずれかが設定され、図７における条件Ｅ−１乃至Ｅ−３のいずれかが設定される場合の名称変更判定である。
【０１０１】
ＣＰＵ１０１は、上述した第１の名称変更判定における図１２のＳ３０７にて、旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報とが一致するとの判定、旧状態遷移データの組に含まれる事象及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる事象及び状態遷移先を示す各情報とが一致するとの判定、旧状態遷移データの組に含まれる状態遷移先を示す情報と、新状態遷移データの組に含まれる状態遷移先を示す情報とが一致するとの判定のいずれかがなされ、且つ、上述した第２の名称変更判定における図１６のＳ３１７にて、旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、新状態遷移データの組に含まれる状態、事象及び処理を示す各情報とが一致するとの判定、旧状態遷移データの組に含まれる状態及び事象を示す各情報と、新状態遷移データの組に含まれる状態及び事象を示す各情報とが一致するとの判定、旧状態遷移データの組に含まれる状態を示す情報と、新状態遷移データの組に含まれる状態を示す情報とが一致するとの判定のいずれかがなされた場合に、特異旧状態と特異新状態とが同一の状態を表し、名称のみが変更されたものであると判断する。なお、特異旧事象と特異新事象とが同一の状態を表し、名称のみが変更されたものであることの判断は、上述した第１及び第２の名称変更判定における図１６のＳ３１８と同様である。
【０１０２】
そして、ＣＰＵ１０１は、図５のＳ１０６にて、その名称変更判定の結果と、Ｓ１０４における特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果とに応じた旧状態遷移表及び新状態遷移表をモニタ１０６に表示させる処理を行う。具体的には、上述と同様、ＣＰＵ１０１は、名称のみの変更であり、同じ状態であると判断された特異旧状態及び特異新状態と、名称のみの変更であり、同じ事象であると判断された特異旧事象及び特異新事象を特定する。そして、ＣＰＵ１０１は、上述した従来の第２の差分検出を行い、新旧の状態遷移表の状態及び事象のうち、異なる状態及び事象を検出し、これら異なる状態の列と、異なる事象の列とを斜線で網掛けするとともに、新旧の状態遷移表の同一の状態及び同一の事象に対応するマス内の処理及び状態遷移先を比較し、異なる場合には、その異なる処理及び状態遷移先の欄を斜線で網掛けする。また、ＣＰＵ１０１は、旧状態遷移表の状態の欄のうち、特異旧状態の欄と特異旧事象の欄とを斜線で網掛けするとともに、新状態遷移表の状態の欄のうち、特異新状態の欄と特異新事象の欄とを斜線で網掛けする。
【０１０３】
図２５は、第３の名称変更判定の結果及び特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果に応じた旧状態遷移表及び新状態遷移表の一例を示す図である。図２５（ａ）に示す旧状態遷移表及び図２５（ｂ）に示す新状態遷移表を、図１８（ａ）及び図２４（ａ）に示す旧状態遷移表、図１８（ｂ）及び図２４（ｂ）に示す新状態遷移表と比較すると、第３の名称変更判定では、特異旧状態ＳＢと特異旧状態ＳＹとが同一とはみなされず、特異旧状態ＳＣと特異旧状態ＳＸとが同一とはみなされないため、斜線の網掛け部分が多い。このことは、第３の名称変更判定は、第１及び第２の名称変更判定と比較して判定の厳密性が高いことを示す。
【０１０４】
次に、第４の名称変更判定について説明する。第４の名称変更判定は、図６における条件Ｄ−１乃至Ｄ−３のいずれかが設定され、図７における条件Ｅ−１乃至Ｅ−３のいずれかが設定される場合の名称変更判定である。
【０１０５】
ＣＰＵ１０１は、上述した第１の名称変更判定における図１２のＳ３０７にて、旧状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる事象、処理及び状態遷移先を示す各情報とが一致するとの判定、旧状態遷移データの組に含まれる事象及び状態遷移先を示す各情報と、新状態遷移データの組に含まれる事象及び状態遷移先を示す各情報とが一致するとの判定、旧状態遷移データの組に含まれる状態遷移先を示す情報と、新状態遷移データの組に含まれる状態遷移先を示す情報とが一致するとの判定のいずれかがなされ場合、及び、上述した第２の名称変更判定における図１６のＳ３１７にて、旧状態遷移データの組に含まれる状態、事象及び処理を示す各情報と、新状態遷移データの組に含まれる状態、事象及び処理を示す各情報とが一致するとの判定、旧状態遷移データの組に含まれる状態及び事象を示す各情報と、新状態遷移データの組に含まれる状態及び事象を示す各情報とが一致するとの判定、旧状態遷移データの組に含まれる状態を示す情報と、新状態遷移データの組に含まれる状態を示す情報とが一致するとの判定のいずれかがなされた場合の少なくともいずれかである場合に、特異旧状態と特異新状態とが同一の状態を表し、名称のみが変更されたものであると判断する。なお、特異旧事象と特異新事象とが同一の状態を表し、名称のみが変更されたものであることの判断は、上述した第１及び第２の名称変更判定における図１６のＳ３１８と同様である。
【０１０６】
そして、ＣＰＵ１０１は、図５のＳ１０６にて、その名称変更判定の結果と、Ｓ１０４における特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果とに応じた旧状態遷移表及び新状態遷移表をモニタ１０６に表示させる処理を行う。具体的には、上述と同様、ＣＰＵ１０１は、名称のみの変更であり、同じ状態であると判断された特異旧状態及び特異新状態と、名称のみの変更であり、同じ事象であると判断された特異旧事象及び特異新事象を特定する。そして、ＣＰＵ１０１は、上述した従来の第２の差分検出を行い、新旧の状態遷移表の状態及び事象のうち、異なる状態及び事象を検出し、これら異なる状態の列と、異なる事象の列とを斜線で網掛けするとともに、新旧の状態遷移表の同一の状態及び同一の事象に対応するマス内の処理及び状態遷移先を比較し、異なる場合には、その異なる処理及び状態遷移先の欄が斜線で網掛けする。また、ＣＰＵ１０１は、旧状態遷移表の状態の欄のうち、特異旧状態の欄と特異旧事象の欄とを斜線で網掛けするとともに、新状態遷移表の状態の欄のうち、特異新状態の欄と特異新事象の欄とを斜線で網掛けする。
【０１０７】
図２６は、第４の名称変更判定の結果及び特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果に応じた旧状態遷移表及び新状態遷移表の一例を示す図である。図２６（ａ）に示す旧状態遷移表及び図２６（ｂ）に示す新状態遷移表を、図１８（ａ）及び図２４（ａ）に示す旧状態遷移表、図１８（ｂ）及び図２４（ｂ）に示す新状態遷移表と比較すると、第４の名称変更判定では、特異旧状態ＳＢと特異旧状態ＳＹとが同一とみなされ、且つ、特異旧状態ＳＣと特異旧状態ＳＸとが同一とはみなさるため、図１８（ａ）及び図２４（ａ）と比較して斜線の網掛け部分が少ない。このことは、第３の名称変更判定では、判定の厳密性が低いことを示す。
【０１０８】
このように、本実施形態の状態遷移析装置１００は、旧状態遷移表に対応する旧状態遷移データにおいて特異な状態及び事象を示す情報と、新状態遷移表に対応する新状態遷移データおいて特異な状態及び事象を示す情報とが、同一の状態及び事象を表し、名称のみが異なる場合には、新旧の状態遷移表の差分を提示する際に、両者を同一のものとして扱う。従って、過剰な差分検出がなされて、プログラム作成者に対して適切でない差分検出結果が提示されることが抑制される。
【０１０９】
また、本実施形態の状態遷移析装置１００は、旧状態遷移表に対応する旧状態遷移データの各組において特異な状態及び事象と、新状態遷移表に対応する新状態遷移データおいて特異な状態及び事象とが、同一の状態及び事象を表し、名称のみが異なるか否かを判定する際に、条件を設定することができ、判定の厳密性について、プログラム作成者の意向に応じて適切に設定することが可能となる。
【０１１０】
なお、上述した実施形態では、新旧の状態遷移表の間で異なる部分を網掛けとしたが、新旧の状態遷移表の間で異なる部分と同一の部分とで表示態様が異なればよく、色を異ならせるようにしてもよい。
【産業上の利用可能性】
【０１１１】
以上、説明したように、本発明に係る状態遷移分析装置、状態遷移分析方法及び状態遷移分析プログラムによれば、比較対象の状態遷移モデルの差分を適切に提示することが可能であり、状態遷移分析装置等として有用である。
【図面の簡単な説明】
【０１１２】
【図１】状態遷移分析装置の構成を示す図である。
【図２】状態遷移図の変更の一例を示す図である。
【図３】状態遷移表の変更の一例を示す図である。
【図４】状態遷移データの一例を示す図である。
【図５】新旧の状態遷移表の表示動作を示すフローチャートである。
【図６】状態の条件の一例を示す図である。
【図７】事象の条件の一例を示す図である。
【図８】特異旧状態及び特異新状態の特定の詳細な動作を示すフローチャートである。
【図９】図８の特異旧状態及び特異新状態の特定動作を説明するための状態遷移表の一例である。
【図１０】特異旧事象及び特異新事象の特定の詳細な動作を示すフローチャートである。
【図１１】図１０の特異旧事象及び特異新事象の特定動作を説明するための状態遷移表の一例である。
【図１２】第１の名称変更判定の詳細な動作を示す第１のフローチャートである。
【図１３】第１の名称変更判定動作を説明するための状態遷移表の第１の例である。
【図１４】第１の名称変更判定動作を説明するための状態遷移表の第２の例である。
【図１５】第１の名称変更判定動作を説明するための状態遷移表の第３の例である。
【図１６】第１及び第２の名称変更判定の詳細な動作を示す第２のフローチャートである。
【図１７】第１の名称変更判定動作を説明するための状態遷移表の第４の例である。
【図１８】第１の名称変更判定の結果及び特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果に応じた旧状態遷移表及び新状態遷移表の一例を示す図である。
【図１９】第２の名称変更判定の詳細な動作を示す第１のフローチャートである。
【図２０】第２の名称変更判定動作を説明するための状態遷移表の第１の例である。
【図２１】第２の名称変更判定動作を説明するための状態遷移表の第２の例である。
【図２２】第２の名称変更判定動作を説明するための状態遷移表の第３の例である。
【図２３】第２の名称変更判定動作を説明するための状態遷移表の第４の例である。
【図２４】第２の名称変更判定の結果及び特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果に応じた旧状態遷移表及び新状態遷移表の一例を示す図である。
【図２５】第３の名称変更判定の結果及び特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果に応じた旧状態遷移表及び新状態遷移表の一例を示す図である。
【図２６】第４の名称変更判定の結果及び特異旧状態、特異旧事象、特異新状態、特異新事象の特定結果に応じた旧状態遷移表及び新状態遷移表の一例を示す図である。
【図２７】従来の状態遷移図の変更の一例を示す図である。
【図２８】従来の状態遷移表の変更の第１の例を示す図である。
【図２９】従来の状態遷移表の変更の第２の例を示す図である。
【符号の説明】
【０１１３】
１００  状態遷移分析装置
１０１  ＣＰＵ
１０２  メモリ
１０３  ＨＤＤ
１０５  操作部
１０６  モニタ
１０７  内部バス
【要約】
【課題】比較対象の状態遷移モデルの差分を適切に提示することが可能な状態遷移分析装置、状態遷移分析装置での処理方法及びプログラムを提供する。
【解決手段】状態遷移分析装置１００内のＣＰＵ１０１は、条件を設定する。そして、ＣＰＵ１０１は、その一致判定条件に従って、旧状態遷移表に対応する旧状態遷移データの各組において特異な状態及び事象を示す情報と、新状態遷移表に対応する新状態遷移データおいて特異な状態及び事象の情報とが、同一の状態及び事象を表し、名称のみが異なるか否かを判定し、名称のみが異なる場合には、新旧の状態遷移表の差分を提示する際に、両者を同一のものとして扱う。
【選択図】図５【図１】
0004189432.tif 000002
【図２】
0004189432.tif 000003
【図３】
0004189432.tif 000004
【図４】
0004189432.tif 000005
【図５】
0004189432.tif 000006
【図６】
0004189432.tif 000007
【図７】
0004189432.tif 000008
【図８】
0004189432.tif 000009
【図９】
0004189432.tif 000010
【図１０】
0004189432.tif 000011
【図１１】
0004189432.tif 000012
【図１２】
0004189432.tif 000013
【図１３】
0004189432.tif 000014
【図１４】
0004189432.tif 000015
【図１５】
0004189432.tif 000016
【図１６】
0004189432.tif 000017
【図１７】
0004189432.tif 000018
【図１８】
0004189432.tif 000019
【図１９】
0004189432.tif 000020
【図２０】
0004189432.tif 000021
【図２１】
0004189432.tif 000022
【図２２】
0004189432.tif 000023
【図２３】
0004189432.tif 000024
【図２４】
0004189432.tif 000025
【図２５】
0004189432.tif 000026
【図２６】
0004189432.tif 000027
【図２７】
0004189432.tif 000028
【図２８】
0004189432.tif 000029
【図２９】
0004189432.tif 000030