您好，欢迎来电子发烧友网！ ，新用户？[免费注册]

您的位置：电子发烧友网>源码下载>数值算法/人工智能>

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

大小：0.67 MB 人气： 2017-12-29 需要积分：3

推荐 + 挑错 + 收藏(0) + 用户评论（0）

前往下载地址

分享到:

标签：感知(12039)AOCA(1737)

　　 面向动作的上下文感知（activity-oriented context-aware，简称AOCA）应用组织环境中的资源，为用户动作的顺利进行提供支持．为应对环境和动作相关需求的开放性，这类应用采用轻量级、增量式的开发方法进行开发．相对于在开发阶段描述全局信息的开发方法。AOCA应用的开发可能由不同开发者在不同时间共同参与，这可能会导致较多的不一致等问题，且难以在开发阶段被发现．围绕使用运行时验证手段提高AOCA应用可靠性这一目标展开研究．给出了对于AOCA应用运行状态进行形式化规约、对于系统级和应用级性质进行描述的方法．进一步地设计实现了AOCA应用监控器．最后，通过案例分析以及性能评估证实了该方法的有效性．

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

非常好我支持^.^

(0) 0%

不好我反对

(0) 0%

用户评论

发表评论即可获得积分！ 详见积分规则

      发表评论

      用户评论
      评价:好评中评差评

      发表评论，获取积分！ 请遵守相关规定！