特開 2022-96718 情報処理装置、制御方法、プログラム

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】公開特許公報(A)

(11)【公開番号】P2022096718

(43)【公開日】2022-06-30

(54)【発明の名称】情報処理装置、制御方法、プログラム

(51)【国際特許分類】

   G06F 11/34 20060101AFI20220623BHJP

【ＦＩ】

G06F11/34 176

【審査請求】未請求

【請求項の数】8

【出願形態】ＯＬ

(21)【出願番号】P 2020209834

(22)【出願日】2020-12-18

(71)【出願人】

【識別番号】390002761

【氏名又は名称】キヤノンマーケティングジャパン株式会社

(71)【出願人】

【識別番号】592135203

【氏名又は名称】キヤノンＩＴソリューションズ株式会社

(74)【代理人】

【識別番号】100189751

【弁理士】

【氏名又は名称】木村 友輔

(72)【発明者】

【氏名】大崎 敦司

【テーマコード（参考）】

5B042

【Ｆターム（参考）】

5B042MA08

5B042MA11

5B042MA14

5B042MC35

5B042MC40

(57)【要約】

【課題】本発明では、イベントを記録したログデータから認識される状態の発生状況の正当性を判断できる仕組みを提供することを目的とする。
【解決手段】本発明は、イベントごとの発生日時を含むイベント情報を記録したログデータを取得する情報処理装置であって、前記ログデータから認識される所定の状態が満たすべき条件を記憶する記憶手段と、前記ログデータから、所定の状態の開始および終了に係るイベント情報に基づいて認識される当該状態の発生期間を特定する状態特定手段と、前記認識された状態に係る前記条件と、前記特定された前記状態の期間とに基づいて、前記条件に係る状況を識別可能に出力する出力制御手段とを備えることを特徴とする。
【選択図】図１

【特許請求の範囲】

【請求項1】

イベントごとの発生日時を含むイベント情報を記録したログデータを取得する情報処理装置であって、
前記ログデータから認識される所定の状態が満たすべき条件を記憶する記憶手段と、
前記ログデータから、所定の状態の開始および終了に係るイベント情報に基づいて認識される当該状態の発生期間を特定する状態特定手段と、
前記認識された状態に係る前記条件と、前記特定された前記状態の期間とに基づいて、前記条件に係る状況を識別可能に出力する出力制御手段と
を備えることを特徴とする情報処理装置。

【請求項2】

前記条件は、異なる前記状態の間の時間的包含関係に基づいて設定されることを特徴とする請求項１に記載の情報処理装置。

【請求項3】

前記条件は、異なる前記状態の間の時間的関係に基づいて設定されることを特徴とする請求項１または２に記載の情報処理装置。

【請求項4】

前記条件は、前記状態の頻度に基づいて設定されることを特徴とする請求項１～３のいずれか１項に記載の情報処理装置。

【請求項5】

異なる状態が時間的に重複して認識されることを特徴とする請求項１～４のいずれか１項に記載の情報処理装置。

【請求項6】

前記イベント情報は、所定の発生パターンに従ってグループ化されることを特徴とする請求項１～５のいずれか１項に記載の情報処理装置。

【請求項7】

イベントごとの発生日時を含むイベント情報を記録したログデータを取得し、前記ログデータから認識される所定の状態が満たすべき条件を記憶する記憶手段を有する情報処理装置の制御方法であって、
状態特定手段が、前記ログデータから、所定の状態の開始および終了に係るイベント情報に基づいて認識される当該状態の発生期間を特定する状態特定ステップと、
出力制御手段が、前記認識された状態に係る前記条件と、前記特定された前記状態の期間とに基づいて、前記条件に係る状況を識別可能に出力する出力制御ステップと
を備えることを特徴とする情報処理装置の制御方法。

【請求項8】

イベントごとの発生日時を含むイベント情報を記録したログデータを取得する情報処理装置であって、
前記ログデータから認識される所定の状態が満たすべき条件を記憶する記憶手段と、
前記ログデータから、所定の状態の開始および終了に係るイベント情報に基づいて認識される当該状態の発生期間を特定する状態特定手段と、
前記認識された状態に係る前記条件と、前記特定された前記状態の期間とに基づいて、前記条件に係る状況を識別可能に出力する出力制御手段と
を備えることを特徴とする情報処理装置。

【発明の詳細な説明】

【技術分野】

【0001】

本発明は、イベントを記録したログデータを解析する技術に関する。

【背景技術】

【0002】

近年、ＩｏＴ機器から様々なイベントを収集できるようになってきたため、収集されたイベントログを分析することで運用に生かすことが望まれている。イベントを収集できるＩｏＴ機器が増えたため、イベントログは大量に集まるようになってきた。

【0003】

大量のイベントログを人手で分析するには非常にコストがかかるようになってきたため、イベントログの分析を自動化することが望まれている。

【0004】

特許文献１には、ログデータのシーケンスを数値化して類似する部分シーケンスを検出する技術が記載されている。

【0005】

特許文献２には、ログデータから検出キーに基づいてリソースに関連するパラメータを抽出する技術が記載されている。

【先行技術文献】

【特許文献】

【0006】

【特許文献1】特開２０１１－１３８４２２号公報

