PSC2GS:一个基于属性序列图的监控器生成工具

• 作者: 余俊 刘宗磊 周宇鹏 张鹏程
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 运行时验证 监控器 属性序列图 面向方面编程
• 年，卷（期）: 2014,（9）
• 所属期刊栏目: 2013'服务化软件
• 页码范围: 84-87
• 页数: 4页
• 分类号: TP315.69
• 字数: 3596字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2014.09.015

摘要

在开放和动态环境下,系统或环境的不安全的运行时变化可能为整个系统的正确执行埋下隐患,可能最终导致软件失效.基于监控器的软件运行时验证技术已经成为开放环境下侦测软件失效行为的基本方法,该工具采用了一种基于博弈论的从Property Sequence Charts(属性序列图)中自动生成监控器的方法.监控器被赋予多值语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控以及违例.监控器可以提供足够的信息用来预测系统失效.正文中将描述一个名为“PSC2GS”的工具,该工具具有设计属性序列图、基于属性序列图生成博弈结构、基于博弈结构生成Aspect Oriented Programming(面向方面编程)代码(监控器)等一系列功能.PSC2GS提供的完全图形化的前端接口使软件设计者可以不用处理任何特殊的文本或者逻辑公式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张鹏程	河海大学计算机与信息学院	35	115	8.0	8.0
3	周宇鹏	河海大学计算机与信息学院	2	0	0.0	0.0
6	刘宗磊	河海大学计算机与信息学院	2	3	1.0	1.0
7	余俊	河海大学计算机与信息学院	1	0	0.0	0.0