發(fā)布時(shí)間：2018-06-05 08:04

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

【摘要】：面向動(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í)了該方法的有效性.
[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é)計(jì)算機(jī)科學(xué)與工程學(xué)院;計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室(南京大學(xué));
【基金】：國(guó)家自然科學(xué)基金(61373011,61202003,61502225)~~
【分類號(hào)】：TP311.1

【參考文獻(xiàn)】

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

1 張獻(xiàn);董威;齊治昌;;基于AOP的運(yùn)行時(shí)驗(yàn)證中的沖突檢測(cè)[J];軟件學(xué)報(bào);2011年06期

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

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

【二級(jí)參考文獻(xiàn)】

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

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

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

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

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

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

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

，

本文編號(hào)：1981264