基于ECA規(guī)則的情境感知系統(tǒng)建模方法研究.pdf

1、隨著計算機和通信技術的快速發(fā)展，人們已經(jīng)生活在一個服務豐富的普適的數(shù)字化環(huán)境中。普適計算的思想認為計算機應嵌入到環(huán)境中去并與環(huán)境相融合，人在使用計算機時并不確知計算機的存在，從而回歸到以人為中心的計算模式。情境感知計算通過感知相關的環(huán)境信息，自動提供與環(huán)境相適應的服務，實現(xiàn)服務的透明化，而ECA規(guī)則具有強大的語義表達能力，所以近年來被廣泛應用于情境感知系統(tǒng)中。
　　但由于ECA規(guī)則的提取方法難以規(guī)范化，且無法保證正確性，導致其生成

2、過程過于復雜。同時，隨著普適計算的應用發(fā)展，多服務環(huán)境逐漸形成，由其主動性和情境驅動性的特征而引發(fā)的沖突問題日漸突出。針對這些問題，本文以ECA規(guī)則的建模方法為研究對象，從情境感知出發(fā)，提出情境感知系統(tǒng)中建立ECA規(guī)則模型的方法，并在此基礎上分析ECA規(guī)則的一致性檢測方法和沖突檢測方法。
　　本文首先分析了目前國內外對普適計算的研究狀況，明確了普適服務建模過程中存在的問題，以ECA規(guī)則作為情境感知系統(tǒng)中服務的邏輯建模工具，介紹了建

3、立ECA規(guī)則模型的方法，將規(guī)則中的事件進行分類，定義了ECA規(guī)則的語法結構以及條件和動作的模板規(guī)范，并在研究情景分析的基礎上，提出基于情景分析的ECA規(guī)則提取方法，規(guī)定動作間相互排斥和兼容的關系，以及事件的前導關系，并做出一致性檢測;其次，提出了基于SWRL的ECA規(guī)則沖突檢測方法，對沖突的概念和類型做出定義，采用SWRL構建資源消耗和資源狀態(tài)轉換的元規(guī)則，并通過元規(guī)則對服務的行為進行語義分析，識別會產(chǎn)生沖突的服務行為，同時發(fā)現(xiàn)和檢測邏