基于博弈论的开放环境下场景规约监控语义

编号 zgly0000904578

文献类型 期刊论文

文献题名 基于博弈论的开放环境下场景规约监控语义

作者 张鹏程  李宣东  李雯睿 

作者单位 南京大学计算机软件新技术国家重点实验室  河海大学计算机与信息学院  南京晓庄学院数学与信息技术学院 

母体文献 中国科学:信息科学 

年卷期 2014(2)

页码 263-283

年份 2014 

关键词 开放环境  场景规约  属性序列图  多值监控语义  博弈结构 

文摘内容 在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景。