面向動作的上下文感知應(yīng)用的規(guī)約與運行時驗證

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