本文選題：普適計算 + 上下文感知　； 參考：《軟件學(xué)報》2017年05期

【摘要】：面向動作的上下文感知(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ā)者在不同時間共同參與,這可能會導(dǎo)致較多的不一致等問題,且難以在開發(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)控器.最后,通過案例分析以及性能評估證實了該方法的有效性.
[Abstract]:Action-oriented context-aware (AOCA) is an activity-oriented context-aware (AOCA) application that provides support for the smooth implementation of user actions. To cope with the openness of environment and action-related requirements, these applications are developed using lightweight, incremental development methods. The development of AOCA applications may involve different developers at different times, which may lead to many problems such as inconsistency, and it is difficult to be discovered in the development stage. The purpose of improving the reliability of AOCA applications using runtime verification is studied. A formal specification for the running state of AOCA applications and a method for describing system-level and application-level properties are presented. The AOCA application monitor is further designed and implemented. Finally, the effectiveness of the method is verified by case study and performance evaluation.
【作者單位】： 南京理工大學(xué)計算機科學(xué)與工程學(xué)院;計算機軟件新技術(shù)國家重點實驗室(南京大學(xué));
【基金】：國家自然科學(xué)基金(61373011,61202003,61502225)~~
【分類號】：TP311.1

【參考文獻】

相關(guān)期刊論文 前2條

1 張獻;董威;齊治昌;;基于AOP的運行時驗證中的沖突檢測[J];軟件學(xué)報;2011年06期

2 宋巍;馬曉星;胡昊;呂建;;過程感知信息系統(tǒng)中過程的動態(tài)演化[J];軟件學(xué)報;2011年03期

相關(guān)博士學(xué)位論文 前1條

1 李fE松;面向動作的上下文感知應(yīng)用系統(tǒng)的設(shè)計與實現(xiàn)技術(shù)研究[D];南京大學(xué);2016年

【共引文獻】

相關(guān)期刊論文 前10條

1 李fE松;陶先平;呂建;宋巍;;面向動作的上下文感知應(yīng)用的規(guī)約與運行時驗證[J];軟件學(xué)報;2017年05期

2 劉彥斌;王毅剛;葉飛;;多目標約束下軟件運行時驗證加速技術(shù)框架[J];兵器裝備工程學(xué)報;2016年08期

3 魏代森;李學(xué)慶;張家重;;協(xié)同制造環(huán)境下ERP軟件演化及其實現(xiàn)[J];計算機集成制造系統(tǒng);2016年06期

4 郭偉佳;葛寧;王有政;李冬冬;陳曉敏;;航天器自動化任務(wù)流程建模語言設(shè)計與實現(xiàn)[J];計算機工程與設(shè)計;2016年02期

5 董源;李培軍;許舒人;;基于AOP的數(shù)據(jù)庫應(yīng)用安全控制的設(shè)計與實現(xiàn)[J];計算機系統(tǒng)應(yīng)用;2015年12期

6 代飛;莫啟;林雷蕾;李彤;顧思雅;朱銳;;一種多視角的跨組織業(yè)務(wù)過程建模方法[J];計算機集成制造系統(tǒng);2015年11期

7 巫喬順;彭海波;匡勝徽;;過程感知汽車衡集中計量系統(tǒng)的設(shè)計與應(yīng)用[J];冶金自動化;2015年01期

8 黃宏濤;王靜;葉海智;黃少濱;;基于惰性切片的線性時態(tài)邏輯性質(zhì)驗證[J];吉林大學(xué)學(xué)報(工學(xué)版);2015年01期

9 趙振;;面向數(shù)據(jù)流的網(wǎng)構(gòu)軟件服務(wù)動態(tài)演化分析[J];環(huán)球人文地理;2014年24期

10 代飛;莫啟;林雷蕾;朱銳;李彤;謝仲文;;結(jié)合Petri網(wǎng)和Pi演算的協(xié)同業(yè)務(wù)過程建模[J];計算機科學(xué)與探索;2015年06期

【二級參考文獻】

相關(guān)期刊論文 前6條

1 宋巍;馬曉星;呂建;;Web服務(wù)組合動態(tài)演化的實例可遷移性[J];計算機學(xué)報;2009年09期

2 楊芙清;呂建;梅宏;;網(wǎng)構(gòu)軟件技術(shù)體系:一種以體系結(jié)構(gòu)為中心的途徑[J];中國科學(xué)(E輯:信息科學(xué));2008年06期

3 宋巍;竇萬春;劉茜萍;;時間約束Petri網(wǎng)及其可調(diào)度性分析與驗證[J];軟件學(xué)報;2007年01期

4 呂建;陶先平;馬曉星;胡昊;徐鋒;曹春;;基于Agent的網(wǎng)構(gòu)軟件模型研究[J];中國科學(xué)E輯:信息科學(xué);2005年12期

5 馬曉星 ,余萍 ,陶先平 ,呂建;一種面向服務(wù)的動態(tài)協(xié)同架構(gòu)及其支撐平臺[J];計算機學(xué)報;2005年04期

6 黃罡,王千祥,梅宏,楊芙清;基于軟件體系結(jié)構(gòu)的反射式中間件研究[J];軟件學(xué)報;2003年11期

，

本文編號：1981264