【特許文献2】特許２０１７－８４２７０号公報

【発明の概要】

【発明が解決しようとする課題】

【0007】

特許文献１のシステムでは、特定のログの出現順を「行動パターン」として定義し、ログシーケンスから１種類の行動パターンをロバストに検出する方法であるため、ログシーケンスを入力とすると、検出結果は、行動パターンのシーケンスとなる。すなわち、行動パターンが、どのような順序で実施されたかが分かるのみである。

【0008】

特許文献２のシステムでは、処理イベントをグループ化する処理方法を持つが、グループは１階層であるため、入れ子になるグループは実現できない。

【0009】

実際の装置の点検作業などでは、「装置Ｘを止めている間に、装置Ｙと装置Ｚを再起動する」ような、依存関係（包含関係）が存在する。さらに、「装置Ｙと装置Ｚの再起動順は考慮しない」ような条件がある場合、行動パターンのシーケンスだけでは判断できない。

【0010】

本発明では、イベントを記録したログデータから認識される状態の発生状況の正当性を判断できる仕組みを提供することを目的とする。

【課題を解決するための手段】

【0011】

本発明は、イベントごとの発生日時を含むイベント情報を記録したログデータを取得する情報処理装置であって、前記ログデータから認識される所定の状態が満たすべき条件を記憶する記憶手段と、前記ログデータから、所定の状態の開始および終了に係るイベント情報に基づいて認識される当該状態の発生期間を特定する状態特定手段と、前記認識された状態に係る前記条件と、前記特定された前記状態の期間とに基づいて、前記条件に係る状況を識別可能に出力する出力制御手段とを備えることを特徴とする。

【発明の効果】

【0012】

本発明によれば、イベントを記録したログデータから認識される状態の発生状況の正当性を判断できる仕組みを提供できるようになる。

【図面の簡単な説明】

【0013】

【図1】本発明の実施形態のログ解析装置の構成を示したブロック図

【図2】ログデータの一例を示すテキストデータ

【図3】検出対象パターン１０５の一例を示すデータ構成図

【図4】入れ子状態定義１０６の一例を示すデータ構成図

【図5】入れ子状態制約定義１０７の一例を示すデータ構成図

【図6】処理イベント管理テーブル１０９の一例を示すデータ構成図

【図7】行動パターン管理テーブル１１０の一例を示すデータ構成図

【図8】入れ子状態管理テーブル１１１の一例を示すデータ構成図

【図9】違反項目管理テーブル１１２の一例を示すデータ構成図

【図10】ログ解析装置１０１の処理方法の手順を示したフローチャート

【図11】入れ子状態検出部１１６の処理方法の手順を示したフローチャート

【図12】入れ子状態検証部１１７の処理方法の手順を示したフローチャート

【図13】Ｓ１２０８の処理の手順を示したフローチャート

【図14】ログ解析装置に適用可能なハードウェア構成図

【発明を実施するための形態】

【0014】

以下、本発明の実施の形態を、図面を参照して詳細に説明する。

【0015】

図１４に、本実施形態のログ解析装置１０１に適用可能なハードウェア構成の一例を示す。

【0016】

図１４に示すように、ログ解析装置１０１は、システムバス２０４を介してＣＰＵ（Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）２０１、ＲＡＭ（Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ）２０３、ＲＯＭ（Ｒｅａｄ Ｏｎｌｙ Ｍｅｍｏｒｙ）２０２、入力コントローラ２０５、ビデオコントローラ２０６、メモリコントローラ２０７、通信Ｉ／Ｆコントローラ２０８等が接続された構成を採る。

【0017】

ＣＰＵ２０１は、システムバス２０４に接続される各デバイスやコントローラを統括的に制御する。

【0018】

また、ＲＯＭ２０２あるいは外部メモリ２１１には、ＣＰＵ２０１の制御プログラムであるＢＩＯＳ（Ｂａｓｉｃ Ｉｎｐｕｔ／Ｏｕｔｐｕｔ Ｓｙｓｔｅｍ）やＯＳ（Ｏｐｅｒａｔｉｎｇ Ｓｙｓｔｅｍ）や、各サーバあるいは各ＰＣが実行する機能を実現するために必要な後述する各種プログラム等が記憶されている。また、本発明を実施するために必要な情報が記憶されている。なお外部メモリはデータベースであってもよい。

【0019】

ＲＡＭ２０３は、ＣＰＵ２０１の主メモリ、ワークエリア等として機能する。ＣＰＵ２０１は、処理の実行に際して必要なプログラム等をＲＯＭ２０２あるいは外部メモリ２１１からＲＡＭ２０３にロードし、ロードしたプログラムを実行することで各種動作を実現する。

【0020】

また、入力コントローラ２０５は、キーボード（ＫＢ）２０９や不図示のマウス等のポインティングデバイス等からの入力を制御する。

【0021】

ビデオコントローラ２０６は、ディスプレイ２１０等の表示器への表示を制御する。尚、表示器は液晶ディスプレイ等の表示器でもよい。これらは、必要に応じて管理者が使用する。

【0022】

