面向動(dòng)作的上下文感知應(yīng)用的規(guī)約與運(yùn)行時(shí)驗(yàn)證

　　 面向動(dòng)作的上下文感知（activity-oriented context-aware，簡(jiǎn)稱AOCA）應(yīng)用組織環(huán)境中的資源，為用戶動(dòng)作的順利進(jìn)行提供支持．為應(yīng)對(duì)環(huán)境和動(dòng)作相關(guān)需求的開放性，這類應(yīng)用采用輕量級(jí)、增量式的開發(fā)方法進(jìn)行開發(fā)．相對(duì)于在開發(fā)階段描述全局信息的開發(fā)方法。AOCA應(yīng)用的開發(fā)可能由不同開發(fā)者在不同時(shí)間共同參與，這可能會(huì)導(dǎo)致較多的不一致等問(wèn)題，且難以在開發(fā)階段被發(fā)現(xiàn)．圍繞使用運(yùn)行時(shí)驗(yàn)證手段提高AOCA應(yīng)用可靠性這一目標(biāo)展開研究．給出了對(duì)于AOCA應(yīng)用運(yùn)行狀態(tài)進(jìn)行形式化規(guī)約、對(duì)于系統(tǒng)級(jí)和應(yīng)用級(jí)性質(zhì)進(jìn)行描述的方法．進(jìn)一步地設(shè)計(jì)實(shí)現(xiàn)了AOCA應(yīng)用監(jiān)控器．最后，通過(guò)案例分析以及性能評(píng)估證實(shí)了該方法的有效性．