特許

J-GLOBAL ID：201403031839561278

イベントログの検索方法、その装置及びプログラム

発明者： 中島 一 ,  増田 健 ,  高橋 郁也
出願人/特許権者： 日本電信電話株式会社
代理人 (1件)： 特許業務法人アテンダ国際特許事務所
公報種別：特許公報
出願番号（国際出願番号）：特願2012-031315
公開番号（公開出願番号）：特開2013-168045
特許番号：特許第5618381号
出願日： 2012年02月16日
公開日（公表日）： 2013年08月29日
請求項（抜粋）：

【請求項1】 イベントログの集合から特定のイベント発生順序を含むイベントログを検索する方法であって、 入力装置と、SeqBDD形式で表されたイベントログの集合を記憶する記憶装置と、出力装置と、検索制御手段と、イベントログ追加手段と、マップ関数生成手段と、観点列集合変換手段と、検索手段とを用いて、 検索制御手段が、入力装置から特定のイベント発生順序を表す条件を記述した時相論理式が入力されると、記憶装置からイベントログの集合を表すSeqBDDを取り出すステップと、 検索制御手段の制御に応じてマップ関数生成手段が、イベントログの集合に出現するイベントと時相論理式の原子に出現する観点の部分集合とのマップ関数を作成するステップと、 検索制御手段の制御に応じて観点列集合変換手段が、記憶装置から取り出したイベントログの集合を表すSeqBDDを前記マップ関数に基づいて等価な観点列の集合を表すSeqBDDに変換するステップと、 検索制御手段の制御に応じて検索手段が、観点列の集合を表すSeqBDDから前記入力された時相論理式を満たす観点列を抽出するステップと、 検索制御手段が、前記抽出させた観点列をマップ関数の逆関数によりイベントログに変換するステップと、 検索制御手段が、前記変換したイベントログが記憶装置から取り出したイベントログの集合を表すSeqBDDに含まれているか判定し、含まれているイベントログのみ出力装置に出力するステップと、を具備する ことを特徴とするイベントログの検索方法。

IPC (1件)：

G06F 17/30 ( 200 6.01)

FI (2件)：

G06F 17/30 220 Z ,  G06F 17/30 415

引用特許：

審査官引用 (1件)

• 繰り返しを含む順序パターンを用いた検索装置および方法
  公報種別：公開公報   出願番号：特願2002-112959   出願人：富士通株式会社

引用文献：

審査官引用 (4件)

• ZDDを用いたライフログマイニングのための効率的なパターン評価手法
• 系列二分決定グラフを用いた部分文字列索引の構築
• HDLで記述されたハードウェア設計の時相論理による検証
• 逆順の系列集合を表すSeqBDDの構築