メモリコントローラ２０７は、ブートプログラム、各種のアプリケーション、フォントデータ、ユーザファイル、編集ファイル、各種データ等を記憶する外部記憶装置（ハードディスク（ＨＤ））や、フレキシブルディスク（ＦＤ）、あるいは、ＰＣＭＣＩＡ（Ｐｅｒｓｏｎａｌ Ｃｏｍｐｕｔｅｒ Ｍｅｍｏｒｙ Ｃａｒｄ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ａｓｓｏｃｉａｔｉｏｎ）カードスロットにアダプタを介して接続されるコンパクトフラッシュ（登録商標）メモリ等の外部メモリ２１１へのアクセスを制御する。

【0023】

通信Ｉ／Ｆコントローラ２０８は、ネットワークを介して外部機器と接続・通信し、ネットワークでの通信制御処理を実行する。例えば、ＴＣＰ／ＩＰ（Ｔｒａｎｓｍｉｓｓｉｏｎ Ｃｏｎｔｒｏｌ Ｐｒｏｔｏｃｏｌ／Ｉｎｔｅｒｎｅｔ Ｐｒｏｔｏｃｏｌ）を用いた通信等が可能である。

【0024】

尚、ＣＰＵ２０１は、例えばＲＡＭ２０３内の表示情報用領域へアウトラインフォントの展開（ラスタライズ）処理を実行することにより、ディスプレイ２１０上に表示することが可能である。また、ＣＰＵ２０１は、ディスプレイ２１０上のマウスカーソル（図示しない）等によるユーザ指示を可能とする。

【0025】

本発明を実現するための後述する各種プログラムは、外部メモリ２１１に記録されており、必要に応じてＲＡＭ２０３にロードされることによりＣＰＵ２０１によって実行されるものである。

【0026】

図１は、本実施形態のログ解析装置の構成を示したブロック図である。図１に示すように、ログ解析装置１０１は、定義部１０３と、記憶部１０８と、ログデータ取得部１１３と、処理イベント抽出部１１４と、行動パターン検出部１１５と、入れ子状態検出部１１６と、入れ子状態検証部１１７とを備えて構成される。これらの機能は、コンピュータに所定のプログラムを実行させることによって具現化することが出来る。

【0027】

図２にログデータ１０２の一例を示す。ＩｏＴ機器から発せられるログデータは、通常規格化されているため、ＴＳＶ（Ｔａｂ Ｓｅｐａｒａｔｅｄ Ｖａｌｕｅｓ）のようなテキスト形式になっていることが多い。ログデータ１０２では、１行に、発生日時、イベント種別、機器ＩＤの情報が記録されている。

【0028】

定義部１０３は、処理を実行する前に定義しておく設定情報である。定義部１０３には、ログデータのフォーマットに合わせた分析方法が定義されているログフォーマット１０４と、検出したい行動パターンが定義されている検出対象パターン１０５と、検出したい入れ子状態が定義されている入れ子状態定義１０６と、入れ子状態間の制約が定義されている入れ子状態制約定義１０７とを事前に定義しておく。

【0029】

記憶部１０８は、各部で解析した結果を記憶する。記憶部１０８には、処理イベント管理テーブル１０９と、行動パターン管理テーブル１１０と、入れ子状態管理テーブル１１１と、違反項目管理テーブル１１２とを記憶する。

【0030】

ログデータ取得部１１３は、例えば、ＩｏＴ機器から時系列に発せられるログデータ１０２の入力を受け付け、それを取得する。ログデータ１０２は、例えば、ネットワークに接続されたＩｏＴ機器などからリアルタイムに取得しても良いし、記録媒体などに記録されたデータファイルからまとめて取得するようにしても良い。

【0031】

処理イベント抽出部１１４は、公知の方法（特許文献２など）にて、ログデータ１０２の中から、ログフォーマット１０４に従って、処理イベントを抽出し、処理イベント管理テーブル１０９に記録する。

【0032】

図６は、処理イベント管理テーブル１０９の構成を示したものである。処理イベント管理テーブル１０９は、処理イベント抽出部１１４によって抽出された各処理イベントをテーブル形式で構造化し、行単位で管理するものである。処理イベント管理テーブル１０９は、各処理イベントに関する情報として、発生日時６０１、処理イベント種別６０２、対象６０３を有する。

【0033】

発生日時６０１は、処理イベント抽出部１１４によって抽出された各処理イベントの発生日時の情報である。処理イベント種別６０２は、各処理イベントの処理イベント種名である。対象６０３は、処理イベントが発行された装置（ＩｏＴ機器など）を識別する識別子である。

【0034】

行動パターン検出部１１５は、公知の方法（特許文献１など）にて、処理イベント管理テーブル１０９の中から、検出対象パターン１０５に従って、行動パターンを検出し、行動パターン管理テーブル１１０に記録する。

【0035】

図３は、検出対象パターン１０５の構成を示したものである。検出対象パターン１０５は、行動パターンを検出するためにイベント種別のシーケンスを定義したものである。検出対象パターン１０５は、各検出パターンに関する情報として、行動パターン名３０１、処理イベント種別３０２、順番３０３を有する。

【0036】

行動パターン名３０１は、行動パターンに付与する一意な名前である。処理イベント種別３０２は、行動パターンを構成するイベント種別である。順番３０３は、処理イベント種別３０２の出現順を規定する。３１１、３１２、３１３の３行で、処理イベントが、接続盤＿遮断、発電機監視操作盤操作続盤＿ＯＦＦ、現場盤操作＿ＯＮの順に出現することを、行動パターン「発電機＿停止」と定義している。

【0037】

図７は、行動パターン管理テーブル１１０の構成を示したものである。行動パターン管理テーブル１１０は、行動パターン検出部１１５によって検出された行動パターンをテーブル形式で構造化し、行単位で管理するものである。行動パターン管理テーブル１１０は、各行動パターンに関する情報として、区分７０１、開始日時７０２、終了日時７０３、種別７０４、対象７０５を有する。

【0038】

区分７０１は、行動パターンか処理イベントかを区別する。開始日時７０２は、行動パターンの最初の処理イベントの発生日時を指す。終了日時７０３は、行動パターンの最後の処理イベントの発生日時を指す。区分７０１が処理イベントの場合、開始日時７０２、終了日時７０３共に、処理イベントの発生日時を指す。種別７０４は、区分７０１が行動パターン（本実施例ではＡ）の時は行動パターン名、区分７０１が処理イベント（本実施例ではＥ）の時は、処理イベント種別を指す。対象７０５は、処理イベント管理テーブル１０９の対象６０３と同じ値を指す。

【0039】

入れ子状態検出部１１６は、行動パターン管理テーブル１１０の中から、入れ子状態定義１０６に従って、入れ子状態を検出し、入れ子状態管理テーブル１１１に記録する。検出時に違反が見つかった場合、違反の内容を違反項目管理テーブル１１２に記録する。

【0040】

図４は、入れ子状態定義１０６の構成を示したものである。入れ子状態定義１０６は、入れ子状態を検出するために、特定の行動パターン（開始パターン）から特定の行動パターン（終了パターン）までを一つの状態として定義する。入れ子状態定義１０６は、状態を定義する情報として、状態名４０１、開始パターン４０２、終了パターン４０３、親状態４０４を有する。

【0041】

状態名４０１は、状態の一意な名称である。開始パターン４０２は、状態を開始させる行動パターン（または処理イベント）を指定する。終了パターン４０３は、状態を終了させる行動パターン（または処理イベント）を指定する。親状態４０４は、自身が他の状態の子の関係にある場合に、親の状態名を指定する。

【0042】

例えば、４１１は、発電機が停止してから、発電機が起動するまでを、「発電機＿停止」状態として定義している。４１２は、冷却運転がＯＮになってから、ＯＦＦになるまでを「冷却運転中＿ＯＮ」状態として定義している。さらに、「冷却運転中＿ＯＮ」は、「発電機＿停止」状態で実施する必要がある。したがって、「冷却運転中＿ＯＮ」は、「発電機＿停止」の子として定義するため、４１２の親状態４０４に、「発電機＿停止」を指定している。

【0043】

図８は、入れ子状態管理テーブル１１１の構成を示したものである。入れ子状態管理テーブル１１１は、入れ子状態検出部１１６によって検出された入れ子状態をテーブル形式で構造化し、行単位で管理するものである。入れ子状態管理テーブル１１１は、各入れ子状態に関する情報として、ＩＤ８０１、状態名８０２、対象８０３、開始日時８０４、終了日時８０５、親ＩＤ８０６を有する。

【0044】

ＩＤ８０１は、入れ子状態を識別する一意なＩＤである。状態名８０２は、入れ子状態定義１０６の状態名４０１を指す。対象８０３は、行動パターン管理テーブル１１０の対象７０５を指す。開始日時８０４は、行動パターン管理テーブル１１０の開始日時７０２を指す。終了日時８０５は、行動パターン管理テーブル１１０の終了日時７０３を指す。親ＩＤ８０６は、自身の親状態のＩＤ８０１を指す。

【0045】

入れ子状態検証部１１７は、入れ子状態管理テーブル１１１の中で、入れ子状態制約定義１０７に合致しているか検証する。制約に違反している入れ子状態があれば、違反項目管理テーブル１１２に記録する。

【0046】

図５は、入れ子状態制約定義１０７の構成を示したものである。入れ子状態制約定義１０７は、ある親状態の子供（兄弟）間の制約を定義する。入れ子状態制約定義１０７は、制約を定義する情報として、ＩＤ５０１、制約区分５０２、親状態５０３、状態Ａ５０４、状態Ｂ５０５を有する。

【0047】

ＩＤ５０１は、制約定義に付与された一意なＩＤである。制約区分５０２は、制約の種別を表す。制約の種別には、先行関係、追従関係、完全先行関係、単独出現などがある。親状態５０３は、制約を定義したい兄弟状態の親状態を指定する。状態Ａ５０４と状態Ｂ５０５は、親状態５０３で指定した状態の子状態を指定する。状態Ａ５０４と状態Ｂ５０５は、制約区分５０２によって役割が変わる。

【0048】

例えば、５１１は、制約区分５０２が追従関係なので、状態Ａ５０４が状態Ｂ５０５より先に開始し、かつ、状態Ｂ５０５が終了する前に状態Ａ５０４が終了している必要がある。制約区分５０２が先行関係の場合は、状態Ａ５０４が状態Ｂ５０５より先に開始する必要があり、制約区分が５０２が完全先行関係の場合は、状態Ａ５０４が終了してから状態Ｂ５０５が開始する必要がある。制約区分５０２が単独出現の場合は、状態Ａ５０４が複数出現すると違反となる。制約の種別は、親子関係や状態間の関係に応じて追加してもよい。

