扩展π演算对时间相关移动并发系统的建模与推演 |
| |
作者姓名: | 罗玲 段振华 |
| |
作者单位: | 西安电子科技大学计算理论与技术研究所,710071,西安;西安电子科技大学ISN国家重点实验室,710071,西安 |
| |
基金项目: | 国家“973”重点基础研究发展规划资助项目,国家自然科学基金资助项目,综合业务网理论及关键技术国家重点实验室基金资助项目 |
| |
摘 要: | 针对π演算难于对时间相关移动并发系统进行建模和推演,提出了一种采用扩展π演算p-π对时间相关移动并发系统进行形式化建模与推演的方法。该方法首先采用区间动作前缀和瞬时动作前缀分别描述系统的时间相关行为和交互行为,并通过操作算子将子进程进行复合,然后利用操作规则构造出系统的时间相关标记迁移系统和可接受的执行路径,最后基于上述迁移系统和执行路径完成对系统性质的推演。对移动车辆控制系统的分析表明,所提方法可对时间相关移动并发系统进行有效建模和推演,保证时间相关移动并发系统的可靠性。
|
关 键 词: | π演算 时间相关移动并发系统 形式化建模 推演 |
本文献已被 CNKI 万方数据 等数据库收录! |
|