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

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

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

1 空間事件模型

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