JP4189432B1 - 状態遷移分析装置、状態遷移分析装置での処理方法及びプログラム - Google Patents
状態遷移分析装置、状態遷移分析装置での処理方法及びプログラム Download PDFInfo
- Publication number
- JP4189432B1 JP4189432B1 JP2007270328A JP2007270328A JP4189432B1 JP 4189432 B1 JP4189432 B1 JP 4189432B1 JP 2007270328 A JP2007270328 A JP 2007270328A JP 2007270328 A JP2007270328 A JP 2007270328A JP 4189432 B1 JP4189432 B1 JP 4189432B1
- Authority
- JP
- Japan
- Prior art keywords
- state
- state transition
- transition data
- singular
- elements
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Landscapes
- Stored Programmes (AREA)
Abstract
【解決手段】状態遷移分析装置100内のCPU101は、条件を設定する。そして、CPU101は、その一致判定条件に従って、旧状態遷移表に対応する旧状態遷移データの各組において特異な状態及び事象を示す情報と、新状態遷移表に対応する新状態遷移データおいて特異な状態及び事象の情報とが、同一の状態及び事象を表し、名称のみが異なるか否かを判定し、名称のみが異なる場合には、新旧の状態遷移表の差分を提示する際に、両者を同一のものとして扱う。
【選択図】図5
Description
101 CPU
102 メモリ
103 HDD
105 操作部
106 モニタ
107 内部バス
Claims (12)
- 状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との4つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、コンピュータを用いた状態遷移分析装置であって、
CPUと、
前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第1の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第2の状態遷移データとを記憶する記憶手段と、
操作部と、
表示ユニットとを有し、
前記CPUは、
前記記憶手段に記憶された前記複数の第1の状態遷移データに基づいて、該複数の第1の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第1の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第2の状態遷移データに基づいて、該複数の第2の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第2の状態遷移モデルの画像を前記表示ユニットに表示させ、
前記記憶手段に記憶された前記複数の第1の状態遷移データと、前記記憶手段に記憶された前記複数の第2の状態遷移データとを比較して、前記複数の第1の状態遷移データにのみ含まれる状態を第1の特異状態として検出するとともに、前記複数の第2の状態遷移データにのみ含まれる状態を第2の特異状態として検出し、
利用者による前記操作部の操作に応じて、前記4つの要素のうち、事象、処理及び状態遷移先の3つの要素、事象及び状態遷移先の2つの要素、及び、状態遷移先の1つの要素のいずれかを、前記第1の特異状態を状態として含む各第1の状態遷移データ、及び、前記第2の特異状態を状態として含む各第2の状態遷移データに対する一致判定の要素として設定し、
前記一致判定の要素として設定された1つ、2つ及び3つのいずれかの要素について、前記第1の特異状態を状態として含む各第1の状態遷移データと前記第2の特異状態を状態として含む各第2の状態遷移データとの間で一致判定を行い、
前記各第1の状態遷移データと前記各第2の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定し、
前記第1及び第2の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第1の状態遷移モデル及び前記第2の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記4つの要素の組を、他の組と区別して表示させる状態遷移分析装置。 - 状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との4つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、コンピュータを用いた状態遷移分析装置であって、
CPUと、
前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第1の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第2の状態遷移データとを記憶する記憶手段と、
操作部と、
表示ユニットとを有し、
前記CPUは、
前記記憶手段に記憶された前記複数の第1の状態遷移データに基づいて、該複数の第1の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第1の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第2の状態遷移データに基づいて、該複数の第2の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第2の状態遷移モデルの画像を前記表示ユニットに表示させ、
前記記憶手段に記憶された前記複数の第1の状態遷移データと、前記記憶手段に記憶された前記複数の第2の状態遷移データとを比較して、前記複数の第1の状態遷移データにのみ含まれる状態遷移先を第1の特異状態として検出するとともに、前記複数の第2の状態遷移データにのみ含まれる状態遷移先を第2の特異状態として検出し、
利用者による前記操作部の操作に応じて、前記4つの要素のうち、状態、事象及び処理の3つの要素、状態及び事象の2つの要素、及び、状態の1つの要素のいずれかを、前記第1の特異状態を状態遷移先として含む各第1の状態遷移データ、及び、前記第2の特異状態を状態遷移先として含む各第2の状態遷移データに対する一致判定の要素として設定し、
前記一致判定の要素として設定された1つ、2つ及び3つのいずれかの要素について、前記第1の特異状態を状態遷移先として含む各第1の状態遷移データと前記第2の特異状態を状態遷移先として含む各第2の状態遷移データとの間で一致判定を行い、
前記各第1の状態遷移データと前記各第2の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定し、
前記第1及び第2の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第1の状態遷移モデル及び前記第2の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記4つの要素の組を、他の組と区別して表示させる状態遷移分析装置。 - 状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との4つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、コンピュータを用いた状態遷移分析装置であって、
CPUと、
前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第1の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第2の状態遷移データとを記憶する記憶手段と、
操作部と、
表示ユニットとを有し、
前記CPUは、
前記記憶手段に記憶された前記複数の第1の状態遷移データに基づいて、該複数の第1の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第1の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第2の状態遷移データに基づいて、該複数の第2の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第2の状態遷移モデルの画像を前記表示ユニットに表示させ、
前記記憶手段に記憶された前記複数の第1の状態遷移データと、前記記憶手段に記憶された前記複数の第2の状態遷移データとを比較して、前記複数の第1の状態遷移データにのみ含まれる状態を第1の特異状態として検出するとともに、前記複数の第2の状態遷移データにのみ含まれる状態を第2の特異状態として検出し、
利用者による前記操作部の操作に応じて、前記4つの要素のうち、事象、処理及び状態遷移先の3つの要素、事象及び状態遷移先の2つの要素、及び、状態遷移先の1つの要素のいずれかを、前記第1の特異状態を状態として含む各第1の状態遷移データ、及び、前記第2の特異状態を状態として含む各第2の状態遷移データに対する第1の一致判定の要素として設定し、
利用者による前記操作部の操作に応じて、前記4つの要素のうち、状態、事象及び処理の3つの要素、状態及び事象の2つの要素、及び、状態の1つの要素のいずれかを、前記第1の特異状態を状態遷移先として含む各第1の状態遷移データ、及び、前記第2の特異状態を状態遷移先として含む各第2の状態遷移データに対する第2の一致判定の要素として設定し、
前記第1の一致判定の要素として設定された1つ、2つ及び3つのいずれかの要素について、前記第1の特異状態を状態として含む各第1の状態遷移データと前記第2の特異状態を状態として含む各第2の状態遷移データとの間で第1の一致判定を行い、
前記第2の一致判定の要素として設定された1つ、2つ及び3つのいずれかの要素について、前記第1の特異状態を状態遷移先として含む各第1の状態遷移データと前記第2の特異状態を状態遷移先として含む各第2の状態遷移データとの間で第2の一致判定を行い、
利用者による前記操作部の操作に応じて、前記第1の一致判定及び前記第2の一致判定の双方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定する第1の決定手法と、前記第1の一致判定及び前記第2の一致判定のいずれか一方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定する第2の決定手法と、前記第1の一致判定及び前記第2の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定する第3の決定手法とのいずれかを選択し、前記第1の決定手法を選択した場合には、前記第1の一致判定及び前記第2の一致判定の双方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定し、前記第2の決定手法を選択した場合には、前記第1の一致判定及び前記第2の一致判定のいずれか一方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定し、前記第3の決定手法を選択した場合には、前記第1の一致判定及び前記第2の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定し、
前記第1及び第2の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第1の状態遷移モデル及び前記第2の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記4つの要素の組を、他の組と区別して表示させる状態遷移分析装置。 - 状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との4つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、コンピュータを用いた状態遷移分析装置であって、
CPUと、
前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第1の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第2の状態遷移データとを記憶する記憶手段と、
操作部と、
表示ユニットとを有し、
前記CPUは、
前記記憶手段に記憶された前記複数の第1の状態遷移データに基づいて、該複数の第1の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第1の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第2の状態遷移データに基づいて、該複数の第2の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第2の状態遷移モデルの画像を前記表示ユニットに表示させ、
前記記憶手段に記憶された前記複数の第1の状態遷移データと、前記記憶手段に記憶された前記複数の第2の状態遷移データとを比較して、前記複数の第1の状態遷移データにのみ含まれる事象を第1の特異事象として検出するとともに、前記複数の第2の状態遷移データにのみ含まれる事象を第2の特異事象として検出し、
利用者による前記操作部の操作に応じて、前記4つの要素のうち、状態、処理及び状態遷移先の3つの要素、状態及び状態遷移先の2つの要素、及び、状態遷移先の1つの要素のいずれかを、前記第1の特異事象を含む各第1の状態遷移データ、及び、前記第2の特異事象を含む各第2の状態遷移データに対する一致判定の要素として設定し、
前記一致判定の要素として設定された1つ、2つ及び3つのいずれかの要素について、前記第1の特異事象を含む各第1の状態遷移データと前記第2の特異事象を含む各第2の状態遷移データとの間で一致判定を行い、
前記各第1の状態遷移データと前記各第2の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第1の特異事象と前記第2の特異事象とは名称が異なるが同じ事象であると決定し、
前記第1及び第2の特異事象の検出、前記一致判定及び前記同一事象の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第1の状態遷移モデル及び前記第2の状態遷移モデルの画像において、前記一致判定のなされたかった事象を含む前記4つの要素の組を、他の組と区別して表示させる状態遷移分析装置。 - 状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との4つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、CPUと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第1の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである第2の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置での処理方法であって、
前記CPUが、
前記記憶手段に記憶された前記複数の第1の状態遷移データに基づいて、該複数の第1の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第1の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第2の状態遷移データに基づいて、該複数の第2の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第2の状態遷移モデルの画像を前記表示ユニットに表示させ、
前記記憶手段に記憶された前記複数の第1の状態遷移データと、前記記憶手段に記憶された前記複数の第2の状態遷移データとを比較して、前記複数の第1の状態遷移データにのみ含まれる状態を第1の特異状態として検出するとともに、前記複数の第2の状態遷移データにのみ含まれる状態を第2の特異状態として検出し、
利用者による前記操作部の操作に応じて、前記4つの要素のうち、事象、処理及び状態遷移先の3つの要素、事象及び状態遷移先の2つの要素、及び、状態遷移先の1つの要素のいずれかを、前記第1の特異状態を状態として含む各第1の状態遷移データ、及び、前記第2の特異状態を状態として含む各第2の状態遷移データに対する一致判定の要素として設定し、
前記一致判定の要素として設定された1つ、2つ及び3つのいずれかの要素について、前記第1の特異状態を状態として含む各第1の状態遷移データと前記第2の特異状態を状態として含む各第2の状態遷移データとの間で一致判定を行い、
前記各第1の状態遷移データと前記各第2の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定し、
前記第1及び第2の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第1の状態遷移モデル及び前記第2の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記4つの要素の組を、他の組と区別して表示させる処理方法。 - 状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との4つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、CPUと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第1の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである第2の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置での処理方法であって、
前記CPUが、
前記記憶手段に記憶された前記複数の第1の状態遷移データに基づいて、該複数の第1の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第1の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第2の状態遷移データに基づいて、該複数の第2の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第2の状態遷移モデルの画像を前記表示ユニットに表示させ、
前記記憶手段に記憶された前記複数の第1の状態遷移データと、前記記憶手段に記憶された前記複数の第2の状態遷移データとを比較して、前記複数の第1の状態遷移データにのみ含まれる状態遷移先を第1の特異状態として検出するとともに、前記複数の第2の状態遷移データにのみ含まれる状態遷移先を第2の特異状態として検出し、
利用者による前記操作部の操作に応じて、前記4つの要素のうち、状態、事象及び処理の3つの要素、状態及び事象の2つの要素、及び、状態の1つの要素のいずれかを、前記第1の特異状態を状態遷移先として含む各第1の状態遷移データ、及び、前記第2の特異状態を状態遷移先として含む各第2の状態遷移データに対する一致判定の要素として設定し、
前記一致判定の要素として設定された1つ、2つ及び3つのいずれかの要素について、前記第1の特異状態を状態遷移先として含む各第1の状態遷移データと前記第2の特異状態を状態遷移先として含む各第2の状態遷移データとの間で一致判定を行い、
前記各第1の状態遷移データと前記各第2の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定し、
前記第1及び第2の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第1の状態遷移モデル及び前記第2の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記4つの要素の組を、他の組と区別して表示させる処理方法。 - 状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との4つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、CPUと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第1の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである第2の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置での処理方法であって、
前記CPUが、
前記記憶手段に記憶された前記複数の第1の状態遷移データに基づいて、該複数の第1の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第1の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第2の状態遷移データに基づいて、該複数の第2の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第2の状態遷移モデルの画像を前記表示ユニットに表示させ、
前記記憶手段に記憶された前記複数の第1の状態遷移データと、前記記憶手段に記憶された前記複数の第2の状態遷移データとを比較して、前記複数の第1の状態遷移データにのみ含まれる状態を第1の特異状態として検出するとともに、前記複数の第2の状態遷移データにのみ含まれる状態を第2の特異状態として検出し、
利用者による前記操作部の操作に応じて、前記4つの要素のうち、事象、処理及び状態遷移先の3つの要素、事象及び状態遷移先の2つの要素、及び、状態遷移先の1つの要素のいずれかを、前記第1の特異状態を状態として含む各第1の状態遷移データ、及び、前記第2の特異状態を状態として含む各第2の状態遷移データに対する第1の一致判定の要素として設定し、
利用者による前記操作部の操作に応じて、前記4つの要素のうち、状態、事象及び処理の3つの要素、状態及び事象の2つの要素、及び、状態の1つの要素のいずれかを、前記第1の特異状態を状態遷移先として含む各第1の状態遷移データ、及び、前記第2の特異状態を状態遷移先として含む各第2の状態遷移データに対する第2の一致判定の要素として設定し、
前記第1の一致判定の要素として設定された1つ、2つ及び3つのいずれかの要素について、前記第1の特異状態を状態として含む各第1の状態遷移データと前記第2の特異状態を状態として含む各第2の状態遷移データとの間で第1の一致判定を行い、
前記第2の一致判定の要素として設定された1つ、2つ及び3つのいずれかの要素について、前記第1の特異状態を状態遷移先として含む各第1の状態遷移データと前記第2の特異状態を状態遷移先として含む各第2の状態遷移データとの間で第2の一致判定を行い、
利用者による前記操作部の操作に応じて、前記第1の一致判定及び前記第2の一致判定の双方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定する第1の決定手法と、前記第1の一致判定及び前記第2の一致判定のいずれか一方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定する第2の決定手法と、前記第1の一致判定及び前記第2の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定する第3の決定手法とのいずれかを選択し、前記第1の決定手法を選択した場合には、前記第1の一致判定及び前記第2の一致判定の双方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定し、前記第2の決定手法を選択した場合には、前記第1の一致判定及び前記第2の一致判定のいずれか一方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定し、前記第3の決定手法を選択した場合には、前記第1の一致判定及び前記第2の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定し、
前記第1及び第2の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第1の状態遷移モデル及び前記第2の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記4つの要素の組を、他の組と区別して表示させる処理方法。 - 状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との4つの要素の情報を組にして構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、CPUと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第1の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである第2の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置での処理方法であって、
前記CPUが、
前記記憶手段に記憶された前記複数の第1の状態遷移データに基づいて、該複数の第1の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第1の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第2の状態遷移データに基づいて、該複数の第2の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第2の状態遷移モデルの画像を前記表示ユニットに表示させ、
前記記憶手段に記憶された前記複数の第1の状態遷移データと、前記記憶手段に記憶された前記複数の第2の状態遷移データとを比較して、前記複数の第1の状態遷移データにのみ含まれる事象を第1の特異事象として検出するとともに、前記複数の第2の状態遷移データにのみ含まれる事象を第2の特異事象として検出し、
利用者による前記操作部の操作に応じて、前記4つの要素のうち、状態、処理及び状態遷移先の3つの要素、状態及び状態遷移先の2つの要素、及び、状態遷移先の1つの要素のいずれかを、前記第1の特異事象を含む各第1の状態遷移データ、及び、前記第2の特異事象を含む各第2の状態遷移データに対する一致判定の要素として設定し、
前記一致判定の要素として設定された1つ、2つ及び3つのいずれかの要素について、前記第1の特異事象を含む各第1の状態遷移データと前記第2の特異事象を含む各第2の状態遷移データとの間で一致判定を行い、
前記各第1の状態遷移データと前記各第2の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第1の特異事象と前記第2の特異事象とは名称が異なるが同じ事象であると決定し、
前記第1及び第2の特異事象の検出、前記一致判定及び前記同一事象の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第1の状態遷移モデル及び前記第2の状態遷移モデルの画像において、前記一致判定のなされたかった事象を含む前記4つの要素の組を、他の組と区別して表示させる処理方法。 - 状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との4つの要素の情報を組にて構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、CPUと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第1の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第2の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置における前記CPUに、
前記記憶手段に記憶された前記複数の第1の状態遷移データに基づいて、該複数の第1の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第1の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第2の状態遷移データに基づいて、該複数の第2の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第2の状態遷移モデルの画像を前記表示ユニットに表示させるステップと、
前記記憶手段に記憶された前記複数の第1の状態遷移データと、前記記憶手段に記憶された前記複数の第2の状態遷移データとを比較して、前記複数の第1の状態遷移データにのみ含まれる状態を第1の特異状態として検出するとともに、前記複数の第2の状態遷移データにのみ含まれる状態を第2の特異状態として検出するステップと、
利用者による前記操作部の操作に応じて、前記4つの要素のうち、事象、処理及び状態遷移先の3つの要素、事象及び状態遷移先の2つの要素、及び、状態遷移先の1つの要素のいずれかを、前記第1の特異状態を状態として含む各第1の状態遷移データ、及び、前記第2の特異状態を状態として含む各第2の状態遷移データに対する一致判定の要素として設定するステップと、
前記一致判定の要素として設定された1つ、2つ及び3つのいずれかの要素について、前記第1の特異状態を状態として含む各第1の状態遷移データと前記第2の特異状態を状態として含む各第2の状態遷移データとの間で一致判定を行うステップと、
前記各第1の状態遷移データと前記各第2の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定するステップと、
前記第1及び第2の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第1の状態遷移モデル及び前記第2の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記4つの要素の組を、他の組と区別して表示させるステップとを実行させるプログラム。 - 状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との4つの要素の情報を組にて構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、CPUと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第1の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第2の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置における前記CPUに、
前記記憶手段に記憶された前記複数の第1の状態遷移データに基づいて、該複数の第1の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第1の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第2の状態遷移データに基づいて、該複数の第2の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第2の状態遷移モデルの画像を前記表示ユニットに表示させるステップと、
前記記憶手段に記憶された前記複数の第1の状態遷移データと、前記記憶手段に記憶された前記複数の第2の状態遷移データとを比較して、前記複数の第1の状態遷移データにのみ含まれる状態遷移先を第1の特異状態として検出するとともに、前記複数の第2の状態遷移データにのみ含まれる状態遷移先を第2の特異状態として検出するステップと、
利用者による前記操作部の操作に応じて、前記4つの要素のうち、状態、事象及び処理の3つの要素、状態及び事象の2つの要素、及び、状態の1つの要素のいずれかを、前記第1の特異状態を状態遷移先として含む各第1の状態遷移データ、及び、前記第2の特異状態を状態遷移先として含む各第2の状態遷移データに対する一致判定の要素として設定するステップと、
前記一致判定の要素として設定された1つ、2つ及び3つのいずれかの要素について、前記第1の特異状態を状態遷移先として含む各第1の状態遷移データと前記第2の特異状態を状態遷移先として含む各第2の状態遷移データとの間で一致判定を行うステップと、
前記各第1の状態遷移データと前記各第2の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定するステップと、
前記第1及び第2の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第1の状態遷移モデル及び前記第2の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記4つの要素の組を、他の組と区別して表示させるステップとを実行させるプログラム。 - 状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との4つの要素の情報を組にて構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、CPUと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第1の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第2の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置における前記CPUに、
前記記憶手段に記憶された前記複数の第1の状態遷移データに基づいて、該複数の第1の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第1の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第2の状態遷移データに基づいて、該複数の第2の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第2の状態遷移モデルの画像を前記表示ユニットに表示させるステップと、
前記記憶手段に記憶された前記複数の第1の状態遷移データと、前記記憶手段に記憶された前記複数の第2の状態遷移データとを比較して、前記複数の第1の状態遷移データにのみ含まれる状態を第1の特異状態として検出するとともに、前記複数の第2の状態遷移データにのみ含まれる状態を第2の特異状態として検出するステップと、
利用者による前記操作部の操作に応じて、前記4つの要素のうち、事象、処理及び状態遷移先の3つの要素、事象及び状態遷移先の2つの要素、及び、状態遷移先の1つの要素のいずれかを、前記第1の特異状態を状態として含む各第1の状態遷移データ、及び、前記第2の特異状態を状態として含む各第2の状態遷移データに対する第1の一致判定の要素として設定するステップと、
利用者による前記操作部の操作に応じて、前記4つの要素のうち、状態、事象及び処理の3つの要素、状態及び事象の2つの要素、及び、状態の1つの要素のいずれかを、前記第1の特異状態を状態遷移先として含む各第1の状態遷移データ、及び、前記第2の特異状態を状態遷移先として含む各第2の状態遷移データに対する第2の一致判定の要素として設定するステップと、
前記第1の一致判定の要素として設定された1つ、2つ及び3つのいずれかの要素について、前記第1の特異状態を状態として含む各第1の状態遷移データと前記第2の特異状態を状態として含む各第2の状態遷移データとの間で第1の一致判定を行うステップと、
前記第2の一致判定の要素として設定された1つ、2つ及び3つのいずれかの要素について、前記第1の特異状態を状態遷移先として含む各第1の状態遷移データと前記第2の特異状態を状態遷移先として含む各第2の状態遷移データとの間で第2の一致判定を行うステップと、
利用者による前記操作部の操作に応じて、前記第1の一致判定及び前記第2の一致判定の双方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定する第1の決定手法と、前記第1の一致判定及び前記第2の一致判定のいずれか一方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定する第2の決定手法と、前記第1の一致判定及び前記第2の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定する第3の決定手法とのいずれかを選択し、前記第1の決定手法を選択した場合には、前記第1の一致判定及び前記第2の一致判定の双方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定し、前記第2の決定手法を選択した場合には、前記第1の一致判定及び前記第2の一致判定のいずれか一方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定し、前記第3の決定手法を選択した場合には、前記第1の一致判定及び前記第2の一致判定ののうちの指定された一方にて一致すると判定したときに、前記第1の特異状態と前記第2の特異状態とは名称が異なるが同じ状態であると決定するステップと、
前記第1及び第2の特異状態の検出、前記一致判定及び前記同一状態の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第1の状態遷移モデル及び前記第2の状態遷移モデルの画像において、前記一致判定のなされたかった状態を含む前記4つの要素の組を、他の組と区別して表示させるステップとを実行させるプログラム。 - 状態遷移モデルに対応し、状態と、該状態にて発生し得る事象と、前記状態において前記事象が発生した際に実行される処理と、該処理の実行による状態遷移先との4つの要素の情報を組にて構成される状態遷移データに基づいて、前記状態遷移モデルを分析する、CPUと、前記状態遷移モデルの変更がなされる場合に、変更前の状態遷移モデルに対応する複数の状態遷移データである複数の第1の状態遷移データと、変更後の状態遷移モデルに対応する複数の状態遷移データである複数の第2の状態遷移データとを記憶する記憶手段と、操作部と、表示ユニットとを有するコンピュータを用いた状態遷移分析装置における前記CPUに、
前記記憶手段に記憶された前記複数の第1の状態遷移データに基づいて、該複数の第1の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第1の状態遷移モデルの画像を前記表示ユニットに表示させるとともに、前記状態遷移データ記憶手段に記憶された前記複数の第2の状態遷移データに基づいて、該複数の第2の状態遷移データそれぞれの組になる4つの要素の情報を可視的に表す第2の状態遷移モデルの画像を前記表示ユニットに表示させるステップと、
前記記憶手段に記憶された前記複数の第1の状態遷移データと、前記記憶手段に記憶された前記複数の第2の状態遷移データとを比較して、前記複数の第1の状態遷移データにのみ含まれる事象を第1の特異事象として検出するとともに、前記複数の第2の状態遷移データにのみ含まれる事象を第2の特異事象として検出するステップと、
利用者による前記操作部の操作に応じて、前記4つの要素のうち、状態、処理及び状態遷移先の3つの要素、状態及び状態遷移先の2つの要素、及び、状態遷移先の1つの要素のいずれかを、前記第1の特異事象を含む各第1の状態遷移データ、及び、前記第2の特異事象を含む各第2の状態遷移データに対する一致判定の要素として設定するステップと、
前記一致判定の要素として設定された1つ、2つ及び3つのいずれかの要素について、前記第1の特異事象を含む各第1の状態遷移データと前記第2の特異事象を含む各第2の状態遷移データとの間で一致判定を行うステップと、
前記各第1の状態遷移データと前記各第2の状態遷移データとの間における前記設定された各要素の一致判定がなされたときに、前記第1の特異事象と前記第2の特異事象とは名称が異なるが同じ事象であると決定するステップと、
前記第1及び第2の特異事象の検出、前記一致判定及び前記同一事象の決定での各処理結果に基づいて、前記表示ユニットに表示される前記第1の状態遷移モデル及び前記第2の状態遷移モデルの画像において、前記一致判定のなされたかった事象を含む前記4つの要素の組を、他の組と区別して表示させるステップとをを実行させるプログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007270328A JP4189432B1 (ja) | 2007-10-17 | 2007-10-17 | 状態遷移分析装置、状態遷移分析装置での処理方法及びプログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007270328A JP4189432B1 (ja) | 2007-10-17 | 2007-10-17 | 状態遷移分析装置、状態遷移分析装置での処理方法及びプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP4189432B1 true JP4189432B1 (ja) | 2008-12-03 |
JP2009098958A JP2009098958A (ja) | 2009-05-07 |
Family
ID=40174668
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2007270328A Active JP4189432B1 (ja) | 2007-10-17 | 2007-10-17 | 状態遷移分析装置、状態遷移分析装置での処理方法及びプログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP4189432B1 (ja) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2017033389A1 (ja) * | 2015-08-27 | 2017-03-02 | 日本電気株式会社 | システム変更支援システム、情報処理装置、システム変更支援方法およびプログラム |
JP7009001B1 (ja) * | 2021-03-02 | 2022-01-25 | 株式会社Team F | 情報処理装置およびプログラム |
-
2007
- 2007-10-17 JP JP2007270328A patent/JP4189432B1/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JP2009098958A (ja) | 2009-05-07 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8121827B2 (en) | Efficient presentation of functional coverage results | |
CN109063829B (zh) | 神经网络构建方法、装置、计算机设备和存储介质 | |
US20110312414A1 (en) | Automated certification of video game advertising using ocr | |
WO2008019832A1 (en) | Improved monte carlo simulation and display of results thereof | |
JP2006195898A (ja) | 信号伝播経路描画装置、その描画方法及びプログラム | |
CN107506618A (zh) | 高通量测序序列的存储方法和查询方法 | |
JP2007025497A (ja) | 教育支援プログラムおよび教育支援装置 | |
JP4189432B1 (ja) | 状態遷移分析装置、状態遷移分析装置での処理方法及びプログラム | |
CN104423962B (zh) | 资料评价装置及资料评价方法 | |
JP5586638B2 (ja) | 監視画面試験装置 | |
JP6268695B2 (ja) | 採点結果取得方法、プログラム、及び装置 | |
JP5649398B2 (ja) | 情報処理装置およびその制御方法およびプログラム | |
JP5362915B2 (ja) | 描画装置および描画方法 | |
JP2007249826A (ja) | テスト項目生成装置 | |
JP7344659B2 (ja) | 情報処理装置およびプログラム | |
CN109992514B (zh) | 基于可视化内容的移动应用动态分析方法 | |
KR101964454B1 (ko) | 데이터에 내재된 문제점 제거를 통한 데이터 정제 장치 및 방법 | |
EP2141659A1 (en) | Graphics processing with hidden surface removal | |
TWI547914B (zh) | 學習估測方法及其電腦系統 | |
JP2013065228A (ja) | バグ対策優先度表示システム | |
JPH07210683A (ja) | 画像処理装置 | |
JP5589502B2 (ja) | 電子計算機及びプログラム | |
JP2008165491A (ja) | ソフトウェア品質評価装置及び方法 | |
JP4301285B2 (ja) | 情報処理装置および方法、並びにプログラム | |
JP2019046285A (ja) | 情報処理装置及びプログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20080909 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20080912 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 4189432 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110919 Year of fee payment: 3 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20120919 Year of fee payment: 4 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20140919 Year of fee payment: 6 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
S531 | Written request for registration of change of domicile |
Free format text: JAPANESE INTERMEDIATE CODE: R313531 |
|
R360 | Written notification for declining of transfer of rights |
Free format text: JAPANESE INTERMEDIATE CODE: R360 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
S533 | Written request for registration of change of name |
Free format text: JAPANESE INTERMEDIATE CODE: R313533 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |