基于偏序简化的并发系统验证

• 作者: 何路 房鼎益 王婷 罗养霞 陈晓江
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 分布式系统 并发系统 偏序简化 进程代数 安全性
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 基金项目论文
• 页码范围: 63-64,67
• 页数: 3页
• 分类号: TP3
• 字数: 2616字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2008.06.026

摘要

构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统.传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题.偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证.但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态.而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用.对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	房鼎益	西北大学信息科学与技术学院	124	1289	16.0	31.0
2	何路	西北大学信息科学与技术学院	16	102	5.0	9.0
3	罗养霞	西北大学信息科学与技术学院	13	102	5.0	10.0
4	陈晓江	西北大学信息科学与技术学院	65	696	13.0	25.0
5	王婷	西北大学信息科学与技术学院	27	33	3.0	4.0