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

作     者：余俊 张鹏程 周宇鹏 刘宗磊 YU Jun;ZHANG Peng-cheng;ZHOU Yu-peng;LIU Zong-lei

作者机构：河海大学计算机与信息学院南京211100 南京大学计算机软件新技术国家重点实验室南京210093 

基　　金：国家自然科学基金(61202097 61202136) 中国博士后基金(2012T50489 2011M500897) 教育部博士点专项基金(20120094120009)资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2014年第41卷第9期

页      码：84-87页

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

主 题 词：运行时验证 监控器 属性序列图 面向方面编程 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 

核心收录：

D　O　I：10.11896/j.issn.1002-137X.2014.09.015

馆 藏 号：203551165...