JP2012238217A - 照合装置および照合プログラム - Google Patents
照合装置および照合プログラム Download PDFInfo
- Publication number
- JP2012238217A JP2012238217A JP2011107354A JP2011107354A JP2012238217A JP 2012238217 A JP2012238217 A JP 2012238217A JP 2011107354 A JP2011107354 A JP 2011107354A JP 2011107354 A JP2011107354 A JP 2011107354A JP 2012238217 A JP2012238217 A JP 2012238217A
- Authority
- JP
- Japan
- Prior art keywords
- event
- node
- transition
- automaton
- pattern
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
- 230000007704 transition Effects 0.000 claims description 234
- 238000000034 method Methods 0.000 claims description 55
- 230000008569 process Effects 0.000 claims description 39
- 238000004458 analytical method Methods 0.000 claims description 30
- 238000003860 storage Methods 0.000 claims description 16
- 238000005304 joining Methods 0.000 abstract description 4
- 238000012545 processing Methods 0.000 description 53
- 238000010586 diagram Methods 0.000 description 35
- 238000012795 verification Methods 0.000 description 23
- 238000004364 calculation method Methods 0.000 description 19
- 238000004891 communication Methods 0.000 description 10
- 238000010276 construction Methods 0.000 description 7
- 238000007796 conventional method Methods 0.000 description 7
- 230000006870 function Effects 0.000 description 4
- 238000005516 engineering process Methods 0.000 description 3
- 230000008859 change Effects 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 230000000977 initiatory effect Effects 0.000 description 2
- RJKFOVLPORLFTN-LEKSSAKUSA-N Progesterone Chemical compound C1CC2=CC(=O)CC[C@]2(C)[C@@H]2[C@@H]1[C@@H]1CC[C@H](C(=O)C)[C@@]1(C)CC2 RJKFOVLPORLFTN-LEKSSAKUSA-N 0.000 description 1
- 230000001174 ascending effect Effects 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 230000014509 gene expression Effects 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 238000012544 monitoring process Methods 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
- 230000001960 triggered effect Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
- G06F16/24—Querying
- G06F16/245—Query processing
- G06F16/2455—Query execution
- G06F16/24568—Data stream processing; Continuous queries
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computational Linguistics (AREA)
- Data Mining & Analysis (AREA)
- Databases & Information Systems (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
【解決手段】照合装置100は、イベントパターン140aを基にして解析木140bを生成する。照合装置100は、解析木140bを辿り、積演算ノードの子ノードを並列に積演算ノードに接続し、和演算ノードの子ノードを並列に和演算ノードに接続することで、オートマトン140cを生成する。そして、照合装置100は、イベントストリーム140dとオートマトン140cとを比較し、イベントストリーム140dにイベントパターン140aが含まれているか否かを照合する。
【選択図】図2
Description
前記解析木を辿り、前記積演算ノードの子ノードを並列に前記積演算ノードに接続する処理、および、前記和演算ノードの子ノードを並列に前記和演算ノードに接続する処理を行うことで、オートマトンを生成するオートマトン生成部と、
複数のイベントの発生順序を含むイベントストリームと、前記オートマトンとを順次比較し、前記オートマトンの積演算ノードにおいては、遷移元の全てのノードからの遷移が発動した後に遷移を開始させ、前記オートマトンの和演算ノードにおいては、遷移元のいずれかのノードからの遷移が発動した後に遷移を開始させることで、前記イベントストリームに前記イベントパターンが含まれているか否かを照合する照合部と
を有することを特徴とする照合装置。
単一のイベントの第1パターン、複数のイベントのうち順不同で全てのイベントが発生する第2パターン、または、複数のイベントのうちいずれかのイベントが発生する第3パターンを含み、第1パターン、第2パターン、第3パターンの発生順序を示すイベントパターンに基づいて、前記イベントに対応するイベントノードと、前記第2パターンのイベント間の関係を示す積演算ノードと、前記第3パターンのイベント間の関係を示す和演算ノードとを木構造状に関連付けた解析木を生成して記憶装置に記憶し、
前記記憶装置に記憶された前記解析木を辿り、前記積演算ノードの子ノードを並列に前記積演算ノードに接続する処理、および、前記和演算ノードの子ノードを並列に前記和演算ノードに接続する処理を行うことで、オートマトンを生成して記憶装置に記憶し、
複数のイベントの発生順序を含むイベントストリームと、前記オートマトンとを順次比較し、前記オートマトンの積演算ノードにおいては、遷移元の全てのノードからの遷移が発動した後に遷移を開始させ、前記オートマトンの和演算ノードにおいては、遷移元のいずれかのノードからの遷移が発動した後に遷移を開始させることで、前記イベントストリームに前記イベントパターンが含まれているか否かを照合する
各処理を実行させることを特徴とする照合プログラム。
110 通信部
120 入力部
130 表示部
140 記憶部
150 制御部
Claims (6)
- 単一のイベントの第1パターン、複数のイベントのうち順不同で全てのイベントが発生する第2パターン、または、複数のイベントのうちいずれかのイベントが発生する第3パターンを含み、第1パターン、第2パターン、第3パターンの発生順序を示すイベントパターンに基づいて、前記イベントに対応するイベントノードと、前記第2パターンのイベント間の関係を示す積演算ノードと、前記第3パターンのイベント間の関係を示す和演算ノードとを木構造状に関連付けた解析木を生成する解析木生成部と、
前記解析木を辿り、前記積演算ノードの子ノードを並列に前記積演算ノードに接続する処理、および、前記和演算ノードの子ノードを並列に前記和演算ノードに接続する処理を行うことで、オートマトンを生成するオートマトン生成部と、
複数のイベントの発生順序を含むイベントストリームと、前記オートマトンとを順次比較し、前記オートマトンの積演算ノードにおいては、遷移元の全てのノードからの遷移が発動した後に遷移を開始させ、前記オートマトンの和演算ノードにおいては、遷移元のいずれかのノードからの遷移が発動した後に遷移を開始させることで、前記イベントストリームに前記イベントパターンが含まれているか否かを照合する照合部と
を有することを特徴とする照合装置。 - 前記照合部は、遷移の開始したイベントストリームの開始時刻を特定し、前記オートマトンにおいてノード間の遷移が発生する度に、遷移先のノードのイベント集合に前記開始時刻を順次記憶していき、前記オートマトンの最終状態に到達した場合には、前記最終状態に遷移する前記イベントストリームの終了時刻と、前記開始時刻とを対応づけて出力することを特徴とする請求項1に記載の照合装置。
- 前記照合部は、前記イベントストリームの前記開始時刻に対応するイベントと、前記終了時刻に対応するイベントとの間に含まれるイベント数が閾値未満の場合に、前記開始時刻と前記終了時刻とを出力することを特徴とする請求項2に記載の照合装置。
- 前記照合部は、前記オートマトンの異なるノードから前記積演算ノードに遷移が発生した場合には、異なるノードのイベント集合に記憶された開始時刻のうち、値が小さい方の開始時刻を、前記積演算ノードのイベント集合に記憶することを特徴とする請求項2または3に記載の照合装置。
- 前記照合部は、前記オートマトンの異なるノードから前記和演算ノードに遷移が発生した場合には、異なるノードのイベント集合に記憶された開始時刻のうち、値が大きい方の開始時刻を、前記和演算ノードのイベント集合に記憶することを特徴とする請求項2、3または4に記載の照合装置。
- コンピュータに、
単一のイベントの第1パターン、複数のイベントのうち順不同で全てのイベントが発生する第2パターン、または、複数のイベントのうちいずれかのイベントが発生する第3パターンを含み、第1パターン、第2パターン、第3パターンの発生順序を示すイベントパターンに基づいて、前記イベントに対応するイベントノードと、前記第2パターンのイベント間の関係を示す積演算ノードと、前記第3パターンのイベント間の関係を示す和演算ノードとを木構造状に関連付けた解析木を生成して記憶装置に記憶し、
前記記憶装置に記憶された前記解析木を辿り、前記積演算ノードの子ノードを並列に前記積演算ノードに接続する処理、および、前記和演算ノードの子ノードを並列に前記和演算ノードに接続する処理を行うことで、オートマトンを生成して記憶装置に記憶し、
複数のイベントの発生順序を含むイベントストリームと、前記オートマトンとを順次比較し、前記オートマトンの積演算ノードにおいては、遷移元の全てのノードからの遷移が発動した後に遷移を開始させ、前記オートマトンの和演算ノードにおいては、遷移元のいずれかのノードからの遷移が発動した後に遷移を開始させることで、前記イベントストリームに前記イベントパターンが含まれているか否かを照合する
各処理を実行させることを特徴とする照合プログラム。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2011107354A JP5589952B2 (ja) | 2011-05-12 | 2011-05-12 | 照合装置および照合プログラム |
US13/432,319 US9002861B2 (en) | 2011-05-12 | 2012-03-28 | Matching device and computer-readable storage medium |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2011107354A JP5589952B2 (ja) | 2011-05-12 | 2011-05-12 | 照合装置および照合プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2012238217A true JP2012238217A (ja) | 2012-12-06 |
JP5589952B2 JP5589952B2 (ja) | 2014-09-17 |
Family
ID=47142608
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2011107354A Expired - Fee Related JP5589952B2 (ja) | 2011-05-12 | 2011-05-12 | 照合装置および照合プログラム |
Country Status (2)
Country | Link |
---|---|
US (1) | US9002861B2 (ja) |
JP (1) | JP5589952B2 (ja) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9380068B2 (en) | 2014-08-18 | 2016-06-28 | Bank Of America Corporation | Modification of computing resource behavior based on aggregated monitoring information |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2003308333A (ja) * | 2002-04-16 | 2003-10-31 | Fujitsu Ltd | 繰り返しを含む順序パターンを用いた検索装置および方法 |
JP2006004346A (ja) * | 2004-06-21 | 2006-01-05 | Fujitsu Ltd | パターン検出プログラム |
JP2010026689A (ja) * | 2008-07-17 | 2010-02-04 | Internatl Business Mach Corp <Ibm> | 情報処理装置、情報処理方法およびプログラム |
JP2010225156A (ja) * | 2010-03-26 | 2010-10-07 | Mitsubishi Electric Corp | 文字列照合装置および文字列照合プログラム |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8498956B2 (en) * | 2008-08-29 | 2013-07-30 | Oracle International Corporation | Techniques for matching a certain class of regular expression-based patterns in data streams |
-
2011
- 2011-05-12 JP JP2011107354A patent/JP5589952B2/ja not_active Expired - Fee Related
-
2012
- 2012-03-28 US US13/432,319 patent/US9002861B2/en active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2003308333A (ja) * | 2002-04-16 | 2003-10-31 | Fujitsu Ltd | 繰り返しを含む順序パターンを用いた検索装置および方法 |
JP2006004346A (ja) * | 2004-06-21 | 2006-01-05 | Fujitsu Ltd | パターン検出プログラム |
JP2010026689A (ja) * | 2008-07-17 | 2010-02-04 | Internatl Business Mach Corp <Ibm> | 情報処理装置、情報処理方法およびプログラム |
JP2010225156A (ja) * | 2010-03-26 | 2010-10-07 | Mitsubishi Electric Corp | 文字列照合装置および文字列照合プログラム |
Also Published As
Publication number | Publication date |
---|---|
US9002861B2 (en) | 2015-04-07 |
JP5589952B2 (ja) | 2014-09-17 |
US20120290593A1 (en) | 2012-11-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6252254B2 (ja) | 監視プログラム、監視方法および監視装置 | |
Yoo et al. | Polynomial-time verification of diagnosability of partially observed discrete-event systems | |
JP5364776B2 (ja) | 複数のログ・エントリをマージする技術 | |
CN111414373B (zh) | 一种共识方法和共识系统 | |
US8539585B2 (en) | Systematic approach to uncover visual ambiguity vulnerabilities | |
TWI435236B (zh) | 惡意程式偵測裝置、惡意程式偵測方法及其電腦程式產品 | |
Cassez | The complexity of codiagnosability for discrete event and timed systems | |
CN111338608B (zh) | 分布式应用开发方法、装置、节点设备及可读存储介质 | |
US20080184041A1 (en) | Graph-Based Tamper Resistance Modeling For Software Protection | |
US20110153546A1 (en) | State machine with out-of-order processing functionality and method thereof | |
Chatterjee et al. | The complexity of partial-observation stochastic parity games with finite-memory strategies | |
WO2019179028A1 (zh) | 电子装置、基于动态图片的用户验证方法及存储介质 | |
CN108470126A (zh) | 数据处理方法、装置及存储介质 | |
JP5589952B2 (ja) | 照合装置および照合プログラム | |
Bao et al. | Inferring Motif-Based Diffusion Models for Social Networks. | |
Mitchell | Characterizing communication channel deadlocks in sequence diagrams | |
CN113806335A (zh) | 一种应用于区块链的数据迁移方法及装置 | |
Hong et al. | Timed I/O test sequences for discrete event model verification | |
Su | Cross-chain interaction model in a fully verified way | |
Bhateja | A TGV-like approach for asynchronous testing | |
JP7040003B2 (ja) | グラフ生成方法、情報処理装置およびグラフ生成プログラム | |
CN108153659A (zh) | 程序漏洞检测方法及相关装置 | |
Turker et al. | Minimizing characterizing sets | |
WO2011161771A1 (ja) | タイミング制約生成支援装置、タイミング制約生成支援プログラム、及び、タイミング制約生成支援方法 | |
Türker et al. | Incomplete adaptive distinguishing sequences for non-deterministic FSMs |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20140204 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20140623 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20140701 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20140714 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5589952 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |