基于組合著色Petri網的空間復合事件檢測機制

摘　要：通過建立空間事件模型,擴展定義了空間事件復合算子及其語義;采用組合著色Petri網構造基于空間關系的復合事件檢測模型并提出基于該模型的檢測算法;通過應用實例驗證該檢測模型是一個簡潔、有效的復合事件檢測機制。
 
關鍵詞：空間復合事件 組合著色Petri網 復合事件檢測

復合事件及其檢測可以應用到股票交易、網絡管理、航空交通控制、指揮決策等領域。隨著空間信息的廣泛應用,在遠程監(jiān)控、LBS、Location-aware計算等領域,也需要實現(xiàn)與空間有關的事件檢測。傳統(tǒng)空間信息應用系統(tǒng)中與空間有關的復合事件檢測通過在應用處理邏穎嘈詞錄觳獾拇朧迪幀U庵紙餼齜槳覆煥謔迪摯擰⒖評┱溝耐ㄓ孟低場S捎諍芏嗍錄蓖ㄓ玫?事件檢測機制應該是多個應用系統(tǒng)共享,否則系統(tǒng)的維護代價較大。

對復合事件檢測的研究最初是在主動數(shù)據(jù)庫領域中進行的[2]。Ode采用有窮自動機實現(xiàn)復合事件檢測。SAMOS采用著色Petri網對復合事件檢測,可以攜帶事件流及事件參數(shù)等復雜信息。但是SAMOS也沒有定義和說明Petri網的組合問題。為解決不滿足交換律的復合算子的沖突問題,文獻[5]引入了時序算子,提出TR-Petri網。文獻[2]引入部分檢測事件緩沖池和時間緩沖池對原子事件進行高效的過濾。在空間事件檢測方面目前尚未展開更多的研究工作,文獻[1]使用三元組{OID, TS, LOC }定義空間事件模型,支持簡單的空間謂詞檢測,但是這種方法是基于空間對象而不是基于事件本身的空間屬性。文獻[4]討論了從空間完整性約束導出數(shù)據(jù)庫ECA規(guī)則的方法,由于ECA條件和動作部分可以分別在數(shù)據(jù)庫中的查詢處理和事務處理技術中找到相應的解決方案,而事件部分研究的不是很多。本文將在此基礎上,研究基于空間關系的復合事件檢測機制。

1 空間事件模型

在討論基于空間關系的復合事件檢測機制之前,首先必須形式化描述空間事件及空間事件復合算子?？臻g事件模型采用三元組來表示SE={EID,T,S},其中EID∈N表示事件標識;T∈N,表示等距離離散時間信息;S∈R