| 基于ASP的CSP进程描述与组合研究 |
| |
| 引用本文： | 赵岭忠,司徒凌云,翟仲毅,钱俊彦. 基于ASP的CSP进程描述与组合研究[J]. 计算机科学, 2013, 40(12): 133-140 |
| |
| 作者姓名： | 赵岭忠 司徒凌云 翟仲毅 钱俊彦 |
| |
| 作者单位： | 桂林电子科技大学计算机科学与工程学院 桂林541004;桂林电子科技大学计算机科学与工程学院 桂林541004;桂林电子科技大学计算机科学与工程学院 桂林541004;桂林电子科技大学计算机科学与工程学院 桂林541004 |
| |
| 基金项目： | 本文受国家自然科学基金(61262008,6,61063002),广西自然基金(2011GXNSFA018166,2011GXNSFA018164),广西可信软件重点实验室基金项目(kx201113)资助 |
| |
| 摘 要： | 前期工作中,为解决CSP模型检测不支持一次运行验证多条性质的问题,构建了基于ASP的CSP模型检测框架,但其存在着可描述并发进程形态不完善与可验证并发系统规模受限的问题。构建了全新的并发系统ASP描述体系,其解决了前期工作中前缀描述不允许出现类环状结构的问题,可完整描述各种形态的CSP进程。研究了并发组合进程生成技术,它可使多个进程自动化并发组合,并生成一个满足所有行为特性、具有一致结构特性的新进程,保持了验证框架内进程描述的一致性,有利于并发进程的抽象与验证。实验表明了基于ASP的CSP进程描述与组合进程生成技术的有效性,以及基于该ASP描述体系的系统性质验证的可行性。
|
| 关 键 词： | CSP ASP 模型检测 中图法分类号TP311文献标识码A |
| 收稿时间： | 2013-05-21 |
| 修稿时间： | 2013-07-08 |
Description and Combination of CSP Process Based on ASP |
| |
| ZHAO Ling-zhong,SITU Ling-yun,ZHAI Zhong-yi and QIAN Jun-yan. Description and Combination of CSP Process Based on ASP[J]. Computer Science, 2013, 40(12): 133-140 |
| |
| Authors: | ZHAO Ling-zhong SITU Ling-yun ZHAI Zhong-yi QIAN Jun-yan |
| |
| Affiliation: | School of Computer Science and Engineering,Guilin University of Electronic Technology,Guilin 541004,China;School of Computer Science and Engineering,Guilin University of Electronic Technology,Guilin 541004,China;School of Computer Science and Engineering,Guilin University of Electronic Technology,Guilin 541004,China;School of Computer Science and Engineering,Guilin University of Electronic Technology,Guilin 541004,China |
| |
| Abstract: | |
| |
| Keywords: | CSP ASP Model checking |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
