(57)【要約】【課題】多重系システムにおける現在の運転状態におけるエラー処理付加メッセージシーケンス情報を効率的に生成可能な、メッセージシーケンス生成方法及びメッセージシーケンス生成装置を提供することを目的とする。【解決手段】メッセージシーケンス図を用いた通信プロトコルの正常時処理を示すメッセージシーケンス情報と、インスタンスのモード切替えとエラー処理が必要な事象因果関係モデルと、機器・構成制御情報の現在値と、アクションを設定する設定手段と、要素・事象対応情報を生成する対応情報生成手段と、要素・事象対応情報から、各要素に対応する各事象及び当該事象に起因して生じる事象に設定されたアクションを取得し、エラー処理として各要素に付加する付加手段と、現在のモード状態におけるメッセージシーケンス情報を生成する情報生成手段徒を備える。【選択図】図１
2014060595.tif 000002
【特許請求の範囲】
【請求項１】
（ａ）メッセージシーケンス図を用いた通信プロトコルの正常時処理について示すメッセージシーケンス情報をデータ処理のために準備する工程と、
（ｂ）インスタンスのモード切替えを伴う事象と、エラー処理が必要な事象とについて因果関係とともに記述した事象因果関係モデルをデータ処理のために準備する工程と、
（ｃ）前記インスタンスのモード情報を含む機器・構成制御情報と、前記機器・構成制御情報の現在値とをデータベースに記憶する工程と、
（ｄ）前記事象因果関係モデルにおける特定の前記事象に対し、当該事象が生じた場合に行うアクションを設定する工程と、
（ｅ）前記メッセージシーケンス情報の各要素と、各前記事象とを対応付け、要素・事象対応情報を生成する工程と、
（ｆ）前記要素・事象対応情報を記憶装置に記憶する工程と、
（ｇ）前記要素・事象対応情報から、各前記要素に対応する各前記事象及び当該事象に起因して生じる事象にそれぞれ設定された前記アクションを取得し、エラー処理として各前記要素に付加する工程と、
（ｈ）前記メッセージシーケンス情報が対象とするシステムの現在のモード状態における前記メッセージシーケンス情報を生成する工程とを備え、
コンピュータによるデータ処理によって前記各工程を実行することを特徴とするメッセージシーケンス生成方法。
【請求項２】
（ｉ）前記機器・構成制御情報と、前記機器・構成制御情報の現在値と、前記事象因果関係モデルとから前記インスタンスのモード切替発生条件を記述した事象因果関係モデルを生成する工程を備えたことを特徴とする請求項１に記載のメッセージシーケンス生成方法。
【請求項３】
メッセージシーケンス図を用いた通信プロトコルの正常時処理について示すメッセージシーケンス情報と、
インスタンスのモード切替えを伴う事象と、エラー処理が必要な事象とについて因果関係とともに記述した事象因果関係モデルと、
前記インスタンスのモード情報を含む機器・構成制御情報と、前記機器・構成制御情報の現在値とを記憶するデータベースと、
前記事象因果関係モデルにおける特定の前記事象に対し、当該事象が生じた場合に行うアクションを設定する設定手段と、
前記メッセージシーケンス情報の各要素と、各前記事象とを対応付け、要素・事象対応情報を生成する対応情報生成手段と、
前記要素・事象対応情報を記憶する記憶手段と、
前記要素・事象対応情報から、各前記要素に対応する各前記事象及び当該事象に起因して生じる事象にそれぞれ設定された前記アクションを取得し、エラー処理として各前記要素に付加する付加手段と、
前記メッセージシーケンス情報が対象とするシステムの現在のモード状態における前記メッセージシーケンス情報を生成する情報生成手段とを備えたことを特徴とするメッセージシーケンス生成装置。
【請求項４】
前記機器・構成制御情報と、前記機器・構成制御情報の現在値と、前記事象因果関係モデルとから前記インスタンスのモード切替発生条件を記述した事象因果関係モデルを生成するモデル生成手段とを備えたことを特徴とする請求項３に記載のメッセージシーケンス生成装置。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、通信プロトコルの仕様を記述するメッセージシーケンス図を生成する、メッセージシーケンス生成方法及びメッセージシーケンス生成装置に関する。
【背景技術】
【０００２】
監視制御システム等では、通信プロトコルの仕様をメッセージシーケンス図で記述することが多い。正常時の処理に加えて、エラー発生時の処理もメッセージシーケンス図で記述することで、実行可能なプログラムを生成する手法が提案されている。
【０００３】
一般に通信プロトコルでは、正常時の処理よりもエラー発生時の処理の方が多い。このため、エラー発生時のメッセージシーケンス図を、効率的に作成する手法が求められている。
【０００４】
特許文献１では、正常時のシーケンスを表す正常シーケンスと、エラーが起こりうる条件やその処理を記述したルールとから、エラー発生時の処理が付加されたメッセージシーケンスを生成することを特徴とする、メッセージシーケンス生成装置が提案されている。
【０００５】
また、特許文献２では、入力として与えられた正常仕様に対して、非正常仕様を付加・合成することで、全体の仕様を生成するソフトウェア開発支援装置が提案されている。
【先行技術文献】
【特許文献】
【０００６】
【特許文献１】特開平６−１５２７０１号公報
【特許文献２】特開２００６−８５６６８号公報
【発明の概要】
【発明が解決しようとする課題】
【０００７】
しかしながら、特許文献１に示す方法では、メッセージの種類や状態数が多い場合、記述すべきルールの数が多くなってしまい、非正常仕様を記述したメッセージシーケンス図を効率的に生成することができないという問題があった。
【０００８】
また、特許文献２に示す方法では、正常仕様を表すメッセージシーケンス図に対して非正常仕様を付加・合成する手段が開示されていない。このため、非正常仕様を付加したメッセージシーケンス図を生成することができないという問題があった。
【０００９】
本発明は、上記のような問題を解決するためになされたものであり、エラー処理を付加したメッセージシーケンスを効率的に生成可能な、メッセージシーケンス生成方法及びメッセージシーケンス生成装置を提供することを目的とする。
【課題を解決するための手段】
【００１０】
本発明にかかるメッセージシーケンス生成方法は、（ａ）メッセージシーケンス図を用いた通信プロトコルの正常時処理について示すメッセージシーケンス情報をデータ処理のために準備する工程と、（ｂ）インスタンスのモード切替えを伴う事象と、エラー処理が必要な事象とについて因果関係とともに記述した事象因果関係モデルをデータ処理のために準備する工程と、（ｃ）インスタンスのモード情報を含む機器・構成制御情報と、機器・構成制御情報の現在値とをデータベースに記憶する工程と、（ｄ）事象因果関係モデルにおける特定の事象に対し、当該事象が生じた場合に行うアクションを設定する工程と、（ｅ）メッセージシーケンス情報の各要素と、各事象とを対応付け、要素・事象対応情報を生成する工程と、（ｆ）要素・事象対応情報を記憶装置に記憶する工程と、（ｇ）要素・事象対応情報から、各要素に対応する各事象及び当該事象に起因して生じる事象にそれぞれ設定されたアクションを取得し、エラー処理として各要素に付加する工程と、（ｈ）メッセージシーケンス情報が対象とするシステムの現在のモード状態におけるメッセージシーケンス情報を生成する工程とを備え、コンピュータによるデータ処理によって各工程を実行することを特徴とする。
【００１１】
また、本発明にかかるメッセージシーケンス生成装置は、メッセージシーケンス図を用いた通信プロトコルの正常時処理について示すメッセージシーケンス情報と、インスタンスのモード切替えを伴う事象と、エラー処理が必要な事象とについて因果関係とともに記述した事象因果関係モデルと、インスタンスのモード情報を含む機器・構成制御情報と、機器・構成制御情報の現在値とを記憶するデータベースと、事象因果関係モデルにおける特定の事象に対し、当該事象が生じた場合に行うアクションを設定する設定手段と、メッセージシーケンス情報の各要素と、各事象とを対応付け、要素・事象対応情報を生成する対応情報生成手段と、要素・事象対応情報を記憶する記憶手段と、要素・事象対応情報から、各要素に対応する各事象及び当該事象に起因して生じる事象にそれぞれ設定されたアクションを取得し、エラー処理として各要素に付加する付加手段と、メッセージシーケンス情報が対象とするシステムの現在のモード状態におけるメッセージシーケンス情報を生成する情報生成手段とを備えることを特徴とする。
【発明の効果】
【００１２】
本発明にかかるメッセージシーケンス生成方法およびメッセージシーケンス生成装置によれば、事象因果関係モデルにより事象間の因果関係を考慮しつつ系切替が伴う場合を含むエラー処理において、メッセージシーケンス情報が対象とするシステムの現在のモード状態におけるエラー処理を付加することができるので、効率的にエラー処理付加メッセージシーケンス図を生成することができる。
【図面の簡単な説明】
【００１３】
【図１】本発明の実施の形態１によるメッセージシーケンス生成装置４１の構成を示すブロック図である。
【図２】本発明の実施の形態１によるハードウェアの構成図である。
【図３】本発明の実施の形態１によるメッセージシーケンス情報３１の例を示す図である。
【図４】本発明の実施の形態１による事象因果関係モデル３３の例を示す図である。
【図５】本発明の実施の形態１による機器・構成制御情報ＤＢ２００の例を示す図である。
【図６】本発明の実施の形態１による機器・構成制御情報現在値情報２０１の例を示す図である。
【図７】本発明の実施の形態１による要素・事象対応情報生成手段３５の動作を示すフローチャートである。
【図８】本発明の実施の形態１による要素・事象対応情報生成手段３５の動作を示すフローチャートである。
【図９】本発明の実施の形態１による要素・事象対応情報生成手段３５の動作を示すフローチャートである。
【図１０】本発明の実施の形態１による要素・事象対応情報生成手段３５の動作を示すフローチャートである。
【図１１】本発明の実施の形態１による要素・事象対応情報生成手段３５の動作を示すフローチャートである。
【図１２】本発明の実施の形態１によるエラー処理付加手段３７の動作を示すフローチャートである。
【図１３】本発明の実施の形態１によるエラー処理付加手段３７の動作を示すフローチャートである。
【図１４】本発明の実施の形態１によるエラー処理の情報の例を示す図である。
【図１５】本発明の実施の形態１によるエラー処理付加手段３７の動作を示すフローチャートである。
【図１６】本発明の実施の形態１によるエラー処理付加手段３７の動作を示すフローチャートである。
【図１７】本発明の実施の形態１によるエラー処理付加手段３７の動作を示すフローチャートである。
【図１８】本発明の実施の形態１によるエラー処理付加手段３７の動作を示すフローチャートである。
【図１９】本発明の実施の形態１によるエラー処理付加手段３７の動作を示すフローチャートである。
【図２０】本発明の実施の形態１の入力例を示す図である。
【図２１】本発明の実施の形態１による要素・事象対応情報生成手段３５のアクション設定処理の例を示す図である。
【図２２】本発明の実施の形態１による要素・事象対応情報生成手段３５の要素・事象対応付けの例を示す図である。
【図２３】本発明の実施の形態１によるエラー処理付加メッセージシーケンス情報４０の例である。
【図２４】本発明の実施の形態１によるエラー処理付加メッセージシーケンス情報４０の例である。
【図２５】本発明の実施の形態１による要素定義情報の例を示す図である。
【図２６】本発明の実施の形態１による事象定義情報の例を示す図である。
【図２７】本発明の実施の形態１による要素・事象対応定義情報の例を示す図である。
【図２８】本発明の実施の形態１によるアクション・事象対応定義情報の例を示す図である。
【図２９】本発明の実施の形態２によるメッセージシーケンス生成装置４４の構成を示すブロック図である。
【図３０】本発明の実施の形態２によるインスタンス抽象化事象因果関係モデルの例である。
【図３１】本発明の実施の形態２によるインスタンス抽象化事象因果関係モデル具体化手段の動作を示すフローチャートである。
【図３２】本発明の実施の形態２による事象因果関係モデルの例である。
【発明を実施するための形態】
【００１４】
＜Ａ．実施の形態１＞
＜Ａ−１．構成＞
図１は、本発明の実施の形態１によるメッセージシーケンス生成装置４１の構成を示すブロック図である。
【００１５】
図１に示すようにメッセージシーケンス生成装置４１は、メッセージシーケンス情報３１中に記述された各要素と、事象因果関係モデル３３中に記述された各事象とが取得される要素・事象対応情報生成手段３５を備える。
【００１６】
ここで、メッセージシーケンス情報３１は、通信プロトコル仕様を、メッセージシーケンス図を用いて示したものである。また、事象因果関係モデル３３は、エラー処理が必要な事象を含む複数の事象を、それらの因果関係とともに記述したものである。また、機器・構成制御情報ＤＢ（データベース）２００は、メッセージシーケンス情報３１の対象システムに含まれる機器情報とモード状態組合せ情報、モード状態遷移情報が記述されたものである。機器・構成制御情報現在値情報２０１は、機器・構成制御情報ＤＢ２００に含まれる項目のうち、対象システムが稼働中に変更される項目の現在値の情報が記述されたものである。
【００１７】
要素・事象対応情報生成手段３５には、アクション入力手段３４からアクションが入力され、要素・事象入力手段３６からイベントが入力される。
【００１８】
また、メッセージシーケンス生成装置４１は、要素・事象対応情報生成手段３５から要素・事象対応情報が入力される要素・事象対応情報記憶手段３８と、事象因果関係モデル３３のうちの、ある事象から生ずるエラー処理を導出するエラー処理導出手段３９と、機器・構成制御情報現在値情報２０１から機器・構成制御情報の現在値を取得する機器・構成制御情報現在値取得手段２０２と、要素・事象対応情報とエラー処理の情報とを、メッセージシーケンス情報３１に付加するエラー処理付加手段３７とを備える。エラー処理が付加されたメッセージシーケンス情報３１は、エラー処理付加メッセージシーケンス情報４０となる。
【００１９】
さらに、メッセージシーケンス生成装置４１は、要素・事象対応情報を出力する対応結果出力手段３２を備える。
【００２０】
ここで、メッセージシーケンス情報３１中の要素とは、メッセージシーケンス情報に示される、あらゆる動作、状態、それらの結果、過程を示すものであり、例えば、メッセージの送受信や内部アクション等である。また、二つの連続した要素の間も要素であるとする。例えば、あるインスタンスがメッセージを送信し、状態が「メッセージ送信」になるメッセージシーケンス情報があったとき、「メッセージ送信」と「状態（メッセージ送信）」も要素であるし、「メッセージ送信」要素と「状態(メッセージ送信)」の間も要素であるとする。これは、あるインスタンスがメッセージを送信したけれども、「状態（メッセージ送信）」になる前の結果を要素として扱えることを意味している。
【００２１】
また、アクション入力手段３４から入力されるアクションとは、事象因果関係モデル３３における各事象が発生した場合に実行される、所定の処理である。
【００２２】
図２は、メッセージシーケンス生成装置４１を実際に運用したときのハードウェアの構成を示したものである。図２では、図１中のメッセージシーケンス生成装置４１としてＰＣ１を備える。なおメッセージシーケンス生成装置４１は、ＰＣだけでなく例えば計算機一般を含めてもよい。
【００２３】
ＰＣ１には、演算を行うＣＰＵ２と、情報を記憶することができる記憶装置３と、マウスやキーボードなどのＰＣに対して入力を与える入力装置４と、ディスプレイ等の出力を行うことができる出力装置５とが含まれる。
【００２４】
図１における要素・事象対応情報生成手段３５、要素・事象対応情報記憶手段３８、エラー処理導出手段３９、エラー処理付加手段３７、機器・構成制御情報現在値取得手段２０２は、プログラムとして記憶装置３に格納され、ＣＰＵ２上で実行される。
【００２５】
また、アクション入力手段３４、要素・事象入力手段３６、エラー処理付加手段３７は、入力装置４によって、ユーザからの入力を得る。対応結果出力手段３２は、出力装置５によって、要素・事象対応情報を出力する。また、出力装置５によって、エラー処理付加メッセージシーケンス情報４０が出力される。
【００２６】
図３は、図１のメッセージシーケンス情報３１の例を示す図である。メッセージシーケンス情報３１では、時間軸が垂直で表され、上から下へ時間が流れる。
【００２７】
メッセージシーケンス情報で、メッセージの送受信の主体となるシステム、装置、システム内の機能は、インスタンスとよばれる。インスタンスは、インスタンス開始記号６１、インスタンス名６２、ライフライン６３、インスタンス終了記号６４から構成される。
【００２８】
インスタンスの名称は、インスタンス名６２によって示される。インスタンスの開始位置と終了位置は、それぞれインスタンス開始記号６１、インスタンス終了記号６４で示される。
【００２９】
インスタンス開始記号６１と、インスタンス終了記号６４とはライフライン６３で結ばれ、インスタンスの生存期間が示される。インスタンス間のメッセージのやり取りは、メッセージ記号６５によって示される。メッセージには方向が定義されており、メッセージの送信元と送信先が識別できる。また、メッセージの種類や名称は、メッセージ名６６によって示される。
【００３０】
タイマはタイマ記号６７で示され、名称や期間はタイマ情報６８によって示される。タイマのリセットはタイマリセット記号３００によって示され、タイマの発火はタイマ発火記号３０１によって示される。タイマの停止は、タイマ停止記号３０２によって示される。インスタンスの状態は状態記号６９によって示され、メッセージの送受信を伴わないインスタンスの内部アクションは、内部アクション記号７０によって示される。
【００３１】
インスタンス名６２、メッセージ名６６、タイマ情報６８の位置関係は、それぞれインスタンス開始記号６１、メッセージ記号６５、タイマ記号の関連が認識できれば、任意の場所においてもよい。また、オブジェクト終了記号６４を省略してもよい。
【００３２】
本発明におけるメッセージシーケンス情報３１は、図３に示すものに限らず、ＵＭＬ（Ｕｎｉｆｉｅｄ  Ｍｏｄｅｌｉｎｇ  Ｌａｎｇｕａｇｅ）で定められているメッセージシーケンス図や、ＩＴＵ−Ｔ（国際電気通信連合  電気通信標準化部門）の勧告Ｚ．１２０によるＭｅｓｓａｇｅ  Ｓｅｑｕｅｎｃｅ  Ｃｈａｒｔ（ＭＳＣ）等を用いてもよい。
【００３３】
図４は、図１の事象因果関係モデル３３を、ＦＴ（Ｆａｕｌｔ  Ｔｒｅｅ）図を例に用いて説明したものである。
【００３４】
事象因果関係モデル３３は、エラー処理等の非正常事象をあらわすトップ事象８１と、それらを発生させる事象との因果関係を論理記号を用いて、例えばツリー構造上に表現したものである。なお、事象間の因果関係を示す方法は、論理記号によるものに限るものではない。
【００３５】
トップ事象８１は、図の最上段に配置する。トップ事象８１の発生に関与する要因を、論理積８２や論理和８３を用いてツリー構造上に並べる。論理記号で結ばれた事象を中間事象８４とよび、さらに、これ以上分解できない事象を基本事象８５とよぶ。
【００３６】
図５（ａ）〜（ｃ）は、機器・構成制御情報ＤＢ２００の例である。機器・構成制御情報ＤＢ２００には、機器情報とモード状態組合せ情報、モード状態遷移情報が含まれる。
【００３７】
図５（ａ）に示す機器情報は、対象システムにどのような機器が含まれ、どのような名称とクラス及びＩＰアドレスが指定されているか、系切替発生時の優先度を記憶する。クラスには、メッセージシーケンス情報中のインスタンス名が指定される。
【００３８】
系切替優先度は、三重系以上の多重系システムにおいて、常用系に対し複数の待機系が存在している際に使用する。常用系に障害が発生して待機系に遷移し、一つの待機系が常用系に遷移する際に、複数の待機系からどの系が常用系に遷移するかは優先度を用いて決定する。本例では、数字が小さい優先度のものが優先的に常用系に遷移するとする。
【００３９】
図５（ｂ）に示すモード状態組合せ情報は、対象システムが冗長構成化されているとき、それぞれの系の運転モードの組合せを指定するものである。本例では、サーバ１とサーバ２が共に常用モード又は待機モードになること、保守モードと待機モードの組合せは不可であることを示している。また、常用モードと待機モード又は常用モードと保守モードの組合せは可能であることを示している。
【００４０】
図５（ｃ）に示すモード状態遷移情報は、常用モード、待機モード、保守モード間の状態遷移について示す情報である。
【００４１】
図６は図１の機器・構成制御情報現在値情報２０１の例である。機器・構成制御情報現在値情報２０１には、機器・構成制御情報ＤＢ２００に含まれる情報のうち、対象システムが実行中に変更される項目が含まれている。本例では、対象システムが実行中に変更される項目として、ＩＰアドレスと運転モード状態が機器・構成制御情報現在値情報に含まれている。サーバ１の現時点でのＩＰアドレスは１９２.１６８.０.３、運転モード状態は常用であることを示している。また、サーバ２の現時点でのＩＰアドレスは１９２.１６８.０.４、運転モード状態は待機であることを示している。機器・構成制御情報現在値情報２００は、実行中の機器の状態が変更されるたびに更新されるとする。
【００４２】
＜Ａ−２．動作＞
図７は、図１の要素・事象対応情報生成手段３５の動作を示すフローチャートである。要素・事象対応情報生成手段３５は、ステップＳＴ２０１において、メッセージシーケンス情報３１と事象因果関係モデル３３とを取得する。
【００４３】
次にステップＳＴ２０２において、事象因果関係モデル３３中の事象に、その事象の発生時のアクション（処理）を設定するアクション設定処理を行う。
【００４４】
次にステップＳＴ２０３において、メッセージシーケンス情報３１中の要素と、事象因果関係モデル３３中の事象とを対応付ける、要素・事象対応情報生成処理を行う。当該処理が終了すれば、動作を終了する。
【００４５】
＜Ａ−２−１．アクション設定＞
図８は、図７の要素・事象対応情報生成手段３５の、ステップＳＴ２０２の動作（各事象に対するアクション設定処理）を示すフローチャートである。
【００４６】
要素・事象対応情報生成手段３５は、ステップＳＴ２１０において、要素・事象入力手段３６からのイベントを順次受信する。ここでイベントとは、事象因果関係モデル３３中の事象、メッセージシーケンス情報３１中の要素を指定するもの、及び前記指定を終了するものである。
【００４７】
当該イベントにおいて、事象と要素とは、ユーザが任意に対応づけ可能である。但し、ハードウェアの故障等、通信プロトコルと関係なくメッセージシーケンス図中のあらゆる「要素」で発生しうる「事象」との対応は、「要素定義情報」、「事象定義情報」、「要素・事象対応定義情報」を利用して、メッセージシーケンス図中の全ての「要素」と自動的に対応づけすることも可能である。
【００４８】
また、パリティ検定違反など、任意のメッセージの受信で発生しうる「事象」は、「要素定義情報」、「事象定義情報」、「要素・事象対応定義情報」を利用して、メッセージの受信「要素」全てと自動的に対応づけることも可能である。
【００４９】
さらに、特定のグループのメッセージの受信「要素」、特定のグループの「内部アクション」と、「事象」とを、自動的に対応づけることも可能である。また、過去の履歴を用いて、要素と事象との対応づけを行うことも可能である。
【００５０】
ここで、「要素定義情報」とは、各要素が所属するグループを示す情報である。例えば、要素「選択メッセージ受信」は、グループ「メッセージ」に含まれ、かつ「選択制御メッセージ」に含まれる（図２５参照）。
【００５１】
また「事象定義情報」とは、各事象が所属するグループを示す情報である。例えば、事象「ＬＡＮ両系異常」は、グループ「故障」と「通信断」とに含まれ、事象「パリティ検定違反」はグループ「メッセージ不正」に含まれる（図２６参照）。
【００５２】
また「要素・事象対応定義情報」では、「事象」とそれに対応する要素を複数指定することができる（図２７参照）。
【００５３】
例えば、事象「ＬＡＮ両系異常」は、通信プロトコルとは関係なく任意の時点で発生しうるので、メッセージシーケンス情報中の全ての要素と対応付ける。よって、「事象定義情報」の対応要素として「Ａｌｌ（要素）」と指定する。これは、事象「ＬＡＮ両系異常」は、全ての要素と対応付けられることを意味している。対応要素には、具体的な要素名か要求定義情報のグループを指定する。
【００５４】
例えば、事象「パリティ検定違反」は、全てのメッセージを受信した際に発生しうるので、対応要素は全ての「メッセージ受信」要素となる。ここで論理式は、Ｓ１∩Ｓ２等といった対応要素を論理記号で結んだもので、細かな指定が可能となる。
【００５５】
要素・事象対応情報生成手段３５は、事象定義情報から事象とその対応要素（１〜ｎ）を取得する。続いて、対応要素１〜ｎに対応する要素を要素定義情報から取得する。取得した各要素のうち、論理式で評価したものと一致する要素をメッセージシーケンス情報から検索し、要素と事象とを対応付けることができる。
【００５６】
そして、ステップＳＴ２１１において、イベント判定を行い、終了イベントの場合には動作を終了し、終了イベント以外の場合はステップＳＴ２１２へ進む。
【００５７】
ステップＳＴ２１２では、ステップＳＴ２１０で受信したイベントで指定された事象因果関係モデル３３中の事象を記憶し、ステップＳＴ２１３へ進む。
【００５８】
ステップＳＴ２１３では、アクション入力手段３４によって入力された、ステップＳＴ２１２において記憶された事象に設定されるアクションを記憶し、ステップＳＴ２１４へ進む。
【００５９】
ステップＳＴ２１４では、ステップＳＴ２１２で記憶した事象に、ステップＳＴ２１３で記憶したアクションを設定し、ステップＳＴ２１０へ進む。順次イベントを受信し、それぞれのイベントが指定する事象にアクションを設定していき、全てのイベントについてアクションの設定が終了したら（すなわち、終了イベントに達したら）、動作を終了する。
【００６０】
なお、事象とアクションとは、ユーザが任意に対応づけ可能である。
【００６１】
ここで、一つの「アクション」を効率的に複数の「事象」と対応付けるため、上記の「事象定義情報」と「アクション・事象対応定義情報」とを利用することができる。
【００６２】
ここで「アクション・事象対応定義情報」とは、各「アクション」がどの「事象」に対応付けられるかを示す情報である。図２８に示すように、各「事象」毎に対応付けられる「事象」のグループを記述する。「要素・事象対応定義情報」と同様に、論理式も使用できる。
【００６３】
要素・事象対応情報生成手段３５は、「事象定義情報」から各「事象」情報を取得し、「アクション・事象対応定義情報」から、アクションと事象との対応情報を取得する。
【００６４】
続いて、事象因果関係モデル３３から各「アクション」に対応する「事象」を検索し、自動的に対応付ける。一つの事象に複数のアクションが設定された場合は、ユーザが設定したアクションを優先することができる。また、自動的に設定したアクションが複数あった場合は、ユーザに通知することができる。先に（または後に）設定したアクションを優先してもよい。
【００６５】
＜Ａ−２−２．要素・事象対応情報生成＞
図９は、図７の要素・事象対応情報生成手段３５のステップＳＴ２０３の動作（要素・事象対応情報生成処理）を示すフローチャートである。
【００６６】
要素・事象対応情報生成手段３５は、ステップＳＴ２２０で、メッセージシーケンス情報３１と事象因果関係モデル３３とを取得し、ステップＳＴ２２１へ進む。
【００６７】
ステップＳＴ２２１では、要素・事象入力手段３６からイベントを順次取得し、ステップＳＴ２２２へ進む。ここで取得するイベントは、ステップＳＴ２１０で受信したイベントとは独立に取得するものである。
【００６８】
ステップＳＴ２２２でイベント判定を行い、メッセージシーケンス情報３１中の要素に対するイベントであればステップＳＴ２２３へ進み、事象因果関係モデル３３中の事象に対するイベントであればステップＳＴ２２４へ進み、終了イベントの場合は動作を終了する。
【００６９】
ステップＳＴ２２３では、要素指定処理を行う。ステップＳＴ２２４では事象指定処理を行う。詳細については後述する。
【００７０】
図１０は、図７の要素・事象対応情報生成手段３５のステップＳＴ２２３の動作（要素指定処理）を示すフローチャートである。
【００７１】
要素・事象対応情報生成手段３５は、ステップＳＴ２６０で、ステップＳＴ２２１においてイベントに指定された要素を記憶し、ステップＳＴ２６１へ進む。
【００７２】
ステップＳＴ２６１では、要素・事象入力手段３６からイベントを取得し、ステップＳＴ２６２へ進む。ここで取得するイベントは、ステップＳＴ２２１において取得したイベントと同一のイベントである。
【００７３】
ステップＳＴ２６２では、イベント判定をし、メッセージシーケンス情報３１の要素に対するイベントの場合はステップＳＴ２６５へ進み、事象因果関係モデル３３の事象に対するイベントの場合はステップＳＴ２６３へ進む。
【００７４】
ステップＳＴ２６３では、ステップＳＴ２６１で取得したイベントにおいて指定された事象と、ステップＳＴ２６０で記憶した要素とを対応付け、ステップＳＴ２６４へ進む。
【００７５】
ステップＳＴ２６４では、ステップＳＴ２６３で対応付けた要素・事象対応情報を要素・事象対応情報記憶手段３８（記憶装置３）に記憶し、動作を終了する。
【００７６】
ステップＳＴ２６５では、ステップＳＴ２６０で記憶した要素を破棄し、ステップＳＴ２６１において指定された要素を記憶し、再びステップＳＴ２６１へ進む。
【００７７】
図１１は、図９の要素・事象対応情報生成手段３５のステップＳＴ２２４の動作（事象指定処理）を示すフローチャートである。
【００７８】
要素・事象対応情報生成手段３５は、ステップＳＴ２８０で、ステップＳＴ２２１においてイベントに指定された事象を記憶し、ステップＳＴ２８１へ進む。
【００７９】
ステップＳＴ２８１では、要素・事象入力手段３６からイベントを取得し、ステップＳＴ２８２へ進む。ここで取得するイベントは、ステップＳＴ２２１において取得したイベントと同一のイベントである。
【００８０】
ステップＳＴ２８２では、イベント判定を行い、事象因果関係モデル３３の事象に対するイベントの場合はステップＳＴ２８５へ進み、メッセージシーケンス情報３１の要素に対するイベントの場合はステップＳＴ２８３へ進む。
【００８１】
ステップＳＴ２８３では、ステップＳＴ２８１で取得したイベントにおいて指定された要素と、ステップＳＴ２８０で記憶した事象とを対応付け、記憶し、ステップＳＴ２８４へ進む。
【００８２】
ステップＳＴ２８４では、ステップＳＴ２８３の対応付けた要素・事象対応情報を要素・事象対応情報記憶手段３８（記憶装置３）に記憶し、動作を終了する。
【００８３】
ステップＳＴ２８５では、ステップＳＴ２８０で記憶した事象を破棄し、ステップＳＴ２８１において指定された事象を記憶し、再びステップＳＴ２８１へ進む。
【００８４】
＜Ａ−２−３．エラー処理付加＞
図１２は、図１のエラー処理付加手段３７の動作を示すフローチャートである。
【００８５】
エラー処理付加手段３７は、ステップＳＴ３００においてメッセージシーケンス情報３１を取得し、ステップＳＴ３０１へ進む。
【００８６】
次に、ステップＳＴ３０１では、要素・事象対応情報記憶手段３８から要素・事象対応情報を１つ、すなわち、１つの要素に対応する事象の情報を取得し、ステップＳＴ３０２へ進む。
【００８７】
ステップＳＴ３０２では、１つの要素に対応する要素・事象対応情報が取得できたかどうか判定し、取得できた場合はステップＳＴ３０３へ進み、取得できなかった場合は動作を終了する。
【００８８】
ステップＳＴ３０３では、ステップＳＴ３００において取得したメッセージシーケンス情報３１から、ステップＳＴ３０１において取得した１つの要素に関連する各インスタンスの状態を取得し、ステップＳＴ３０４へ進む。
【００８９】
ステップＳＴ３０４では、ステップＳＴ３０３で取得した各インスタンスの状態と、ステップＳＴ３０１で取得した、１つの要素の要素・事象対応情報とをエラー処理導出手段３９へ渡す。
【００９０】
一方ステップＳＴ３０５では、エラー処理導出手段３９から、ステップＳＴ３０１で取得した１つの要素に対応するエラー処理の情報を取得し、ステップＳＴ３０６へ進む。
【００９１】
ステップＳＴ３０６では、エラー処理付加メッセージシーケンス情報生成処理を行い、ステップＳＴ３０１へ進む。詳細は後述する。
【００９２】
図１３は、図１２におけるエラー処理付加手段３７のステップＳＴ３０６の動作（エラー処理付加メッセージシーケンス情報生成処理）を示すフローチャートである。
【００９３】
エラー処理付加手段３７は、ステップＳＴ４００において、ステップＳＴ３０１で取得した１つの要素が発生するまでのメッセージシーケンス情報３１を作業対象メッセージシーケンス情報として設定し、ステップＳＴ４０１へ進む。
【００９４】
ステップＳＴ４０１で、作業対象メッセージシーケンス情報に、ステップＳＴ３０１で取得した１つの要素の、対応する事象が発生した情報を付加し、ステップＳＴ４０２へ進む。
【００９５】
ステップＳＴ４０２では、エラー処理導出手段３９から、ステップＳＴ３０１で取得した１つの要素に対応する事象に起因するエラー処理の情報を取り出し、ステップＳＴ４０３へ進む。
【００９６】
ステップＳＴ４０３では、エラー処理の情報を取り出せたかどうか判定し、取り出せた場合はステップＳＴ４０４へ進み、取り出せなかった場合はステップＳＴ４０９へ進む。
【００９７】
ステップＳＴ４０４では、ステップＳＴ４０２で取得したエラー処理の情報に構成制御条件が設定されているか判定する。構成制御条件が設定されている場合はステップＳＴ４０５に進む。設定されていない場合はステップＳＴ４０６に進む。
【００９８】
ステップＳＴ４０５では、ステップＳＴ４００で取得した作業対象メッセージシーケンス情報に機器・構成制御情報を付加し、ステップＳＴ４０６へ進む。詳細については後述する。
【００９９】
ステップＳＴ４０６では、ステップＳＴ４０２で取得したエラー処理の情報に含まれるアクションの実行条件と構成制御条件をチェックし、ステップＳＴ４０７へ進む。
【０１００】
ステップＳＴ４０７では、ステップＳＴ４０６で取得したアクションの実行条件と構成制御条件が満たされているか判定する。実行条件が満たされている場合はステップＳＴ４０８へ進む。満たされていない場合はステップＳＴ４０９へ進む。
【０１０１】
ステップＳＴ４０８では、作業対象メッセージシーケンス情報にＳＴ４０２のアクションを付加してステップＳＴ４０２へ進む。
【０１０２】
ステップＳＴ４０９では、対応するエラー処理が付加された作業対象メッセージシーケンス情報を、エラー処理付加メッセージシーケンス情報４０として出力装置５に出力する。
【０１０３】
図１４は、エラー処理の情報の例を示す。エラー処理の情報は、実行される順に番号がつけられており、エラー処理に対応する事象名、その事象に設定されたアクション、実行条件、事象が発生する際の構成制御の条件が対応付けられている。
【０１０４】
本例では、事象名「系切替」、アクション「アクション１」が対応付けられており、その場合の実行条件は未設定、構成制御条件は「自モードが常用」かつ「相手モードが予備」であることを示している。
【０１０５】
図１５は、図１３におけるエラー処理付加手段３７のステップＳＴ４０５の動作（機器・構成制御情報付加処理）を示すフローチャートである。
【０１０６】
ステップＳＴ４２０において、対象システムの現在状態におけるメッセージシーケンス情報のみを生成するか、全ての組み合わせを出力するかを入力装置から指定する。その後、ステップＳＴ４２１へ進む。
【０１０７】
ステップＳＴ４２１では、イベント判定を行い、現在状態におけるメッセージシーケンス情報のみを出力する指令が与えられた場合は、ステップＳＴ４２２へ進む。全ての組み合わせを出力する指令を与えられた場合は、ステップＳＴ４２３へ進む。
【０１０８】
ステップＳＴ４２２では、現在状態における機器・構成制御情報付加メッセージシーケンス生成処理を行い、終了する。詳細については後述する。
【０１０９】
ステップＳＴ４２３では、全ての組合せにおける機器・構成制御情報を付加したメッセージシーケンスを生成する、機器・構成制御情報全組合せ付加メッセージシーケンス生成処理を行い、終了する。詳細については後述する。
【０１１０】
図１６は、図１５におけるエラー処理付加手段３７のステップＳＴ４２２の動作（現在状態における機器・構成制御情報付加メッセージシーケンス生成処理）を示すフローチャートである。
【０１１１】
ステップＳＴ４３０では、機器・構成制御情報ＤＢ２００から、系切替対象となるインスタンスを取得し、ステップＳＴ４３１へ進む。
【０１１２】
ステップＳＴ４３１では、機器・構成制御情報現在値取得手段から、系切替対象となるインスタンスの現在状態を取得し、ステップＳＴ４３２へ進む。
【０１１３】
ステップＳＴ４３２では、機器・構成制御情報現在値情報付加メッセージシーケンス情報生成処理を行い、終了する。詳細については後述する。
【０１１４】
図１７は、図１６におけるエラー処理付加手段３７のステップＳＴ４３２の動作（機器・構成制御情報現在値情報付加メッセージシーケンス情報生成処理）を示すフローチャートである。
【０１１５】
ステップＳＴ４５０では、ステップＳＴ４０１の作業対象メッセージシーケンス情報に、ステップＳＴ４３０で取得したインスタンスを付加し、ステップＳＴ４５１へ進む。
【０１１６】
ステップＳＴ４５１では、ステップＳＴ４５０で取得した系切替対象インスタンスを付加したメッセージシーケンス情報に、ステップＳＴ４３１で取得した各インスタンスの現在のード状態を付加し、終了する。
【０１１７】
図１８は、図１５におけるエラー処理付加手段３７のステップＳＴ４２３の動作（機器・構成制御情報全組合せ付加処理）を示すフローチャートである。
【０１１８】
ステップＳＴ４７０では機器・構成制御情報ＤＢ２００から、系切替対象となるインスタンスを取得し、ステップＳＴ４７１へ進む。
【０１１９】
ステップＳＴ４７１では、ステップＳＴ４０１の作業対象メッセージシーケンス情報にステップＳＴ４７０で取得したインスタンスを付加し、ステップＳＴ４７２へ進む。
【０１２０】
ステップＳＴ４７２では、機器・構成制御情報ＤＢ２００から、対象システムの各インスタンスが取りうるモード状態の全組み合わせを取得し、ステップＳＴ４７３へ進む。
【０１２１】
ステップＳＴ４７３では、ステップＳＴ４７２で取得したモード状態の組合せ分だけ作業対象メッセージシーケンス情報のコピーを作成し、ステップＳＴ４７４へ進む。
【０１２２】
ステップＳＴ４７４では、ステップＳＴ４７２で取得した取りうるモード状態の全組合せを満たすように、ステップＳＴ４７３のメッセージシーケンス情報の各インスタンスのモード状態を追加し、終了する。
【０１２３】
＜Ａ−２−４．エラー処理導出＞
図１９は、図１のエラー処理導出手段３９の動作を示すフローチャートである。
【０１２４】
エラー処理導出手段３９は、ステップＳＴ３５１において、エラー処理付加手段３７から指定された事象、すなわち、作業対象メッセージシーケンス情報の１つの要素に対応する事象を、作業対象事象として記憶しステップＳＴ３５２へ進む。
【０１２５】
ステップＳＴ３５２では、作業対象事象のアクションとその実行条件とを、要素・事象対応情報記憶手段３８から取得し、ステップＳＴ３５３へ進む。
【０１２６】
ステップＳＴ３５３で、それらが取得できたか判定し、取得できた場合はステップＳＴ３５４へ進み、取得できなかった場合はステップＳＴ３５５へ進む。
【０１２７】
ステップＳＴ３５４では、作業対象事象のアクションとその実行条件とを記憶し、ステップＳＴ３５５へ進む。
【０１２８】
ステップＳＴ３５５では、作業対象事象の上位事象が存在するかどうかチェックし、存在する場合はステップＳＴ３５６へ進み、存在しない場合はステップＳＴ３６０へ進む。
【０１２９】
ステップＳＴ３５６では、存在する上位事象が発生する条件をチェック（取得）し、ステップＳＴ３５７へ進む。
【０１３０】
ステップＳＴ３５７では、上位事象が発生する条件が系切替に関係するかどうか判定する。関係する場合はステップＳＴ３５９へ進む。関係しない場合はステップＳＴ３５８へ進む。
【０１３１】
ステップＳＴ３５８では、上位事象が発生するかどうかチェックし、発生する場合はステップＳＴ３５９へ進み、発生しない場合はステップＳＴ３６０へ進む。
【０１３２】
ステップＳＴ３５９では、上位事象を作業対象事象に設定し、ステップＳＴ３５２に進む。
【０１３３】
ステップＳＴ３６０では、記憶した作業対象事象のアクションとその実行条件とを、エラー処理の情報としてエラー処理付加手段３７に渡し、終了する。
【０１３４】
＜Ａ−３．動作例＞
図２０、図２１、図２２、図２３、図２４、図２５を用いて、実施の形態１の動作例を示す。
【０１３５】
図２０は、本発明の実施の形態１における入力例である。図２０（ａ）のメッセージシーケンス情報例においては、メッセージシーケンス情報のインスタンスは、上位システム、監視制御サーバ、監視制御端末装置の３つである。
【０１３６】
上位システムからの選択要求を受け、監視制御サーバは監視制御端末装置に選択要求を送信する。監視制御端末装置は「選択完了」状態に遷移し、監視制御サーバへ選択返信（ＯＫ）を送信する。監視制御サーバは「選択完了」状態に遷移し、上位システムに選択返信（ＯＫ）を送信する。上位システムは選択返信（ＯＫ）を受信すると、「選択完了」状態へと遷移する。メッセージの送信側は、メッセージの受信側からの返信をタイマによって管理する。一定期間返信が帰ってこない場合は、前記タイマが発火する。一方、返信が帰ってきた場合は、前記タイマをリセットする。
【０１３７】
同様に、上位システムからの制御要求を受け、監視制御サーバは監視端末装置へ制御要求を送信する。監視端末装置は制御要求を受信すると、「制御完了」状態へ遷移し、監視制御サーバへ制御返信（ＯＫ）を送信する。監視制御サーバは制御返信（ＯＫ）を受信すると状態を「制御完了」へと遷移し、上位システムへと制御返信（ＯＫ）を送信する。上位システムはそれを受け、「制御完了」へと状態を遷移する。
【０１３８】
図２０（ｂ）の事象因果関係モデル例において、エラー処理など非正常事象を表すトップ事象は選択復帰である。選択復帰は選択中の時にのみ、制御要求受信データ異常か選択復帰要求か系切替によって発生する。さらに制御要求受信データ異常は、パリティ検定違反か不正データエラーによって発生する。また、系切替は自インスタンスの運転モードが常用で、かつ相手系の運転モードが待機の時に、重故障発生によって生じる。重故障発生は、構内ＬＡＮ両系断か、電源異常によって発生する。
【０１３９】
図２１は、本発明の実施の形態１における要素・事象対応情報生成手段３５のアクション設定処理（ステップＳＴ２０２参照）の例である。イベントにおいて、選択復帰、系切替、重故障発生がそれぞれ指定されているとする。
【０１４０】
トップ事象である選択復帰には、次のようなアクション１を設定する。
【０１４１】
アクション１は、モード状態が常用である監視制御サーバが監視制御端末装置に選択復帰要求を送信し、その選択復帰要求に対する選択復帰返信を受信することで、常用の監視制御サーバは状態を「無選択」へと遷移する。続いて常用の監視制御サーバは、上位システムへ選択復帰返信を送信し、上位システムはその選択復帰返信を受信することで「無選択」へと状態を遷移する、というものである。
【０１４２】
中間事象である系切替には、次のようなアクション２を設定する。
【０１４３】
アクション２は、監視制御サーバにおいて稼働中のタイマｔ３がリセットされることと、上位システムにおいて、稼働中のタイマｔ４がリセットされることを示している。
【０１４４】
アクション３は、監視制御サーバにおいて要素「重故障発生」が起こることを示している。
【０１４５】
図２２は、本発明の実施の形態１における要素・事象対応情報生成手段３５の要素・事象対応情報生成処理の例である。
【０１４６】
メッセージシーケンス情報３１における、監視制御サーバがタイマｔ４を開始した後の要素と、事象因果関係モデル３３における、「重故障発生」事象とを対応付けている。
【０１４７】
本発明の実施の形態１におけるエラー処理付加手段３７及びエラー処理導出手段３９の動作例について述べる。
【０１４８】
まず、エラー処理付加手段３７は、ステップＳＴ３０１において、要素・事象対応情報記憶手段３８から要素・事象対応情報を１つ、すなわち、１つの要素に対応する事象の情報を取得する。本例では、監視制御サーバがタイマｔ４を開始した後における要素と、「重故障発生」事象との対応情報を取得する（図２２参照）。
【０１４９】
ステップＳＴ３０３において、ステップＳＴ３００において取得したメッセージシーケンス情報３１から、ステップＳＴ３０２において取得した１つの要素に関連する各インスタンスの状態を取得する。本例では、上位システム、監視制御サーバ、監視端末装置の状態は「選択完了」である。
【０１５０】
ステップＳＴ３０４では、ステップＳＴ３０３で取得した各インスタンスの状態と、ステップＳＴ３０１で取得した、１つの要素の要素・事象対応情報とをエラー処理導出手段３９へ渡す。
【０１５１】
一方、エラー処理導出手段３９は、ステップＳＴ３５１においてエラー処理付加手段３７から指定された事象、すなわち、作業対象メッセージシーケンス情報の１つの要素に対応する事象を、作業対象事象として記憶する。本例では、監視制御サーバがタイマｔ３を開始した後の要素と、「重故障発生」事象との要素・事象対応情報を取得しているため、作業対象事象は「重故障発生」事象となる。
【０１５２】
ステップＳＴ３５２で、作業対象事象のアクションとその実行条件とを、要素・事象対応情報記憶手段３８から取得する。本例では、図２１で示したアクション３が設定されている。なお、実行条件は未設定である。
【０１５３】
ステップＳＴ３５４で、作業対象事象のアクションと実行条件とを記憶し、ステップＳＴ３５５で、作業対象事象の上位事象が存在するかチェックする。本例では、上位事象として中間事象「系切替」が存在するので、ステップＳＴ３５６へ進む。
【０１５４】
ステップＳＴ３５６では、上位事象が発生する条件をチェックし、ステップＳＴ３５７へ進む。本例では、自系のモード状態が常用で、かつ相手系のモード状態が待機のときに系切替が発生する。
【０１５５】
ステップＳＴ３５７では、上位事象が発生する条件が系切替に関係するかどうか判定する。本例では系切替に関係するので、ステップＳＴ３５９へ進む。
【０１５６】
ステップＳＴ３５９では、上位事象「系切替」を作業対象事象に設定し、ＳＴ３５２へ進む。
【０１５７】
ステップＳＴ３５２において、作業対象事象は「系切替」で、そのアクションはアクション２である。なお、アクション２の実行条件は未設定である。ＳＴ３５３、ステップＳＴ３５４を経て、作業対象事象「系切替」のアクション２を取得し、ステップＳＴ３５５へ進む。ステップＳＴ３５５では、作業対象事象「系切替」の上位事象が存在するか調べる。本例では、上位事象として選択復帰が存在するため、ステップＳＴ３５６へ進む。
【０１５８】
ステップＳＴ３５６では、上位事象である選択復帰が発生する条件をチェックし、ステップＳＴ３５７へ進む。選択復帰が発生する条件は、選択中のとき系切替が発生したときである。本例では監視制御サーバの状態は選択中であるため、選択復帰が発生する。
【０１５９】
ステップＳＴ３５７では上位事象が発生する条件が系切替に関係するかどうか判定する。本例では関係が無いため、ステップＳＴ３５８へ進む。ステップＳＴ３５８では、上位事象が発生するかどうか判定する。本例では上位事象である選択復帰が発生するので、ステップＳＴ３５９へ進む。
【０１６０】
ステップＳＴ３５９では、上位事象である選択復帰を作業対象事象に設定し、ステップＳＴ３５２へ進む。
【０１６１】
ステップＳＴ３５２では作業対象事象である選択復帰のアクションと実行条件を取得し、ステップＳＴ３５３へ進む。本例では選択復帰のアクションはアクション１である。実行条件は未設定である。
【０１６２】
ステップＳＴ３５３、ステップＳＴ３５４を経て、ステップＳＴ３５５に進む。ステップＳＴ３５５では、作業対象事象の上位事象が存在するかどうかを判定する。本例では、選択復帰の上位事象が存在しないので、ステップＳＴ３６０へ進む。
【０１６３】
ステップＳＴ３６０において、記憶した事象のアクションと実行条件とを、エラー処理としてエラー処理付加手段３７に渡す。本例では、事象に設定されたアクション３、及び、当該事象に起因して生じるアクション２と１を記憶している。
【０１６４】
さらに、エラー処理付加手段３７は、ステップＳＴ４０１で、ステップＳＴ３０１で取得した１つの要素が発生するまでの作業対象メッセージシーケンス情報に、対応する事象が発生した情報を付加する。本例では、監視制御サーバがタイマｔ３を開始した後の要素で事象「重故障発生」が発生した情報を付加する。
【０１６５】
続いて、ステップＳＴ４０２で、エラー処理導出手段３９が記憶したエラー処理を取り出す。具体的には、事象に設定されたアクションと、当該事象に起因して生じたアクションとを、記憶した順に取り出す。
【０１６６】
本例では、まずアクション３を取り出して、ステップＳＴ４０４へ進む。ステップＳＴ４０４では、エラー処理の中に構成制御条件が設定されているかどうかを判定する。アクション３では設定されていないので、ステップＳＴ４０６へ進む。本例では、アクション３の実行条件が設定されていないので、ステップＳＴ４０８へ進む。
【０１６７】
ステップＳＴ４０８では、作業対象メッセージシーケンス情報にステップＳＴ４０２のアクションを付加してステップＳＴ４０２へ進む。本例では、監視制御サーバで重故障が発生したアクション３を付加する。
【０１６８】
ステップＳＴ４０２では、アクション２を取り出し、ステップＳＴ４０４へ進む。
【０１６９】
ステップＳＴ４０４では構成制御条件が設定されているか判定する。アクション２は構成制御条件が設定されているため、ステップＳＴ４０５の機器・構成制御情報付加処理へ進む。
【０１７０】
ステップＳＴ４０５の詳細フローチャートにおいて、ステップＳＴ４２０で、対象システムの現在状態における、メッセージシーケンス情報のみを生成するか、すべての組み合わせを出力するかを指定する。
【０１７１】
全ての組み合わせを出力する場合は、ステップＳＴ４２３へ進む。
【０１７２】
ステップＳＴ４２３の詳細フローチャートにおいて、ステップＳＴ４７０で機器・構成制御情報ＤＢから、系切替対象となるインスタンスを取得し、ＳＴ４７１へ進む。本例では、監視制御サーバである。
【０１７３】
ステップＳＴ４７１では、ステップＳＴ４０１の作業対象メッセージシーケンス情報に、ステップＳＴ４７０で取得したインスタンスを付加し、ステップＳＴ４７２へ進む。本例では、監視制御を付加し、機器・構成制御情報ＤＢから、従来からある監視制御サーバを監視制御サーバ１、追加した監視制御サーバを監視制御サーバ２とする。
【０１７４】
ステップＳＴ４７２では、機器・構成制御情報ＤＢから、取りうるモード状態の全組合せを取得し、ステップＳＴ４７３へ進む。本例では、（サーバ１、サーバ２）＝（常用、待機）、（常用、保守）、（待機、常用）、（保守、待機）の４パターンである。
【０１７５】
ステップＳＴ４７３へでは、ステップＳＴ４７２で取得したモード状態の組合せ分だけ作業対象メッセージシーケンス情報コピーを作成し、ステップＳＴ４７４へ進む。本例では、作業対象メッセージシーケンス情報コピーを４つ作成する。
【０１７６】
ステップＳＴ４７４では、ステップＳＴ４７２で取得した取りうるモード状態の全組合せを満たすように、ステップＳＴ４７３のメッセージシーケンス情報の各インスタンスのモード状態を追加し、ステップＳＴ４０６へ進む。本例では、ステップＳＴ４７２で取得したサーバ１、サーバ２が取りうるモード状態をそれぞれのコピーに追加する。
【０１７７】
ステップＳＴ４０６では、ステップＳＴ４０８において、アクション２を作業対象メッセージシーケンス情報に付加する。このとき、ステップＳＴ４７３で作成した各コピーに対して、構成制御条件を満たすコピーに対しては、アクション２を付加する。満たさないコピーに対しては、ステップＳＴ４０９へ進む。
【０１７８】
以下同様に、アクション１を取り出し、アクション２を付加したステップＳＴ４７３のコピーに対してはアクション１を付加する。
【０１７９】
図２３は、監視制御サーバ１が常用モードで、監視制御サーバ２が待機モードである場合のエラー処理付加メッセージシーケンス情報４０である。一方、図２４は監視制御サーバ１が常用モードで、監視制御サーバ２が保守モードである場合のエラー処理付加メッセージシーケンス情報４０である。
【０１８０】
図２３では、系切替が発生し、系切替の上位事象である選択復帰のアクションが付加されている。一方、図２４では、系切替が発生しないため、その上位事象である選択復帰のアクションは付加されていない。
【０１８１】
ステップＳＴ４２０において、機器・構成制御情報の現在情報のみを生成する場合、ＳＴ４２２へ進む。
【０１８２】
ステップＳＴ４２２の詳細フローチャートであるステップＳＴ４３０において、機器・構成制御情報ＤＢから、系切替対象となるインスタンスを取得し、ステップＳＴ４３１へ進む。本例では、監視制御サーバである。
【０１８３】
ステップＳＴ４３１では、機器・構成制御情報現在値取得手段から、系切替対象となるインスタンスの現在状態を取得し、ステップＳＴ４３２へ進む。
【０１８４】
ステップＳＴ４３２の詳細フローチャートであるステップＳＴ４５０において、ステップＳＴ４０１の作業対象メッセージシーケンス情報にステップＳＴ４３０で取得したインスタンスを付加し、ステップＳＴ４５１へ進む。本例では、監視制御サーバを付加する。
【０１８５】
ステップＳＴ４５１では、ステップＳＴ４５０で取得した系切替対象インスタンスを付加したメッセージシーケンスに、ＳＴ４３１で取得した各インスタンスの現在のモード状態を付加する。本例において、監視制御サーバ１、監視制御サーバ２のモード状態がそれぞれ常用、保守の場合のエラー処理付加メッセージシーケンス情報４０が図２４である。現在状態以外のモード状態におけるエラー処理付加メッセージシーケンス情報４０は生成されない。
【０１８６】
上述の構成とすることで、機器・構成制御現在値情報から機器の状態の現在値を機器・構成制御情報現在値取得手段が取得し、現在の多重系システムの運転状態におけるエラー処理付加メッセージシーケンス情報のみを生成する。これにより、現在の多重系システムの運転状態からは発生することが無いエラー処理付加メッセージシーケンス情報を抑制することができる。
【０１８７】
＜Ａ−４．効果＞
本発明の実施の形態１にかかるメッセージシーケンス生成方法によれば、（ａ）メッセージシーケンス図を用いた通信プロトコルの正常時処理について示すメッセージシーケンス情報をデータ処理のために準備する工程と、（ｂ）インスタンスのモード切替えを伴う事象と、エラー処理が必要な事象とについて因果関係とともに記述した事象因果関係モデルをデータ処理のために準備する工程と、（ｃ）インスタンスのモード情報を含む機器・構成制御情報と、機器・構成制御情報の現在値とをデータベースに記憶する工程と、（ｄ）事象因果関係モデルにおける特定の事象に対し、当該事象が生じた場合に行うアクションを設定する工程と、（ｅ）メッセージシーケンス情報の各要素と、各事象とを対応付け、要素・事象対応情報を生成する工程と、（ｆ）要素・事象対応情報を記憶装置に記憶する工程と、（ｇ）要素・事象対応情報から、各要素に対応する各事象及び当該事象に起因して生じる事象にそれぞれ設定されたアクションを取得し、エラー処理として各要素に付加する工程と、（ｈ）メッセージシーケンス情報が対象とするシステムの現在のモード状態におけるメッセージシーケンス情報を生成する工程とを備え、コンピュータによるデータ処理によって各工程を実行するので、事象因果関係モデルにより事象間の因果関係を考慮しつつ系切替が伴う場合を含むエラー処理を付加することができるので、効率的にエラー処理付加メッセージシーケンス図を生成することができる。
【０１８８】
また、
本発明の実施の形態１にかかるメッセージシーケンス生成装置によれば、（メッセージシーケンス図を用いた通信プロトコルの正常時処理について示すメッセージシーケンス情報と、インスタンスのモード切替えを伴う事象と、エラー処理が必要な事象とについて因果関係とともに記述した事象因果関係モデルと、インスタンスのモード情報を含む機器・構成制御情報と、機器・構成制御情報の現在値とを記憶するデータベースと、事象因果関係モデルにおける特定の事象に対し、当該事象が生じた場合に行うアクションを設定する設定手段と、メッセージシーケンス情報の各要素と、各事象とを対応付け、要素・事象対応情報を生成する対応情報生成手段と、要素・事象対応情報を記憶する記憶手段と、要素・事象対応情報から、各要素に対応する各事象及び当該事象に起因して生じる事象にそれぞれ設定されたアクションを取得し、エラー処理として各要素に付加する付加手段と、メッセージシーケンス情報が対象とするシステムの現在のモード状態におけるメッセージシーケンス情報を生成する情報生成手段とを備えるので、事象因果関係モデルにより事象間の因果関係を考慮しつつ系切替が伴う場合を含むエラー処理を付加することができるので、効率的にエラー処理付加メッセージシーケンス図を生成することができる。
【０１８９】
さらに、事象因果関係モデルにより事象間の因果関係を考慮しつつ系切替が伴う場合を含むエラー処理において、メッセージシーケンス情報が対象とするシステムの現在のモード状態におけるエラー処理を付加することができるので、効率的にエラー処理付加メッセージシーケンス図を生成することができる。
【０１９０】
＜Ｂ．実施の形態２＞
＜Ｂ−１．構成＞
図２９は、本発明の実施の形態によるメッセージシーケンス生成装置４４の構成を示すブロック図である。ブロック図の構成要素のうち、インスタンス抽象化事象因果関係モデル３０３、インスタンス抽象化事象因果関係モデル具体化手段以外は、実施の形態１と同様の構成であるので、詳細な説明は省略する。
【０１９１】
図３０は、インスタンス抽象化事象因果関係モデルの例を示す。実施の形態１の事象因果関係モデル３３では、系切替の条件を具体的な各インスタンスの情報を用いて記述する必要があった。図２０の事象因果関係モデル３３の例では、系切替が発生する条件を自系と他系のインスタンスを具体的に用いて記述する必要があった。
【０１９２】
図３０において、系切替発生条件における他系のインスタンスを、「他系X」として抽象化して記述してある。
【０１９３】
インスタンス抽象化事象因果関係モデルにより、三重構成以上の多重系システムに関係する系切替条件を容易に記述することができる。
【０１９４】
図３１は、インスタンス抽象化事象因果関係モデル具体化手段の動作を示すフローチャートである。ステップＳＴ５００にて、インスタンス抽象化事象因果関係モデルの事象を一つ取得し、ステップＳＴ５０１へ進む。
【０１９５】
ステップＳＴ５０１にて、ステップＳＴ５００の事象が取得できたか判定する。取得できた場合はステップＳＴ５０２へ進む。取得できなかった場合は、ＳＴ５０７へ進む。
【０１９６】
ステップＳＴ５０２では、ステップＳＴ５００の事象が抽象化インスタンスに関係する事象か判定する。関係する場合はステップＳＴ５０３へ進む。関係ない場合はステップＳＴ５００へ進む。抽象化インスタンスに関係する事象かどうかは、モード状態が記載されている事象のインスタンスが、具体的なインスタンス名であるかどうかで判別する。
【０１９７】
ステップＳＴ５０３では、機器・構成制御情報現在値取得手段から、各インスタンスのモード状態を取得し、ステップＳＴ５０４へ進む。本例では、サーバ１のモード状態は常用、サーバ２のモード状態は待機である（図６参照）。
【０１９８】
ステップＳＴ５０４では、機器・構成制御情報ＤＢから、系切替優先度を取得してステップＳＴ５０５へ進む。本例では、サーバ１の系切替優先度は１で、サーバ２の系切替優先度は２である。
【０１９９】
ステップＳＴ５０５では、抽象化インスタンスを置換するインスタンスを検索し、ステップＳＴ５０６へ進む。本例では、現在待機系である監視制御サーバはサーバ２のみであるため、サーバ２が取得される。複数の待機系が存在している場合は、最も系切替優先度が高い待機系が取得される。
【０２００】
ステップＳＴ５０６にて、ステップＳＴ５００で取得した抽象化インスタンスをステップＳＴ５０５で取得したインスタンスで置換し、ステップＳＴ５００へ進む。本例では、他系Xはサーバ２で置換される。
【０２０１】
ステップＳＴ５０７では、エラー処理導出手段に抽象化インスタンスが具体的なインスタンスで置換された事象因果関係モデルを渡す。
【０２０２】
図３２は、本発明の実施の形態２により生成された、事象因果関係モデルの例である。インスタンス化抽象事象因果関係モデル中の事象「他系X:待機モード」が、「監視制御サーバ２:待機モード」と、対象システムの現在状態において、適切な具体的なインスタンスにより抽象化インスタンスが置換されている。
【０２０３】
＜Ｂ−４．効果＞
本発明の実施の形態２のメッセージシーケンス生成方法によれば、（ａ）メッセージシーケンス図を用いた通信プロトコルの正常時処理について示すメッセージシーケンス情報をデータ処理のために準備する工程と、（ｂ）インスタンスのモード切替えを伴う事象と、エラー処理が必要な事象とについて因果関係とともに記述した事象因果関係モデルをデータ処理のために準備する工程と、（ｃ）インスタンスのモード情報を含む機器・構成制御情報と、機器・構成制御情報の現在値とをデータベースに記憶する工程と、（ｄ）事象因果関係モデルにおける特定の事象に対し、当該事象が生じた場合に行うアクションを設定する工程と、（ｅ）メッセージシーケンス情報の各要素と、各事象とを対応付け、要素・事象対応情報を生成する工程と、（ｆ）要素・事象対応情報を記憶装置に記憶する工程と、（ｇ）要素・事象対応情報から、各要素に対応する各事象及び当該事象に起因して生じる事象にそれぞれ設定されたアクションを取得し、エラー処理として各要素に付加する工程と、（ｈ）メッセージシーケンス情報が対象とするシステムの現在のモード状態におけるメッセージシーケンス情報を生成する工程と、（ｉ）機器・構成制御情報と、機器・構成制御情報の現在値と、事象因果関係モデルとからインスタンスのモード切替発生条件を記述した事象因果関係モデルを生成する工程とを備えたので、具体的なインスタンスに関係する系切替発生条件を記述した事象因果関係モデルを生成することができる。
【０２０４】
また、本発明の実施の形態２のメッセージシーケンス生成装置によれば、メッセージシーケンス図を用いた通信プロトコルの正常時処理について示すメッセージシーケンス情報と、インスタンスのモード切替えを伴う事象と、エラー処理が必要な事象とについて因果関係とともに記述した事象因果関係モデルと、インスタンスのモード情報を含む機器・構成制御情報と、機器・構成制御情報の現在値とを記憶するデータベースと、事象因果関係モデルにおける特定の事象に対し、当該事象が生じた場合に行うアクションを設定する設定手段と、メッセージシーケンス情報の各要素と、各事象とを対応付け、要素・事象対応情報を生成する対応情報生成手段と、要素・事象対応情報を記憶する記憶手段と、要素・事象対応情報から、各要素に対応する各事象及び当該事象に起因して生じる事象にそれぞれ設定されたアクションを取得し、エラー処理として各要素に付加する付加手段と、メッセージシーケンス情報が対象とするシステムの現在のモード状態におけるメッセージシーケンス情報を生成する情報生成手段と、機器・構成制御情報と、機器・構成制御情報の現在値と、事象因果関係モデルとからインスタンスのモード切替発生条件を記述した事象因果関係モデルを生成するモデル生成手段とを備えたので、具体的なインスタンスに関係する系切替発生条件を記述した事象因果関係モデルを生成することができる。
【０２０５】
さらに、事象因果関係モデルにより事象間の因果関係を考慮しつつ系切替が伴う場合を含むエラー処理において、メッセージシーケンス情報が対象とするシステムの現在のモード状態におけるエラー処理を付加することができるので、効率的にエラー処理付加メッセージシーケンス図を生成することができる。
【符号の説明】
【０２０６】
１  ＰＣ、２  ＣＰＵ、３  記憶装置、４  入力装置、５  出力装置、３１，４００  メッセージシーケンス情報、３２  対応結果出力手段、３３  事象因果関係モデル、３４  アクション入力手段、３５  要素・事象対応情報生成手段、３６  要素・事象入力手段、３７，４２  エラー処理付加手段、３８  要素・事象対応情報記憶手段、３９，４５  エラー処理導出手段、４０  エラー処理付加メッセージシーケンス情報、４１，４４  メッセージシーケンス生成装置、６１  インスタンス開始記号、６２  インスタンス名、６３  ライフライン、６４  インスタンス終了記号、６５  メッセージ記号、６６  メッセージ名、６７  タイマ記号、６８  タイマ情報、６９  状態記号、７０  内部アクション記号、８１  トップ事象、８２  論理積、８３  論理和、８４  中間事象、８５  基本事象、３００  タイマリセット記号、３０１  タイマ発火記号、３０２  タイマ停止記号、３０３  インスタンス抽象化事象因果関係モデル、３０４  インスタンス抽象化事象因果関係モデル具体化手段。
【図１】
2014060595.tif 000003
【図２】
2014060595.tif 000004
【図３】
2014060595.tif 000005
【図４】
2014060595.tif 000006
【図５】
2014060595.tif 000007
【図６】
2014060595.tif 000008
【図７】
2014060595.tif 000009
【図８】
2014060595.tif 000010
【図９】
2014060595.tif 000011
【図１０】
2014060595.tif 000012
【図１１】
2014060595.tif 000013
【図１２】
2014060595.tif 000014
【図１３】
2014060595.tif 000015
【図１４】
2014060595.tif 000016
【図１５】
2014060595.tif 000017
【図１６】
2014060595.tif 000018
【図１７】
2014060595.tif 000019
【図１８】
2014060595.tif 000020
【図１９】
2014060595.tif 000021
【図２０】
2014060595.tif 000022
【図２１】
2014060595.tif 000023
【図２２】
2014060595.tif 000024
【図２３】
2014060595.tif 000025
【図２４】
2014060595.tif 000026
【図２５】
2014060595.tif 000027
【図２６】
2014060595.tif 000028
【図２７】
2014060595.tif 000029
【図２８】
2014060595.tif 000030
【図２９】
2014060595.tif 000031
【図３０】
2014060595.tif 000032
【図３１】
2014060595.tif 000033
【図３２】
2014060595.tif 000034