面向动作的上下文感知应用的规约与运行时验证

发布时间：2018-06-05 08:04

  本文选题：普适计算 + 上下文感知　； 参考：《软件学报》2017年05期

【摘要】：面向动作的上下文感知(activity-oriented context-aware,简称AOCA)应用组织环境中的资源,为用户动作的顺利进行提供支持.为应对环境和动作相关需求的开放性,这类应用采用轻量级、增量式的开发方法进行开发.相对于在开发阶段描述全局信息的开发方法,AOCA应用的开发可能由不同开发者在不同时间共同参与,这可能会导致较多的不一致等问题,且难以在开发阶段被发现.围绕使用运行时验证手段提高AOCA应用可靠性这一目标展开研究.给出了对于AOCA应用运行状态进行形式化规约、对于系统级和应用级性质进行描述的方法.进一步地设计实现了AOCA应用监控器.最后,通过案例分析以及性能评估证实了该方法的有效性.
[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.
【作者单位】： 南京理工大学计算机科学与工程学院;计算机软件新技术国家重点实验室(南京大学);
【基金】：国家自然科学基金(61373011,61202003,61502225)~~
【分类号】：TP311.1

【参考文献】

相关期刊论文 前2条

1 张献;董威;齐治昌;;基于AOP的运行时验证中的冲突检测[J];软件学报;2011年06期

2 宋巍;马晓星;胡昊;吕建;;过程感知信息系统中过程的动态演化[J];软件学报;2011年03期

相关博士学位论文 前1条

1 李fE松;面向动作的上下文感知应用系统的设计与实现技术研究[D];南京大学;2016年

【共引文献】

相关期刊论文 前10条

1 李fE松;陶先平;吕建;宋巍;;面向动作的上下文感知应用的规约与运行时验证[J];软件学报;2017年05期

2 刘彦斌;王毅刚;叶飞;;多目标约束下软件运行时验证加速技术框架[J];兵器装备工程学报;2016年08期

3 魏代森;李学庆;张家重;;协同制造环境下ERP软件演化及其实现[J];计算机集成制造系统;2016年06期

4 郭伟佳;葛宁;王有政;李冬冬;陈晓敏;;航天器自动化任务流程建模语言设计与实现[J];计算机工程与设计;2016年02期

5 董源;李培军;许舒人;;基于AOP的数据库应用安全控制的设计与实现[J];计算机系统应用;2015年12期

6 代飞;莫启;林雷蕾;李彤;顾思雅;朱锐;;一种多视角的跨组织业务过程建模方法[J];计算机集成制造系统;2015年11期

7 巫乔顺;彭海波;匡胜徽;;过程感知汽车衡集中计量系统的设计与应用[J];冶金自动化;2015年01期

8 黄宏涛;王静;叶海智;黄少滨;;基于惰性切片的线性时态逻辑性质验证[J];吉林大学学报(工学版);2015年01期

9 赵振;;面向数据流的网构软件服务动态演化分析[J];环球人文地理;2014年24期

10 代飞;莫启;林雷蕾;朱锐;李彤;谢仲文;;结合Petri网和Pi演算的协同业务过程建模[J];计算机科学与探索;2015年06期

【二级参考文献】

相关期刊论文 前6条

1 宋巍;马晓星;吕建;;Web服务组合动态演化的实例可迁移性[J];计算机学报;2009年09期

2 杨芙清;吕建;梅宏;;网构软件技术体系:一种以体系结构为中心的途径[J];中国科学(E辑:信息科学);2008年06期

3 宋巍;窦万春;刘茜萍;;时间约束Petri网及其可调度性分析与验证[J];软件学报;2007年01期

4 吕建;陶先平;马晓星;胡昊;徐锋;曹春;;基于Agent的网构软件模型研究[J];中国科学E辑:信息科学;2005年12期

5 马晓星 ,余萍 ,陶先平 ,吕建;一种面向服务的动态协同架构及其支撑平台[J];计算机学报;2005年04期

6 黄罡,王千祥,梅宏,杨芙清;基于软件体系结构的反射式中间件研究[J];软件学报;2003年11期

，

本文编号：1981264