首页> 中文会议>第四届全国智能信息处理学术会议 >基于ASP的CSP进程描述与组合研究

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《第四届全国智能信息处理学术会议》|2013年|133-140|共8页
会议地点南宁
作者
ZHAO Ling-zhong; 赵岭忠; SITU Ling-yun; 司徒凌云; ZHAI Zhong-yi; 翟仲毅; QIAN Jun-yan; 钱俊彦;
展开▼
作者单位

中国人工智能学会;

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类程序设计、软件工程;
关键词
计算机程序; 语言模型; 动态服务器页面; 组合进程生成技术;

相似文献

中文文献
外文文献
专利

1. 基于ASP的CSP进程描述与组合研究 [J] . 赵岭忠 ,司徒凌云 ,翟仲毅 . 计算机科学 . 2013,第012期
2. 基于价格进程代数的Web服务组合描述和成本分析 [J] . 肖芳雄 ,黄志球 ,曹子宁 . 计算机研究与发展 . 2009,第005期
3. 基于CSP和RSL的协议形式化描述技术研究 [J] . 顾翔 ,邱建林 . 微电子学与计算机 . 2009,第3期
4. 基于ASP的CSP模型验证性质反例生成技术研究 [J] . 王雪松 ,赵岭忠 ,张超 . 计算机应用研究 . 2013,第001期
5. 基于ASP的CSP并发系统验证研究 [J] . 赵岭忠 ,张超 ,钱俊彦 . 计算机科学 . 2012,第012期
6. 基于CSP的网络协议描述与仿真 [C] . . 第十六届全国网络与数据通信学术会议(NDCC2008) . 2008
7. 基于csp的面向方面状态图形式化描述方法研究 [A] . 刘菲 . 2008

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

摘要

著录项

相似文献

相关主题

期刊订阅