您的位置： 专家智库 > >

中国博士后科学基金(2012T50489)

作品数：1 被引量：2H指数：1
相关作者：李雯睿张鹏程李宣东更多>>
相关机构：南京晓庄学院河海大学南京大学更多>>
发文基金：中国博士后科学基金国家教育部博士点基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇语义
  • 1篇开放环境
  • 1篇多值
  • 1篇博弈
  • 1篇博弈结构
  • 1篇博弈论

机构

  • 1篇河海大学
  • 1篇南京大学
  • 1篇南京晓庄学院

作者

  • 1篇李宣东
  • 1篇张鹏程
  • 1篇李雯睿

传媒

  • 1篇中国科学：信...

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于博弈论的开放环境下场景规约监控语义被引量：2
2014年
在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.
张鹏程李宣东李雯睿
关键词：开放环境博弈结构
全选 清除 导出
共1页<1>
聚类工具0