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

PSC2GS：一个基于属性序列图的监控器生成工具 余俊1 张鹏程Ⅵ周宇鹏1 刘宗磊， (河海大学计算机与信息学院 南京211100)1 (南京大学计算机软件新技术国家重点实验室 摘要在开放和动态环境下，系统或环境的不安全的运行时变化可能为整个系统的正确执行埋下隐患，可能最终导 致软件失效。基于监控器的软件运行时验证技术已经成为开放环境下侦测软件失效行为的基本方法，该工具采用了 一种基于博弈论的从PropertySequence Charts(属性序列图)q-自动生成监控器的方法。监控器被赋予多值语义：满 足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控以及违例。监控器可以提供足够的信息用 来预测系统失效。正文中将描述一个名为“PSC2GS”的工具，该工具具有设计属性序列图、基于属性序列图生成博弈 Oriented 结构、基于博弈结构生成Aspect 的完全图形化的前端接口使软件设计者可以不用处理任何特殊的文本或者逻辑公式。 关键词 运行时验证，监控器，属性序列图，面向方面编程 中图法分类号TP315．69 DOI 文献标识码A 1002137EL2014．09．015 10．11896／j．issn PSC2GS：AToolfor MonitorsBasedon Charts Generating PropertySequence YU JunlZHANG ZHOU LIU leil Pengchen91，2 Ympen91Zong of (College andInformation，Hohai Computer 211100，China)1 University，Nanjing (State ofNovelSoftware KeyLaboratory 210093，China)2 Technology，NanjingUniversity，Nanjing 一一一一～一一一一一 ．蓍训一妇№一．一_薹一小 一一～～瓣一一渊一嘶 一一一一一一一一一一 ～一一一～一一一一～一一 一一一一一～一一一一一～ 一一一～一一一一～～～一 ～ 咄 g 1 引言 ～一一一～一～一一一她一 想是生成一个可以检查运行时行为是否满足系统所需要属性 的监控器，这些属性用一种特定的语言表示豳。属性的验证 近年来，由于SOA(ServiceOriented Architecture)这类 大多集中在基于逻辑规范和基于场景规范两种方法。基于逻 新范式的出现，软件密集型系统的环境正在从静态、封闭、可 辑的形式通常比基于场景的形式具有更强的表达能力，但是 控向动态、开放、不