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