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

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

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

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