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

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

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

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

1 空間事件模型

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