【0049】

図９は、違反項目管理テーブル１１２の構成を示したものである。違反項目管理テーブル１１２、入れ子状態検証部１１７によって検出された違反項目をテーブル形式で構造化し、行単位で管理するものである。違反項目管理テーブル１１２は、各違反項目に関する情報として、制約ＩＤ９０１、親ＩＤ９０２、状態ＡＩＤ９０３、状態ＢＩＤ９０４を有する。

【0050】

制約ＩＤ９０１は、違反のあった入れ子状態制約定義１０７のＩＤ５０１を指す。親ＩＤ９０２は、違反のあった親状態を表し、入れ子状態管理テーブル１１１のＩＤ８０１を指す。状態ＡＩＤ９０３と状態ＢＩＤ９０４は、入れ子状態制約定義１０７の状態Ａ５０４と状態Ｂ５０５に対応する入れ子状態を表し、入れ子状態管理テーブル１１１のＩＤ８０１を指す。

【0051】

図１０は、本実施形態のログ解析装置によって実行される入れ子状態検出方法の手順を示したフローチャートである。まずはじめに、ログデータ取得部１１３は、ログデータを取得する（ステップＳ１００１）。

【0052】

取得したログデータの一例を図２に示す。ログデータ１０２は、ＩｏＴ機器から送られてきたログを想定している。ＩｏＴ機器には、例えば、発電機、給水ポンプ、照明などが有る。

【0053】

次に、処理イベント抽出部１１４は、公知の方法（特許文献２など）にて、取得したログデータから、ログフォーマット１０４にしたがって、処理イベントを抽出し、処理イベント管理テーブル１０９に記録する（ステップＳ１００２）。Ｓ１００２では、必要な処理イベントだけ絞り込むことも出来る。

【0054】

抽出した処理イベントの一例を図６に示す。図６では、発電機関連の処理イベントに絞り込んで抽出している。

【0055】

次に、行動パターン検出部１１５は、公知の方法（特許文献１など）にて、処理イベント管理テーブル１０９の中から、検出対象パターン１０５に従って、行動パターンを検出し、行動パターン管理テーブル１１０に記録する（ステップＳ１００３）。行動パターンとして検出しなかった処理イベントも、行動パターン管理テーブル１１０に記録する。

【0056】

検出した行動パターンの一例を図７に示す。図７は、図３の検出対象パターンにしたがって、図６の処理イベントから行動パターンを検出した結果である。検出対象パターンの３１１、３１２、３１３に対応する処理イベントの６１１、６１２、６１３から行動パターンの７１１として検出する。

【0057】

次に、入れ子状態検出部１１６は、行動パターン管理テーブル１１０の中から、入れ子状態定義１０６に従って、入れ子状態を検出し、入れ子状態管理テーブル１１１に記録する（ステップＳ１００４）。Ｓ１００４は、Ｓ１１０１を呼び出している。Ｓ１１０１は、再帰処理となっているため、引数を持つ。最初の呼び出しには、引数には何も指定しないため、Ｎｏｎｅを指定する。処理方法の詳細は、後に図１１を用いて説明する。

【0058】

次に、入れ子状態検証部１１７は、入れ子状態管理テーブル１１１の中で、入れ子状態制約定義１０７に合致しているか検証する（ステップＳ１００５）。制約に違反している入れ子状態があれば、違反項目管理テーブル１１２に記録する。Ｓ１００５は、Ｓ１２０１を呼び出している。処理方法の詳細は、後に図１２を用いて説明する。

【0059】

図１１は、入れ子状態検出部１１６の検出方法の手順を示したフローチャートである。本フローチャートは再帰処理であるため、呼び出し時に引数が必要である。引数「親状態」には、「Ｎｏｎｅ」または、入れ子状態管理テーブル１１１のレコードを渡す。

【0060】

Ｓ１１０１では、引数「親状態」を受け取って処理を開始する。Ｓ１００４から呼ばれるときには、引数「親状態」には「Ｎｏｎｅ」が渡される。

【0061】

Ｓ１１０２では、入れ子状態定義１０６からレコードを検索する。抽出したレコードの配列を「ｄｅｆｓ」に代入する。

【0062】

引数「親状態」が「Ｎｏｎｅ」の場合、親状態４０４が空のレコードを抽出する。図４の例では、レコード４１１を抽出する。

【0063】

引数「親状態」が「Ｎｏｎｅ」でない場合、親状態４０４が「親状態」の状態名８０２に一致するレコードを抽出する。図４の例では、引数「親状態」にレコード８１１が入っている場合、状態名８０２が「発電機＿停止」なので、レコード４１２、４１３、４１４を抽出する。

【0064】

Ｓ１１０３では、配列「ｄｅｆｓ」の各要素を「ｄ」に代入し、全ての要素「ｄ」に対してＳ１１１５までの処理を実行する。

【0065】

