扩展π演算对时间相关移动并发系统的建模与推演

通知公告

交大新闻

过刊浏览

09 现在的位置：首页 > 期刊导读 > 2014 > 09 >

【作者】罗玲 [1,2] ; 段振华 [1,2]

【关键词】 π演算时间相关移动并发系统形式化建模推演

【摘要】针对π演算难于对时间相关移动并发系统进行建模和推演,提出了一种采用扩展π演算p-π对时间相关移动并发系统进行形式化建模与推演的方法.该方法首先采用区间动作前缀和瞬时动作前缀分别描述系统的时间相关行为和交互行为,并通过操作算子将子进程进行复合,然后利用操作规则构造出系统的时间相关标记迁移系统和可接受的执行路径,最后基于上述迁移系统和执行路径完成对系统性质的推演.对移动车辆控制系统的分析表明,所提方法可对时间相关移动并发系统进行有效建模和推演,保证时间相关移动并发系统的可靠性.

上一篇：岩心三维图像修复算法
下一篇：电力系统短期负荷新型Volterra预测模型研究

09 现在的位置：首页 > 期刊导读 > 2014 > 09 >

扩展π演算对时间相关移动并发系统的建模与推演

【作者】 罗玲 [1,2] ; 段振华 [1,2]

【关键词】 π演算 时间相关移动并发系统 形式化建模 推演

【作者】罗玲 [1,2] ; 段振华 [1,2]

【关键词】 π演算时间相关移动并发系统形式化建模推演