基于嵌套树的对等博弈应用研究

• 作者: 徐中伟 郭婧
• 来源期刊: 高技术通讯
• 关键词: 对等博弈 嵌套树 交替树自动机 μ-演算 概要
• 年，卷（期）: 2015,（10）
• 所属期刊栏目: 计算机与通信技术
• 页码范围: 895-904
• 页数: 10页
• 字数: 11098字
• 语种: 中文
• DOI: 10.3772/j.issn.1002-0470.2015.10-11.005

摘要

进行了软件系统性质验证研究.首先提出了用嵌套树表示软件程序的方法,以解决软件系统的抽象表示问题,该方法能在表示程序顺序结构的同时,更好地表示调用返回关系.然后定义了嵌套树上的μ-演算,以便将要验证的需求性质用公式表示,并把公式转化成非确定对等嵌套树自动机.最后将自动机与嵌套树结合,转化形成博弈图,并用对等博弈条件来判断博弈的输赢,这等同于检验验证公式是否在嵌套树上成立.相比直接验证,这种判定方法表达更为直观,且更有利于整个过程的自动化.研究表明,将嵌套树中的调用关系展开可形成概要标签树,嵌套树的对等博弈理论也可以应用到概要标签树中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学电子与信息工程学院	95	644	13.0	20.0
2	郭婧	同济大学电子与信息工程学院	7	2	1.0	1.0