主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
李晅松,陶先平,吕建,宋巍.面向动作的上下文感知应用的规约与运行时验证.软件学报,2017,28(5):1167-1182
面向动作的上下文感知应用的规约与运行时验证
Specification and Runtime Verification for Activity-Oriented Context-Aware Applications
投稿时间:2016-07-15  修订日期:2016-09-25
DOI:10.13328/j.cnki.jos.005215
中文关键词:  普适计算  上下文感知  形式规约  运行时验证
英文关键词:pervasive computing  context-awareness  formal specification  runtime verification
基金项目:国家自然科学基金(61373011,61202003,61502225)
作者单位E-mail
李晅松 南京理工大学 计算机科学与工程学院, 江苏 南京 210094
计算机软件新技术国家重点实验室(南京大学), 江苏 南京 210023 
 
陶先平 计算机软件新技术国家重点实验室(南京大学), 江苏 南京 210023 陶先平,Email:txp@nju.edu.cn 
吕建 计算机软件新技术国家重点实验室(南京大学), 江苏 南京 210023  
宋巍 南京理工大学 计算机科学与工程学院, 江苏 南京 210094
计算机软件新技术国家重点实验室(南京大学), 江苏 南京 210023 
 
摘要点击次数: 1449
全文下载次数: 1046
中文摘要:
      面向动作的上下文感知(activity-oriented context-aware,简称AOCA)应用组织环境中的资源,为用户动作的顺利进行提供支持.为应对环境和动作相关需求的开放性,这类应用采用轻量级、增量式的开发方法进行开发.相对于在开发阶段描述全局信息的开发方法,AOCA应用的开发可能由不同开发者在不同时间共同参与,这可能会导致较多的不一致等问题,且难以在开发阶段被发现.围绕使用运行时验证手段提高AOCA应用可靠性这一目标展开研究.给出了对于AOCA应用运行状态进行形式化规约、对于系统级和应用级性质进行描述的方法.进一步地设计实现了AOCA应用监控器.最后,通过案例分析以及性能评估证实了该方法的有效性.
英文摘要:
      Activity-Oriented context-aware (AOCA) applications organize environment resources to support the smooth performing of user activities. These applications are developed with a light-weight and incremental method in order to deal with the openness of the environment and requirements related to user activities. In contrast to the methods which attempt to deal with information from an overall level, AOCA applications allow different developers take part in the development in different time. However, this method may lead to more problems such as inconsistency. These problems are difficult to be detected in the development phase. This study focuses on using runtime verification to enhance the reliability of AOCA applications. In this paper, a method is first proposed for specifying AOCA application runtime status and describing system-level and application-level properties. Next, an AOCA application monitor is designed and implemented. Moreover, a case study and a performance evaluation are described to demonstrate the usability of this method.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利