例えば、「ｄｅｆｓ」にレコード４１２、４１３、４１４が入っている場合、各レコードに対して、Ｓ１１１５までの処理を実行するため、合計３回ループする事になる。

【0066】

Ｓ１１０４では、引数「親状態」が「Ｎｏｎｅ」であるか判断する。「ＹＥＳ」の場合は、Ｓ１１０５に進む。「ＮＯ」の場合は、Ｓ１１０６に進む。

【0067】

Ｓ１１０５では、引数「親状態」が「Ｎｏｎｅ」であるので、行動パターン管理テーブル１１０の検索対象の期間を全区間とする。すなわち、「開始日時」に「１９００／０１／０１ ００：００：００」を代入し、「終了日時」に「９９９９／１２／３１ ２３：５９：５９」を代入する。さらに、入れ子状態管理テーブル１１１にレコードを作成するとき、親ＩＤ８０６を「０」にするために、「ｐａｒｅｎｔ」に「０」を代入する。

【0068】

Ｓ１１０６では、引数「親状態」が「Ｎｏｎｅ」でないので、行動パターン管理テーブル１１０の検索対象の期間を親状態の開始日時８０４から終了日時８０５とする。すなわち、「開始日時」に親状態の開始日時８０４を代入し、「終了日時」に親状態の終了日時８０５を代入する。さらに、入れ子状態管理テーブル１１１にレコードを作成するとき、親状態を親とするため、「ｐａｒｅｎｔ」に親状態のＩＤ８０１を代入する。

【0069】

Ｓ１１０７では、開始パターンを見つけるために、行動パターン管理テーブル１１０からレコードを検索する。「開始日時」から「終了日時」の間で、「ｄ」の開始パターン４０２と種別７０４が一致するレコードを全て抽出し、「ｓｔａｒｔｓ」に代入する。

【0070】

例えば、「ｄ」にレコード４１２が代入されている時、「親状態」はレコード８１１が代入されている。レコード４１２の開始パターン４０２は「冷却運転中＿ＯＮ」なので、行動パターン管理テーブル１１０の種別７０４が一致するレコードは７１２となる。したがって、「ｓｔａｒｔｓ」にはレコード７１２が１件代入される。

【0071】

Ｓ１１０８では、配列「ｓｔａｒｔｓ」の各要素を「ｓ」に代入し、全ての要素「ｓ」に対してＳ１１１４までの処理を実行する。

【0072】

Ｓ１１０９では、終了パターンを見つけるために、行動パターン管理テーブル１１０からレコードを検索する。「ｓ」の開始日時７０２から「終了日時」の間で、「ｄ」の終了パターン４０３と種別７０４が一致し、かつ、「ｓ」の対象７０５と対象７０５が一致する直近のレコードを抽出し、「ｅｎｄ」に代入する。一致するレコードが見つからない場合、「ｅｎｄ」には、「Ｎｏｎｅ」が代入される。

【0073】

例えば、「ｓ」にレコード７１２が代入されている時、「ｄ」はレコード４１２が代入されている。レコード４１２の終了パターン４０３は「冷却運転中＿ＯＦＦ」なので、行動パターン管理テーブル１１０の種別７０４が一致するレコードは７１４となる。さらに、レコード７１２とレコード７１４の対象７０５はどちらも「２号発電機」で一致している。したがって、「ｅｎｄ」にはレコード７１４が代入される。

【0074】

Ｓ１１１０では、「ｅｎｄ」が「Ｎｏｎｅ」であるか判断する。「ＹＥＳ」の場合、Ｓ１１１３に進む。「ＮＯ」の場合、Ｓ１１１１に進む。

【0075】

Ｓ１１１１では、終了パターンが見つかったので、入れ子状態を作成し、入れ子状態管理テーブル１１１に登録する。以下の情報を指定してレコードを作成する。ＩＤ８０１は、自動採番で一意な整数を割り当てる。状態名８０２は、「ｄ」の状態名４０１を指定する。対象８０３は、「ｓ」の対象７０５を指定する。開始日時８０４は、「ｓ」の開始日時７０２を指定する。終了日時８０５は、「ｅ」の終了日時７０３を指定する。親ＩＤ８０６は、「ｐａｒｅｎｔ」を指定する。

【0076】

例えば、「ｓ」にレコード７１２、「ｄ」はレコード４１２、「ｅｎｄ」にレコード７１４が代入されているとき、レコード８１２のように登録される。

【0077】

作成したレコードを「ｓｔａｔｅ」に代入する。

【0078】

Ｓ１１１２では、「ｓｔａｔｅ」の子状態を作成するために、図１１のフローチャートを再帰的に呼び出す。引数「親状態」に「ｓｔａｔｅ」を渡すことで、再帰的に子供を作成することが出来る。

【0079】

Ｓ１１１３では、終了パターンが見つからなかったので、違反項目を作成し、違反項目管理テーブル１１２に登録する。以下の情報を指定してレコードを作成する。制約ＩＤ９０１は、未終了を表す「０」を指定する。親ＩＤ９０２は、「ｓ」の親ＩＤ８０６を指定する。状態ＡＩＤ９０３は、「ｓ」のＩＤ８０１を指定する。状態ＢＩＤ９０４は、「Ｎｏｎｅ」を指定する。

【0080】

