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

摘要：

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

关键词：CSP、ASP、模型检测

所属期刊栏目：40

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金61262008,61100186,61063002;广西自然基金2011GXNSFA018166,2011GXNSFA018164;广西可信软件重点实验室基金项目kx201113

在线出版日期：2014-01-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：133-140