基于組合著色Petri網(wǎng)的空間復(fù)合事件檢測機制

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

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

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

1 空間事件模型

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