図１２は、入れ子状態検証部１１７の検証方法の手順を示したフローチャートである。

【0081】

Ｓ１２０２では、入れ子状態制約定義１０７のすべてのレコードから、親状態５０３のすべての値を抽出し、重複を取り除いたものを「ｎａｍｅｓ」に代入する。

【0082】

例えば、図５では、「ｎａｍｅｓ」に、「発電機＿停止」、「冷却機＿停止」の２要素配列が代入される。

【0083】

Ｓ１２０３では、配列「ｎａｍｅｓ」の各要素を「ｎ」に代入し、全ての要素「ｎ」に対してＳ１２１２までの処理を実行する。

【0084】

Ｓ１２０４では、入れ子状態制約定義１０７から親状態５０３が「ｎ」と一致するレコードを抽出し、「ｒｕｌｅｓ」に代入する。

【0085】

例えば、「ｎ」が「発電機＿停止」の時、「ｒｕｌｅｓ」には、レコード５１１、５１２、５１３が入った配列が代入される。

【0086】

Ｓ１２０５では、入れ子状態管理テーブル１１１から状態名８０２が「ｎ」と一致するレコードを抽出し、「ｐａｒｅｎｔｓ」に代入する。

【0087】

例えば、「ｎ」が「発電機＿停止」の時、「ｐａｒｅｎｔｓ」には、レコード８１１が入った配列が代入される。

【0088】

Ｓ１２０６では、配列「ｐａｒｅｎｔｓ」の各要素を「ｐ」に代入し、全ての要素「ｐ」に対してＳ１２１０までの処理を実行する。

【0089】

Ｓ１２０７では、配列「ｒｕｌｅｓ」の各要素を「ｒ」に代入し、全ての要素「ｒ」に対してＳ１２０９までの処理を実行する。

【0090】

Ｓ１２０８では、引数として、「ｒ」、「ｐ」を渡して、Ｓ１３０１を呼び出す。処理の詳細は、図１３で説明する。

【0091】

図１３は、Ｓ１２０８の処理の手順を示したフローチャートである。

【0092】

Ｓ１３０１では、Ｓ１２０８から渡された引数を「ｒｕｌｅ」、「ｐａｒｅｎｔ」に受け取る。

【0093】

Ｓ１３０２では、入れ子状態管理テーブル１１１から、親ＩＤ８０６が「ｐａｒｅｎｔ」のＩＤ８０１に一致するレコードを抽出し、「ｃｈｉｌｄｒｅｎ」に代入する。

【0094】

例えば、「ｒｕｌｅ」にレコード５１１、「ｐａｒｅｎｔ」にレコード８１１が入っている場合、「ｃｈｉｌｄｒｅｎ」には、レコード８１２、８１３、８１４、８１５の入った配列が代入される。

【0095】

Ｓ１３０３では、「ｃｈｉｌｄｒｅｎ」のレコードの中から、状態名８０２が「ｒｕｌｅ」の状態Ａ５０４に一致するレコードを抽出し、「状態Ａ」に代入する。さらに、「ｃｈｉｌｄｒｅｎ」のレコードの中から、状態名８０２が「ｒｕｌｅ」の状態Ｂ５０５に一致するレコードを抽出し、「状態Ｂ」に代入する。

【0096】

例えば、「ｒｕｌｅ」にレコード５１１、「ｐａｒｅｎｔ」にレコード８１１、「ｃｈｉｌｄｒｅｎ」に、レコード８１２、８１３、８１４、８１５の入った配列が代入されている場合、「状態Ａ」には、レコード８１３、８１４の入った配列が代入され、「状態Ｂ」には、レコード８１５の入った配列が代入される。

【0097】

Ｓ１３０４では、「ｖａｌｉｄ」に「Ｆａｌｓｅ」を代入する。

【0098】

Ｓ１３０５では、「ｒｕｌｅ」の制約区分５０２の値で分岐する。「追従関係」の場合は、Ｓ１３０６に進む。「先行関係」の場合は、Ｓ１３０７に進む。「完全先行関係」の場合は、Ｓ１３０８に進む。「単独出現」の場合は、Ｓ１３０９に進む。「その他」の場合は、Ｓ１３１１に進む。

【0099】

Ｓ１３０６では、「状態Ａ」と「状態Ｂ」が追従関係にあるか判断する。追従関係であるとは、「状態Ａ」の全ての開始日時８０４が、「状態Ｂ」の全ての開始日時８０４より前であること、かつ、「状態Ａ」の全ての終了日時８０５が、「状態Ｂ」の全ての終了日時８０５より前である場合に「ＹＥＳ」となる。「ＹＥＳ」の場合は、Ｓ１３１０に進む。「ＮＯ」の場合は、Ｓ１３１１に進む。

【0100】

Ｓ１３０７では、「状態Ａ」と「状態Ｂ」が先行関係にあるか判断する。先行関係であるとは、「状態Ａ」の全ての開始日時８０４が、「状態Ｂ」の全ての開始日時８０４より前である場合に「ＹＥＳ」となる。「ＹＥＳ」の場合は、Ｓ１３１０に進む。「ＮＯ」の場合は、Ｓ１３１１に進む。

【0101】

Ｓ１３０８では、「状態Ａ」と「状態Ｂ」が完全先行関係にあるか判断する。完全先行関係であるとは、「状態Ａ」の全ての終了日時８０５が、「状態Ｂ」の全ての開始日時８０４より前である場合に「ＹＥＳ」となる。「ＹＥＳ」の場合は、Ｓ１３１０に進む。「ＮＯ」の場合は、Ｓ１３１１に進む。

【0102】

Ｓ１３０９では、「状態Ａ」が単独出現にあるか判断する。単独出現であるとは、「状態Ａ」の要素数が１ある場合に「ＹＥＳ」となる。「ＹＥＳ」の場合は、Ｓ１３１０に進む。「ＮＯ」の場合は、Ｓ１３１１に進む。

【0103】

Ｓ１３１０では、「ｖａｌｉｄ」に「Ｔｒｕｅ」を代入する。

【0104】

Ｓ１３１１では、「ｖａｌｉｄ」が「Ｔｒｕｅ」か判断する。「Ｔｒｕｅ」の場合、Ｓ１３１３に進む。「Ｆａｌｓｅ」の場合、Ｓ１３１２に進む。

【0105】

Ｓ１３１２では、違反項目管理テーブル１１２にレコードを追加する。制約ＩＤ９０１には、「ｒｕｌｅ」のＩＤ５０１を指定する。親ＩＤ９０２には、「ｐａｒｅｎｔ」のＩＤ８０１を指定する。状態ＡＩＤ９０３には、「状態Ａ」の先頭のＩＤ８０１を指定する。状態ＢＩＤ９０４には、「状態Ｂ」の先頭のＩＤ８０１を指定する。

【0106】

以上、いくつかの実施形態について示したが、本発明は、例えば、システム、装置、方法、コンピュータプログラムもしくは記録媒体等としての実施態様をとることが可能であり、具体的には、複数の機器から構成されるシステムに適用しても良いし、また、一つの機器からなる装置に適用しても良い。

【0107】

また、本発明におけるコンピュータプログラムは、図１０～１３に示すフローチャートの処理方法をコンピュータが実行可能なコンピュータプログラムであり、本発明の記憶媒体は図１０～１３の処理方法をコンピュータが実行可能なコンピュータプログラムが記憶されている。なお、本発明におけるコンピュータプログラムは図１０～１３の各装置の処理方法ごとのコンピュータプログラムであってもよい。

【0108】

以上のように、前述した実施形態の機能を実現するコンピュータプログラムを記録した記録媒体を、システムあるいは装置に供給し、そのシステムあるいは装置のコンピュータ（またはＣＰＵやＭＰＵ）が記録媒体に格納されたコンピュータプログラムを読出し実行することによっても、本発明の目的が達成されることは言うまでもない。

【0109】

この場合、記録媒体から読み出されたコンピュータプログラム自体が本発明の新規な機能を実現することになり、そのコンピュータプログラムを記憶した記録媒体は本発明を構成することになる。

【0110】

コンピュータプログラムを供給するための記録媒体としては、例えば、フレキシブルディスク、ハードディスク、光ディスク、光磁気ディスク、ＣＤ－ＲＯＭ、ＣＤ－Ｒ、ＤＶＤ－ＲＯＭ、磁気テープ、不揮発性のメモリカード、ＲＯＭ、シリコンディスク、ソリッドステートドライブ等を用いることができる。

【0111】

また、コンピュータが読み出したコンピュータプログラムを実行することにより、前述した実施形態の機能が実現されるだけでなく、そのコンピュータプログラムの指示に基づき、コンピュータ上で稼働しているＯＳ（オペレーティングシステム）等が実際の処理の一部または全部を行い、その処理によって前述した実施形態の機能が実現される場合も含まれることは言うまでもない。

【0112】

さらに、記録媒体から読み出されたコンピュータプログラムが、コンピュータに挿入された機能拡張ボードやコンピュータに接続された機能拡張ユニットに備わるメモリに書き込まれた後、そのコンピュータプログラムコードの指示に基づき、その機能拡張ボードや機能拡張ユニットに備わるＣＰＵ等が実際の処理の一部または全部を行い、その処理によって前述した実施形態の機能が実現される場合も含まれることは言うまでもない。

【0113】

また、本発明は、複数の機器から構成されるシステムに適用しても、１つの機器からなる装置に適用してもよい。また、本発明は、システムあるいは装置にコンピュータプログラムを供給することによって達成される場合にも適応できることは言うまでもない。この場合、本発明を達成するためのコンピュータプログラムを格納した記録媒体を該システムあるいは装置に読み出すことによって、そのシステムあるいは装置が、本発明の効果を享受することが可能となる。

【0114】

さらに、本発明を達成するためのコンピュータプログラムをネットワーク上のサーバ、データベース等から通信プログラムによりダウンロードして読み出すことによって、そのシステムあるいは装置が、本発明の効果を享受することが可能となる。

【0115】

なお、上述した各実施形態およびその変形例を組み合わせた構成も全て本発明に含まれるものである。

【符号の説明】

【0116】

１０１ ログ解析装置

【図1】

【図2】

【図3】

【図4】

【図5】

【図6】

【図7】

【図8】

【図9】

【図10】

【図11】

【図12】

【図13】

【図14】