-
题名基于博弈论的开放环境下场景规约监控语义
被引量：2
- 1
-
-
作者
张鹏程
李宣东
李雯睿
-
机构
南京大学计算机软件新技术国家重点实验室
河海大学计算机与信息学院
南京晓庄学院数学与信息技术学院
-
出处
《中国科学：信息科学》
CSCD
2014年第2期263-283,共21页
-
基金
国家自然科学基金(批准号:61202097
61202136
+4 种基金
91318301)
国家高技术研究发展计划(批准号:2012AA011205)
中国博士后基金(批准号:2012T50489
2011M500897)
教育部博士点专项基金(批准号:20120094120009)资助项目
-
文摘
在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.
-
关键词
开放环境
场景规约
属性序列图
多值监控语义
博弈结构
-
Keywords
open environments, scenario-based specification, property sequence chart, multi-valued monitor se-mantics, game structure
-
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
-
