基于ASP的CSP进程描述与组合研究

• 作者: 司徒凌云 翟仲毅 赵岭忠 钱俊彦
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: CSP ASP 模型检测
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 2013'智能信息处理
• 页码范围: 133-140
• 页数: 8页
• 分类号: TP311
• 字数: 9982字
• 语种: 中文

摘要

前期工作中,为解决CSP模型检测不支持一次运行验证多条性质的问题,构建了基于ASP的CSP模型检测框架,但其存在着可描述并发进程形态不完善与可验证并发系统规模受限的问题.构建了全新的并发系统ASP描述体系,其解决了前期工作中前缀描述不允许出现类环状结构的问题,可完整描述各种形态的CSP进程.研究了并发组合进程生成技术,它可使多个进程自动化并发组合,并生成一个满足所有行为特性、具有一致结构特性的新进程,保持了验证框架内进程描述的一致性,有利于并发进程的抽象与验证.实验表明了基于ASP的CSP进程描述与组合进程生成技术的有效性,以及基于该ASP描述体系的系统性质验证的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱俊彦	桂林电子科技大学计算机科学与工程学院	86	238	9.0	10.0
2	赵岭忠	桂林电子科技大学计算机科学与工程学院	64	229	8.0	11.0
6	司徒凌云	桂林电子科技大学计算机科学与工程学院	1	9	1.0	1.0
7	翟仲毅	桂林电子科技大学计算机科学与工程学院	5	24	2.0	4.0