aメッセージシーケンス図を用いた、通信プロトコルの正常時処理について示すメッセージシーケンス情報31をデータ処理のために準備する工程と、bエラー処理が必要な事象を含む複数の前記事象について、それらの因果関係とともに記述した、事象因果関係モデル33をデータ処理のために準備する工程と、c前記事象因果関係モデル33における特定の前記事象に対し、当該事象が生じた場合に行うアクションを設定する工程と、d前記メッセージシーケンス情報の各要素と、各前記事象とを対応付け、要素事象対応情報を生成する工程と、e前記要素事象対応情報を記憶装置に記憶する工程と、f前記要素事象対応情報から、各前記要素に対応する各前記事象及び当該事象に起因して生じる事象にそれぞれ設定された前記アクションを取得し、エラー処理として各前記要素に付加する工程とを備え、コンピュータによるデータ処理によって前記各工程を実行することを特徴とする、メッセージシーケンス生成方法。前記工程bが、前記因果関係について、論理記号を用いて記述した前記事象因果関係モデル33をデータ処理のために準備する工程であることを特徴とする、請求項1に記載のメッセージシーケンス生成方法。前記工程bが、前記事象として、1又は複数の基本事象85と、当該基本事象85に起因して生じるエラー事象81、84とを記述した、前記事象因果関係モデル33をデータ処理のために準備する工程であることを特徴とする、請求項1又は2に記載のメッセージシーケンス生成方法。前記工程fが、前記メッセージシーケンス情報31における各インスタンスの状態に基づいて、前記エラー処理を付加する工程であることを特徴とする、請求項1又は2に記載のメッセージシーケンス生成方法。h前記メッセージシーケンス情報31における、各インスタンスのモード情報を含む機器構成制御情報を記憶する工程をさらに備え、前記工程bが、各前記インスタンスのモードを伴う事象の記述を含む、前記事象因果関係モデル33をデータ処理のために準備する工程であり、前記工程fが、記憶された前記機器構成制御情報から、モードを伴う前記事象及び当該事象に起因して生じる事象にそれぞれ設定された前記アクションを取得し、エラー処理として対応する各前記要素に付加する工程であることを特徴とする、請求項1又は2に記載のメッセージシーケンス生成方法。前記メッセージシーケンス図には、メッセージの送受信や内部アクション、タイマの発火を、いずれか少なくとも一つ含むことを特徴とする、請求項1又は2に記載のメッセージシーケンス生成方法。前記工程dにおいて、各前記要素が所属するグループを示す要素定義情報と、各事象が所属するグループを示す事象定義情報を用いて、各前記要素に対応するグループの事象を自動的に対応付けることを特徴とする、請求項1又は2に記載のメッセージシーケンス生成方法。メッセージシーケンス図を用いた、通信プロトコルの正常時処理について示すメッセージシーケンス情報31と、エラー処理が必要な事象を含む複数の前記事象について、それらの因果関係とともに記述した、事象因果関係モデル33とに基づいてメッセージシーケンスを生成する装置であって、前記事象因果関係モデル33における特定の前記事象に対し、当該事象が生じた場合に行うアクションを設定する設定手段35と、前記メッセージシーケンス情報の各要素と、各前記事象とを対応付け、要素事象対応情報を生成する生成手段35と、前記要素事象対応情報を記憶する記憶手段38と、前記要素事象対応情報から、各前記要素に対応する各前記事象及び当該事象に起因して生じる事象にそれぞれ設定された前記アクションを、エラー処理として各前記要素に付加する付加手段37とを備えることを特徴とする、メッセージシーケンス生成装置。しかし特許文献1に示す方法では、メッセージの種類や状態数が多い場合、記述すべきルールの数が多くなってしまい、非正常仕様を記述したメッセージシーケンス図を効率的に生成することができないという問題があった。また特許文献2に示す方法では、正常仕様を表すメッセージシーケンス図に対して非正常仕様を付加合成する手段が開示されていない。このため、非正常仕様を付加したメッセージシーケンス図を生成することができないという問題があった。本発明は、上記のような問題を解決するためになされたものであり、エラー処理を付加したメッセージシーケンスを効率的に生成可能な、メッセージシーケンス生成方法及びメッセージシーケンス生成装置を提供することを目的とする。本発明にかかるメッセージシーケンス生成方法は、aメッセージシーケンス図を用いた、通信プロトコルの正常時処理について示すメッセージシーケンス情報をデータ処理のために準備する工程と、bエラー処理が必要な事象を含む複数の前記事象について、それらの因果関係とともに記述した、事象因果関係モデルをデータ処理のために準備する工程と、c前記事象因果関係モデルにおける特定の前記事象に対し、当該事象が生じた場合に行うアクションを設定する工程と、d前記メッセージシーケンス情報の各要素と、各前記事象とを対応付け、要素事象対応情報を生成する工程と、e前記要素事象対応情報を記憶装置に記憶する工程と、f前記要素事象対応情報から、各前記要素に対応する各前記事象及び当該事象に起因して生じる事象にそれぞれ設定された前記アクションを取得し、エラー処理として各前記要素に付加する工程とを備え、コンピュータによるデータ処理によって前記各工程を実行することを特徴とする。また、本発明にかかるメッセージシーケンス生成装置は、メッセージシーケンス図を用いた、通信プロトコルの正常時処理について示すメッセージシーケンス情報と、エラー処理が必要な事象を含む複数の前記事象について、それらの因果関係とともに記述した、事象因果関係モデルとに基づいてメッセージシーケンスを生成する装置であって、前記事象因果関係モデルにおける特定の前記事象に対し、当該事象が生じた場合に行うアクションを設定する設定手段と、前記メッセージシーケンス情報の各要素と、各前記事象とを対応付け、要素事象対応情報を生成する生成手段と、前記要素事象対応情報を記憶する記憶手段と、前記要素事象対応情報から、各前記要素に対応する各前記事象及び当該事象に起因して生じる事象にそれぞれ設定された前記アクションを、エラー処理として各前記要素に付加する付加手段とを備えることを特徴とする。本発明にかかるメッセージシーケンス生成方法によれば、aメッセージシーケンス図を用いた、通信プロトコルの正常時処理について示すメッセージシーケンス情報をデータ処理のために準備する工程と、bエラー処理が必要な事象を含む複数の前記事象について、それらの因果関係とともに記述した、事象因果関係モデルをデータ処理のために準備する工程と、c前記事象因果関係モデルにおける特定の前記事象に対し、当該事象が生じた場合に行うアクションを設定する工程と、d前記メッセージシーケンス情報の各要素と、各前記事象とを対応付け、要素事象対応情報を生成する工程と、e前記要素事象対応情報を記憶装置に記憶する工程と、f前記要素事象対応情報から、各前記要素に対応する各前記事象及び当該事象に起因して生じる事象にそれぞれ設定された前記アクションを取得し、エラー処理として各前記要素に付加する工程とを備え、コンピュータによるデータ処理によって前記各工程を実行することにより、事象因果関係モデルにより事象間の因果関係を考慮しつつエラー処理を付加することができるので、効率的にエラー処理付加メッセージシーケンス図を生成することができる。また、本発明にかかるメッセージシーケンス生成装置によれば、メッセージシーケンス図を用いた、通信プロトコルの正常時処理について示すメッセージシーケンス情報と、エラー処理が必要な事象を含む複数の前記事象について、それらの因果関係とともに記述した、事象因果関係モデルとに基づいてメッセージシーケンスを生成する装置であって、前記事象因果関係モデルにおける特定の前記事象に対し、当該事象が生じた場合に行うアクションを設定する設定手段と、前記メッセージシーケンス情報の各要素と、各前記事象とを対応付け、要素事象対応情報を生成する生成手段と、前記要素事象対応情報を記憶する記憶手段と、前記要素事象対応情報から、各前記要素に対応する各前記事象及び当該事象に起因して生じる事象にそれぞれ設定された前記アクションを、エラー処理として各前記要素に付加する付加手段とを備えることにより、事象因果関係モデルにより事象間の因果関係を考慮しつつエラー処理を付加することができるので、効率的にエラー処理付加メッセージシーケンス図を生成することができる。この発明の目的、特徴、局面、および利点は、以下の詳細な説明と添付図面とによって、より明白となる。<A.実施の形態1><A-1.構成>図1は本発明の実施の形態1によるメッセージシーケンス生成装置41の構成を示すブロック図である。図1に示すようにメッセージシーケンス生成装置41は、メッセージシーケンス情報31中に記述された各要素と、事象因果関係モデル33中に記述された各事象とが取得される要素事象対応情報生成手段35を備える。ここで、メッセージシーケンス情報31は、通信プロトコル仕様を、メッセージシーケンス図を用いて示したものである。また、事象因果関係モデル33は、エラー処理が必要な事象を含む複数の事象を、それらの因果関係とともに記述したものである。要素事象対応情報生成手段35には、アクション入力手段34からアクションが入力され、要素事象入力手段36からイベントが入力される。またメッセージシーケンス生成装置41は、要素事象対応情報生成手段35から要素事象対応情報が入力される要素事象対応情報記憶手段38と、事象因果関係モデル33のうちの、ある事象から生ずるエラー処理を導出するエラー処理導出手段39と、要素事象対応情報とエラー処理の情報とを、メッセージシーケンス情報31に付加するエラー処理付加手段37とを備える。エラー処理が付加されたメッセージシーケンス情報31は、エラー処理付加メッセージシーケンス情報40となる。さらにメッセージシーケンス生成装置41は、要素事象対応情報を出力する対応結果出力手段32を備える。ここで、メッセージシーケンス情報31中の要素とは、メッセージシーケンス情報に示される、あらゆる動作、状態、それらの結果、過程を示すものであり、例えば、メッセージの送受信や内部アクション等である。また、アクション入力手段34から入力されるアクションとは、事象因果関係モデル33における各事象が発生した場合に実行される、所定の処理である。図2は、メッセージシーケンス生成装置41を実際に運用したときのハードウェアの構成を示したものである。図2では、図1中のメッセージシーケンス生成装置41としてPC1を備える。なおメッセージシーケンス生成装置41は、PCだけでなく例えば計算機一般を含めてもよい。PC1には、演算を行うCPU2と、情報を記憶することができる記憶装置3と、マウスやキーボードなどのPCに対して入力を与える入力装置4と、ディスプレイ等の出力を行うことができる出力装置5とが含まれる。図1における要素事象対応情報生成手段35、要素事象対応情報記憶手段38、エラー処理導出手段39、エラー処理付加手段37は、プログラムとして記憶装置3に格納され、CPU2上で実行される。また、アクション入力手段34、要素事象入力手段36は、入力装置4によって、ユーザからの入力を得る。対応結果出力手段32は、出力装置5によって、要素事象対応情報を出力する。また、出力装置5によって、エラー処理付加メッセージシーケンス情報40が出力される。図3は、図1のメッセージシーケンス情報31の例を示す図である。メッセージシーケンス情報31では、時間軸が垂直で表され、上から下へ時間が流れる。メッセージシーケンス情報で、メッセージの送受信の主体となるシステム、装置、システム内の機能は、インスタンスとよばれる。インスタンスは、インスタンス開始記号61、インスタンス名62、ライフライン63、インスタンス終了記号64から構成される。インスタンスの名称は、インスタンス名62によって示される。インスタンスの開始位置と終了位置は、それぞれインスタンス開始記号61、インスタンス終了記号64で示される。インスタンス開始記号61と、インスタンス終了記号64とはライフライン63で結ばれ、インスタンスの生存期間が示される。インスタンス間のメッセージのやり取りは、メッセージ記号65によって示される。メッセージには方向が定義されており、メッセージの送信元と送信先が識別できる。また、メッセージの種類や名称は、メッセージ名66によって示される。タイマはタイマ記号67で示され、名称や期間はタイマ情報68によって示される。インスタンスの状態は状態記号69によって示され、メッセージの送受信を伴わないインスタンスの内部アクションは、内部アクション記号70によって示される。インスタンス名62、メッセージ名66、タイマ情報68の位置関係は、それぞれインスタンス開始記号61、メッセージ記号65、タイマ記号の関連が認識できれば、任意の場所においてもよい。また、オブジェクト終了記号64を省略してもよい。本発明におけるメッセージシーケンス情報31は、図3に示すものに限らず、UMLで定められているメッセージシーケンス図や、ITU-T国際電気通信連合電気通信標準化部門の勧告Z.120によるMessageSequenceChartMSC等を用いてもよい。図4は、図1の事象因果関係モデル33を、FTFaultTree図を例に用いて説明したものである。事象因果関係モデル33は、エラー処理等の非正常事象をあらわすトップ事象81と、それらを発生させる事象との因果関係を論理記号を用いて、例えばツリー構造上に表現したものである。なお、事象間の因果関係を示す方法は、論理記号によるものに限るものではない。トップ事象81は、図の最上段に配置する。トップ事象81の発生に関与する要因を、論理積82や論理和83を用いてツリー構造上に並べる。論理記号で結ばれた事象を中間事象84とよび、さらに、これ以上分解できない事象を基本事象85とよぶ。<A-2.動作>図5は、図1の要素事象対応情報生成手段35の動作を示すフローチャートである。要素事象対応情報生成手段35は、ステップST201において、メッセージシーケンス情報31と事象因果関係モデル33とを取得する。次にステップST202において、事象因果関係モデル33中の事象に、その事象の発生時のアクション処理を設定するアクション設定処理を行う。次にステップST203において、メッセージシーケンス情報31中の要素と、事象因果関係モデル33中の事象とを対応付ける、要素事象対応情報生成処理を行う。当該処理が終了すれば、動作を終了する。<A-2-1.アクション設定>図6は、図5の要素事象対応情報生成手段35の、ステップST202の動作各事象に対するアクション設定処理を示すフローチャートである。要素事象対応情報生成手段35は、ステップST210において、要素事象入力手段36からのイベントを順次受信する。ここでイベントとは、事象因果関係モデル33中の事象、メッセージシーケンス情報31中の要素を指定するもの、及び前記指定を終了するものである。当該イベントにおいて、事象と要素とは、ユーザが任意に対応づけ可能である。但し、ハードウェアの故障等、通信プロトコルと関係なくメッセージシーケンス図中のあらゆる要素で発生しうる事象との対応は、要素定義情報、事象定義情報、要素事象対応定義情報を利用して、メッセージシーケンス図中の全ての要素と自動的に対応づけすることも可能である。また、パリティ検定違反など、任意のメッセージの受信で発生しうる事象は、要素定義情報、事象定義情報、要素事象対応定義情報を利用して、メッセージの受信要素全てと自動的に対応づけることも可能である。さらに、特定のグループのメッセージの受信要素、特定のグループの内部アクションと、事象とを、自動的に対応づけることも可能である。また、過去の履歴を用いて、要素と事象との対応づけを行うことも可能である。ここで要素定義情報とは、各要素が所属するグループを示す情報である。例えば、要素選択メッセージ受信は、グループメッセージに含まれ、かつ選択制御メッセージに含まれる図30参照。また事象定義情報とは、各事象が所属するグループを示す情報である。例えば、事象LAN両系異常は、グループ故障と通信断とに含まれ、事象パリティ検定違反はグループメッセージ不正に含まれる図31参照。また要素事象対応定義情報では、事象とそれに対応する要素を複数指定することができる。例えば、事象LAN両系異常は、通信プロトコルとは関係なく任意の時点で発生しうるので、メッセージシーケンス情報中の全ての要素と対応付ける。よって、事象定義情報の対応要素としてAll要素と指定する。これは、事象LAN両系異常は、全ての要素と対応付けられることを意味している。対応要素には、具体的な要素名か要求定義情報のグループを指定する。例えば、事象パリティ検定違反は、全てのメッセージを受信した際に発生しうるので、対応要素は全てのメッセージ受信要素となる。ここで論理式は、S1∩S2等といった対応要素を論理記号で結んだもので、細かな指定が可能となる。要素事象対応情報生成手段35は、事象定義情報から事象とその対応要素1~nを取得する。続いて、対応要素1~nに対応する要素を要素定義情報から取得する。取得した各要素のうち、論理式で評価したものと一致する要素をメッセージシーケンス情報から検索し、要素と事象とを対応付けることができる。そしてステップST211において、イベント判定を行い、終了イベントの場合には動作を終了し、終了イベント以外の場合はステップST212へ進む。ステップST212では、ステップST210で受信したイベントで指定された事象因果関係モデル33中の事象を記憶し、ステップST213へ進む。ステップST213では、アクション入力手段34によって入力された、ステップST212において記憶された事象に設定されるアクションを記憶し、ステップST214へ進む。ステップST214では、ステップST212で記憶した事象に、ステップST213で記憶したアクションを設定し、ステップST210へ進む。順次イベントを受信し、それぞれのイベントが指定する事象にアクションを設定していき、全てのイベントについてアクションの設定が終了したらすなわち、終了イベントに達したら、動作を終了する。なお、事象とアクションとは、ユーザが任意に対応づけ可能である。ここで、一つのアクションを効率的に複数の事象と対応付けるため、上記の事象定義情報とアクション事象対応定義情報とを利用することができる。ここでアクション事象対応定義情報とは、各アクションがどの事象に対応付けられるかを示す情報である。図33に示すように、各事象毎に対応付けられる事象のグループを記述する。要素事象対応定義情報と同様に、論理式も使用できる。要素事象対応情報生成手段35は、事象定義情報から各事象情報を取得し、アクション事象対応定義情報から、アクションと事象との対応情報を取得する。続いて、事象因果関係モデル33から各アクションに対応する事象を検索し、自動的に対応付ける。一つの事象に複数のアクションが設定された場合は、ユーザが設定したアクションを優先することができる。また、自動的に設定したアクションが複数あった場合は、ユーザに通知することができる。先にまたは後に設定したアクションを優先してもよい。<A-2-2.要素事象対応情報生成>図7は、図5の要素事象対応情報生成手段35のステップST203の動作要素事象対応情報生成処理を示すフローチャートである。要素事象対応情報生成手段35は、ステップST220で、メッセージシーケンス情報31と事象因果関係モデル33とを取得し、ステップST221へ進む。ステップST221では、要素事象入力手段36からイベントを順次取得し、ステップST222へ進む。ここで取得するイベントは、ステップST210で受信したイベントとは独立に取得するものである。ステップST222でイベント判定を行い、メッセージシーケンス情報31中の要素に対するイベントであればステップST223へ進み、事象因果関係モデル33中の事象に対するイベントであればステップST224へ進み、終了イベントの場合は動作を終了する。ステップST223では、要素指定処理を行う。ステップST224では事象指定処理を行う。詳細については後述する。図8は、図7の要素事象対応情報生成手段35のステップST223の動作要素指定処理を示すフローチャートである。要素事象対応情報生成手段35は、ステップST260で、ステップST221においてイベントに指定された要素を記憶し、ステップST261へ進む。ステップST261では、要素事象入力手段36からイベントを取得し、ステップST262へ進む。ここで取得するイベントは、ステップST221において取得したイベントと同一のイベントである。ステップST262では、イベント判定をし、メッセージシーケンス情報31の要素に対するイベントの場合はステップST265へ進み、事象因果関係モデル33の事象に対するイベントの場合はステップST263へ進む。ステップST263では、ステップST261で取得したイベントにおいて指定された事象と、ステップST260で記憶した要素とを対応付け、ステップST264へ進む。ステップST264では、ステップST263で対応付けた要素事象対応情報を要素事象対応情報記憶手段38記憶装置3に記憶し、動作を終了する。ステップST265では、ステップST260で記憶した要素を破棄し、ステップST261において指定された要素を記憶し、再びステップST261へ進む。図9は、図7の要素事象対応情報生成手段35のステップST224の動作事象指定処理を示すフローチャートである。要素事象対応情報生成手段35は、ステップST280で、ステップST221においてイベントに指定された事象を記憶し、ステップST281へ進む。ステップST281では、要素事象入力手段36からイベントを取得し、ステップST282へ進む。ここで取得するイベントは、ステップST221において取得したイベントと同一のイベントである。ステップST282では、イベント判定を行い、事象因果関係モデル33の事象に対するイベントの場合はステップST285へ進み、メッセージシーケンス情報31の要素に対するイベントの場合はステップST283へ進む。ステップST283では、ステップST281で取得したイベントにおいて指定された要素と、ステップST280で記憶した事象とを対応付け、記憶し、ステップST284へ進む。ステップST284では、ステップST283の対応付けた要素事象対応情報を要素事象対応情報記憶手段38記憶装置3に記憶し、動作を終了する。ステップST285では、ステップST280で記憶した事象を破棄し、ステップST281において指定された事象を記憶し、再びステップST281へ進む。<A-2-3.エラー処理付加>図10は、図1のエラー処理付加手段37の動作を示すフローチャートである。エラー処理付加手段37は、ステップST300においてメッセージシーケンス情報31を取得し、ステップST301へ進む。次にステップST301では、要素事象対応情報記憶手段38から要素事象対応情報を1つ、すなわち、1つの要素に対応する事象の情報を取得し、ステップST302へ進む。ステップST302では、1つの要素に対応する要素事象対応情報が取得できたかどうか判定し、取得できた場合はステップST303へ進み、取得できなかった場合は動作を終了する。ステップST303では、ステップST300において取得したメッセージシーケンス情報31から、ステップST302において取得した1つの要素に関連する各インスタンスの状態を取得し、ステップST304へ進む。ステップST304では、ステップST303で取得した各インスタンスの状態と、ステップST301で取得した、1つの要素の要素事象対応情報とをエラー処理導出手段39へ渡す。一方ステップST305では、エラー処理導出手段39から、ステップST301で取得した1つの要素に対応するエラー処理の情報を取得し、ステップST306へ進む。ステップST306では、エラー処理付加メッセージシーケンス情報生成処理を行い、ステップST301へ進む。詳細は後述する。図11は、図10におけるエラー処理付加手段37のステップST306の動作エラー処理付加メッセージシーケンス情報生成処理を示すフローチャートである。エラー処理付加手段37は、ステップST320において、ステップST301で取得した1つの要素が発生するまでのメッセージシーケンス情報31を作業対象メッセージシーケンス情報として設定し、ステップST321へ進む。ステップST321で、作業対象メッセージシーケンス情報に、ステップST301で取得した1つの要素の、対応する事象が発生した情報を付加し、ステップST322へ進む。ステップST322では、エラー処理導出手段39から、ステップST301で取得した1つの要素に対応する事象に起因するエラー処理の情報を取り出し、ステップST323へ進む。ステップST323では、エラー処理の情報を取り出せたかどうか判定し、取り出せた場合はステップST324へ進み、取り出せなかった場合はステップST327へ進む。ステップST324では、ステップST322で取得したエラー処理の情報に含まれる、事象に設定されたアクションの実行条件をチェックし、ステップST325へ進む。当該実行条件には、インスタンスの状態に起因するものを含むことができる。ステップST325では、アクションの実行条件を判定し、条件を満たす場合はステップST326へ進み、満たさない場合はステップST322へ進む。ステップST326では、作業対象メッセージシーケンス情報の1つの要素に、取得したエラー処理を付加し、ステップST322へ進む。ステップST327では、対応するエラー処理が付加された作業対象メッセージシーケンス情報を、エラー処理付加メッセージシーケンス情報40として出力装置5に出力する。<A-2-4.エラー処理導出>図12は、図1のエラー処理導出手段39の動作を示すフローチャートである。エラー処理導出手段39は、ステップST351において、エラー処理付加手段37から指定された事象、すなわち、作業対象メッセージシーケンス情報の1つの要素に対応する事象を、作業対象事象として記憶しステップST352へ進む。ステップST352では、作業対象事象のアクションとその実行条件とを、要素事象対応情報記憶手段38から取得し、ステップST353へ進む。ステップST353で、それらが取得できたか判定し、取得できた場合はステップST354へ進み、取得できなかった場合はステップST355へ進む。ステップST354では、作業対象事象のアクションとその実行条件とを記憶し、ステップST355へ進む。ステップST355では、作業対象事象の上位事象が存在するかどうかチェックし、存在する場合はステップST356へ進み、存在しない場合はステップST359へ進む。ステップST356では、存在する上位事象が発生する条件をチェックし、ステップST357へ進む。ステップST357では、上位事象が発生するかどうかチェックし、発生する場合はステップST358へ進み、発生しない場合はステップST359へ進む。ステップST358では、上位事象を作業対象事象に設定し、ステップST352に進む。ステップST359では、記憶した作業対象事象のアクションとその実行条件とを、エラー処理の情報としてエラー処理付加手段37に渡す。<A-3.動作例>図13、図14、図15、図16、図17を用いて、実施の形態1の動作例を示す。図13は、本発明の実施の形態1における入力例である。図13aのメッセージシーケンス情報例においては、メッセージシーケンス情報のインスタンスは、上位システム、監視制御サーバ、監視制御端末装置の3つである。上位システムからの選択要求を受け、監視制御サーバは監視制御端末装置に選択要求を送信する。監視制御端末装置は選択完了状態に遷移し、監視制御サーバへ選択返信OKを送信する。監視制御サーバは選択完了状態に遷移し、上位システムに選択返信OKを送信する。上位システムは選択返信OKを受信すると、選択完了状態へと遷移する。同様に、上位システムからの制御要求を受け、監視制御サーバは監視端末装置へ制御要求を送信する。監視端末装置は制御要求を受信すると、制御完了状態へ遷移し、監視制御サーバへ制御返信OKを送信する。監視制御サーバは制御返信OKを受信すると状態を制御完了へと遷移し、上位システムへと制御返信OKを送信する。上位システムはそれを受け、制御完了へと状態を遷移する。図13bの事象因果関係モデル例において、エラー処理など非正常事象を表すトップ事象は選択キャンセルである。選択キャンセルは選択中の時にのみ、制御要求受信データ異常か選択キャンセル要求によって発生する。さらに制御要求受信データ異常は、パリティ検定違反か不正データエラーによって発生する。図14は、本発明の実施の形態1における要素事象対応情報生成手段35のアクション設定処理ステップST202参照の例である。イベントにおいて、選択キャンセル、制御受信データ異常がそれぞれ指定されているとする。トップ事象である選択キャンセルには、次のようなアクション1を設定する。アクション1は、監視制御サーバが監視制御端末装置に選択キャンセル要求を送信し、その選択キャンセル要求に対する選択キャンセル返信を受信することで、監視制御サーバは状態を無選択へと遷移する。続いて監視制御サーバは、上位システムへ選択キャンセル返信を送信し、上位システムは選択キャンセル返信を受信することで無選択へと状態を遷移する、というものである。中間事象である制御受信データ異常には、次のようなアクション2を設定する。アクション2は、監視端末装置が監視制御サーバに制御返信を送信し、その制御返信を受信することで、監視制御サーバは、制御受信データ異常へと状態を遷移する。続いて監視制御サーバは、上位システムへ制御受信データ異常を送信し、上位システムは制御受信データ異常を受信する、というものである。図15は、本発明の実施の形態1における要素事象対応情報生成手段35の要素事象対応情報生成処理の例である。メッセージシーケンス情報31における、監視端末装置が制御要求を受信した箇所1つの要素と、事象因果関係モデル33における、制御受信データ異常事象とを対応付けている。図16は、本発明の実施の形態1におけるエラー処理付加手段37及びエラー処理導出手段39の動作例を示す。まず、エラー処理付加手段37は、ステップST301において、要素事象対応情報記憶手段38から要素事象対応情報を1つ、すなわち、1つの要素に対応する事象の情報を取得する。本例では、監視端末装置が制御要求を受信した箇所1つの要素と、制御受信データ異常事象との対応情報を取得する図15参照。ステップST303において、ステップST300において取得したメッセージシーケンス情報31から、ステップST302において取得した1つの要素に関連する各インスタンスの状態を取得する。本例では、上位システム、監視制御サーバ、監視端末装置の状態は選択完了である。ステップST304では、ステップST303で取得した各インスタンスの状態と、ステップST301で取得した、1つの要素の要素事象対応情報とをエラー処理導出手段39へ渡す。一方、エラー処理導出手段39は、ステップST351においてエラー処理付加手段37から指定された事象、すなわち、作業対象メッセージシーケンス情報の1つの要素に対応する事象を、作業対象事象として記憶する。本例では、監視端末装置が制御要求を受信した箇所1つの要素と、制御受信データ異常事象との要素事象対応情報を取得しているため、作業対象事象は制御受信データ異常事象となる。ステップST352で、作業対象事象のアクションとその実行条件とを、要素事象対応情報記憶手段38から取得する。本例では、図14で示したアクション2が設定されている。なお実行条件は未設定である。ステップST354で、作業対象事象のアクションと実行条件とを記憶し、ステップST355で、作業対象事象の上位事象が存在するかチェックする。本例では、上位事象としてトップ事象選択キャンセルが存在するので、ステップST356へ進む。ステップST356では、上位事象が発生する条件をチェックする。本例では、状態が選択完了であるときに選択キャンセル事象が発生する。ステップST357では、上位事象が発生するかチェックする。本例では、エラー処理付加手段37から取得した各インスタンスの状態が全て選択完了であることから、条件を満たす。このため、ステップST354でトップ事象選択キャンセルのアクションであるアクション1を記憶する。なお、アクション1の実行条件は未設定である。ステップST359において、記憶した事象のアクションと実行条件とを、エラー処理としてエラー処理付加手段37に渡す。本例では、事象に設定されたアクション2、及び、当該事象に起因して生じるアクション1を記憶している。さらにエラー処理付加手段37は、ステップST321で、ステップST301で取得した1つの要素が発生するまでの作業対象メッセージシーケンス情報に、対応する事象が発生した情報を付加する。本例では、監視端末装置が制御要求を受信した箇所1つの要素に制御受信データ異常事象が発生した情報を付加する。続いてステップST322で、エラー処理導出手段39が記憶したエラー処理を取り出す。具体的には、事象に設定されたアクションと、当該事象に起因して生じたアクションとを、記憶した順に取り出す。本例では、まずアクション2を取り出して、ステップST326で、作業対象メッセージシーケンス情報にアクション2を付加する。本例では、制御受信データ異常事象が発生したメッセージシーケンス情報にアクション2を付加する。続いてステップST322で、アクション1を取り出し、ステップST326で既にアクション2を付加した作業対象メッセージシーケンス情報に、アクション1を付加する。これでエラー処理を全て取り出したため、これらの情報を付加した作業対象メッセージシーケンス情報をエラー処理付加メッセージシーケンス情報とし、ステップST327において、図17のエラー処理付加メッセージシーケンス情報を出力装置5に出力する。上述の構成とすることで、エラー処理導出手段39が、事象が発生した際に必要となるエラー処理の情報を導出し、エラー処理付加手段37が、それらのエラー処理の情報を付加したメッセージシーケンス図を生成するので、効率的に非正常仕様を記述したメッセージシーケンス図を生成できる。<A-4.効果>本発明にかかる実施の形態1によれば、メッセージシーケンス生成方法において、aメッセージシーケンス情報31をデータ処理のために準備する工程と、b事象因果関係モデル33をデータ処理のために準備する工程と、c事象因果関係モデル33における特定の事象に対し、当該事象が生じた場合に行うアクションを設定する工程と、dメッセージシーケンス情報の各要素と、各事象とを対応付け、要素事象対応情報を生成する工程と、e要素事象対応情報を記憶装置3に記憶する工程と、f記憶装置3に記憶された要素事象対応情報に基づいて、各要素に対応する各事象及び当該事象に起因して生じる事象にそれぞれ設定されたアクションを、エラー処理として各要素に付加する工程とを備え、コンピュータによるデータ処理によって前記各工程を実行することで、事象因果関係モデル33により事象間の因果関係を考慮しつつエラー処理を付加することができるので、効率的にエラー処理付加メッセージシーケンス図を生成することができる。また、本発明にかかる実施の形態1によれば、メッセージシーケンス生成方法において、工程bが、因果関係について論理記号を用いて記述した事象因果関係モデル33をデータ処理のために準備する工程であることで、事象間の因果関係を効率的に示すことができる。また、本発明にかかる実施の形態1によれば、メッセージシーケンス生成方法において、工程fが、メッセージシーケンス情報31における各インスタンスの状態に基づいて、エラー処理を付加する工程であることで、インスタンスの状態を実行条件として、エラー処理を行うことができる。また、本発明にかかる実施の形態1によれば、メッセージシーケンス図を用いた、通信プロトコルの正常時処理について示すメッセージシーケンス情報31と、エラー処理が必要な事象を含む複数の事象について、それらの因果関係とともに記述した、事象因果関係モデル33とに基づいてメッセージシーケンスを生成するメッセージシーケンス生成装置において、事象因果関係モデルにおける特定の事象に対し、当該事象が生じた場合に行うアクションを設定する設定手段、及び、メッセージシーケンス情報の各要素と、各事象とを対応付け、要素事象対応情報を生成する生成手段としての要素事象対応情報生成手段35と、要素事象対応情報を記憶する記憶手段としての要素事象対応情報記憶手段38と、要素事象対応情報記憶手段38に記憶された要素事象対応情報に基づいて、各要素に対応する各事象及び当該事象に起因して生じる事象にそれぞれ設定されたアクションを、エラー処理として各要素に付加する付加手段としてのエラー処理付加手段37とを備えることで、事象因果関係モデル33により事象間の因果関係を考慮しつつエラー処理を付加することができるので、効率的にエラー処理付加メッセージシーケンス図を生成することができる。<B.実施の形態2><B-1.構成>図18は、本発明の実施の形態2によるメッセージシーケンス生成装置44の構成を示すブロック図である。ブロック図の構成要素の内、エラー処理付加手段42、機器構成制御情報DB43、エラー処理導出手段45以外は、実施の形態1と同様の構成であるので、詳細な説明は省略する。本発明の実施の形態2は、エラー処理導出手段45が事象因果関係モデル33から系切替を伴うエラー処理を導出した際に、エラー処理付加手段42が機器構成制御情報DB43から機器構成制御情報を取得し、系切替時の、エラー処理付加メッセージシーケンス情報を出力するものである。図19は、エラー処理の情報の例を示す。エラー処理の情報は、実行される順に番号がつけられており、エラー処理に対応する事象名、その事象に設定されたアクション、実行条件、事象が発生する際の構成制御の条件が対応付けられている。本例では、事象名系切替、アクションアクション1が対応付けられており、その場合の実行条件は未設定、構成制御条件は自モードが常用かつ相手モードが予備であることを示している。図20a~bは、機器構成制御情報DB43の例である。機器構成制御情報DB43には、機器情報とモード状態組合せ情報、モード状態遷移情報が含まれる。図20aに示す機器情報は、対象システムにどのような機器が含まれ、どのような名称とクラス及びIPアドレスが指定されているかを記憶する。クラスには、メッセージシーケンス情報中のインスタンス名が指定される。図20bに示すモード状態組合せ情報は、対象システムが冗長構成化されているとき、それぞれの系の運転モードの組合せを指定するものである。本例では、サーバ1とサーバ2が共に常用モード又は待機モードになること、保守モードと待機モードの組合せは不可であることを示している。また、常用モードと待機モード又は常用モードと保守モードの組合せは可能であることを示している。図20cに示すモード状態遷移情報は、常用モード、待機モード、保守モード間の状態遷移について示す情報である。<B-2.動作>図21は、図18のエラー処理付加手段42のステップST306に対応する動作を示すフローチャートである。エラー処理付加手段42は、ステップST400で、ステップST301において取得した1つの要素が発生するまでのメッセージシーケンス情報を作業対象メッセージシーケンス情報として設定し、ステップST401へ進む。ステップST401では、作業対象メッセージシーケンス情報に、ステップST301で取得した1つの要素の、対応する事象が発生した情報を付加し、ステップST402へ進む。ステップST402では、エラー処理導出手段45から、ステップST301で取得した1つの要素に対応する事象に起因するエラー処理の情報を取り出し、ステップST403へ進む。ステップST403では、エラー処理の情報を取り出せたかどうかを判定し、取り出せた場合はステップST404へ進み、取り出せなかった場合はステップST409へ進む。ステップST404では、ステップST402で取得したエラー処理の情報に構成制御条件が設定されているかどうかを判定し、設定されている場合はステップST405へ進み、設定されていない場合はステップST406へ進む。ステップST405では、機器構成制御情報付加処理を行い、ステップST406へ進む。ステップST406では、ステップST402で取得したエラー処理に含まれる、事象に設定されたアクションの実行条件をチェックし、ステップST407へ進む。ステップST407では、アクションの実行条件を満たすかどうか調べ、満たす場合はステップST408へ進み、満たさない場合はステップST402へ進む。ステップST408では、作業対象メッセージシーケンス情報の1つの要素に、取得したエラー処理を付加し、ステップST402へ進む。ステップST409では、対応するエラー処理が付加された作業対象メッセージシーケンス情報を、エラー処理付加メッセージシーケンス情報400として出力装置5に出力する。図22は、図21におけるエラー処理付加手段42の、ステップST405の動作機器構成制御情報付加処理の詳細を示すフローチャートである。エラー処理付加手段42は、ステップST420で、機器構成制御情報DB43から系切替対象となるインスタンスを取得し、ステップST421へ進む。ステップST421では、系切替未発生メッセージシーケンス生成出力処理を行い、ステップST422へ進む。ステップST422では、系切替発生メッセージシーケンス生成処理を行い、終了する。図23は、図22におけるエラー処理付加手段42のステップST421の動作系切替未発生メッセージシーケンス生成出力処理の詳細を示すフローチャートである。エラー処理付加手段42は、ステップST450において、ステップST401の作業対象メッセージシーケンス情報にステップST420のインスタンスを付加し、ステップST451へ進む。ステップST451では、機器構成制御情報DB43から、とり得るモード状態の全組合せを取得し、ステップST452へ進む。ステップST452では、ステップST451で取得した全組合せの中から、構成制御条件を満たさないモード状態の組合せを取得し、ステップST453へ進む。ステップST453では、ステップST452で取得したモード状態の組合せ分だけ、作業対象メッセージシーケンス情報のコピーを作成し、ステップST454へ進む。ステップST454では、ステップST453のメッセージシーケンス情報の、系切替対象インスタンスのモード状態を、ステップST452で求めたものにしたメッセージシーケンス情報をそれぞれ生成し、ステップST455へ進む。ステップST455では、出力装置5にステップST454のメッセージシーケンス情報をエラー処理付加メッセージシーケンス情報400としてそれぞれ出力し、終了する。図24は、図22におけるエラー処理付加手段42のステップST422の動作系切替発生メッセージシーケンス生成処理の詳細を示すフローチャートである。エラー処理付加手段42は、ステップST470において、ステップST450の作業対象メッセージシーケンス情報に対して、構成制御条件を満たすように系切替対象インスタンスのモード状態を設定し、終了する。図25は、図18におけるエラー処理導出手段45の動作を示すフローチャートである。エラー処理導出手段45は、ステップST500において、エラー処理付加手段42から指定された事象、すなわち、作業対象メッセージシーケンス情報の1つの要素に対応する事象を作業対象事象として記憶し、ステップST501へ進む。ステップST501では、作業対象事象のアクションとその実行条件を、要素事象対応情報記憶手段38から取得し、ステップST502へ進む。ステップST502では、作業対象事象のアクションとその実行条件を取得できたかどうかチェックし、取得できた場合はステップST503へ進み、取得できなかった場合はステップST504へ進む。ステップST503では、作業対象事象のアクションとその実行条件をエラー処理の情報として記憶し、ステップST504へ進む。ステップST504では、作業対象事象の上位事象が存在するかどうか判定し、存在する場合はステップST505へ進み、存在しない場合はステップST510へ進む。ステップST505では、上位事象の発生条件が構成制御情報に関係するかチェックし、ステップST506へ進む。ステップST506では関係するかどうかを判定し、関係する場合はステップST507へ進み、関係しない場合はステップST508へ進む。ステップST507では、上位事象の構成制御条件としてステップST505の情報を記憶し、ステップST508へ進む。ステップST508では上位事象が発生するか判定し、発生する場合はステップST509へ進み、発生しない場合はステップST510へ進む。ステップST509では、上位事象を作業対象事象に設定し、ステップST501へ進む。ステップST510では、記憶したエラー処理の情報をエラー処理付加手段42に渡す。<B-3.動作例>図26、図27、図28、図29を用いて実施の形態2の例を示す。図26は、本発明の実施の形態2における入力例と対応例である。メッセージシーケンス情報31における、黒丸で示されている箇所1つの要素と、事象因果関係モデル33における、重故障事象とを対応付けている。図27は、本発明の実施の形態2におけるアクション設定の例である。なお、機器構成制御情報DB43は、例えば図21に示すものであるとする。対応付けられた要素選択復帰、選択制御受信データ異常、系切替に対し、事象に設定されたアクションアクション1、アクション2、アクション3が付加されている。図28は、ステップST409における系切替発生メッセージシーケンス情報の出力例である。監視制御サーバ1、監視制御サーバ2は、それぞれ常用モード、待機モードとなっている。図29は、ステップST445における系切替未発生メッセージシーケンス情報の出力例である。<B-4.効果>本発明にかかる実施の形態2によれば、メッセージシーケンス生成方法において、hメッセージシーケンス情報31における、各インスタンスのモード情報を含む機器構成制御情報を記憶する工程をさらに備え、b事象因果関係モデル33を準備する工程が、各インスタンスのモード切替えを伴う事象の記述を含む、事象因果関係モデル33を準備する工程であり、f記憶された要素事象対応情報に基づいて、各要素に対応する各事象及び当該事象に起因して生じる事象にそれぞれ設定されたアクションを、エラー処理として各要素に付加する工程が、記憶された機器構成制御情報に基づいて、モードを伴う事象及び当該事象に起因して生じる事象の、それぞれ設定されたアクションを、エラー処理として対応する各要素に付加する工程であることで、系切替が必要な伴うエラー処理が発生した場合でも、効率的にエラー処理付加メッセージシーケンス図を生成することができる。この発明は詳細に説明されたが、上記した説明は、すべての局面において、例示であって、この発明がそれに限定されるものではない。例示されていない無数の変形例が、この発明の範囲から外れることなく想定され得るものと解される。