基于进程代数的并发行为检测模型.pdfVIP

第46卷第1期 四川大学学报(工程科学版) V01．46No．1 OFSICHUAN SCIENCE 2014年1月 JOURNAL UNIVERSITY(ENGINEERINGEDITION) Jan．2014 文章编号：1009-3087(2014)01-0035-06 基于进程代数的并发行为检测模型 马 川1，王 涛1’2，申利民1 (1．燕山大学信息科学与工程学院，河北秦皇岛066004；2．河北科技师范学院，河北秦皇岛066004) 摘要：针对并发行为难以描述和检测的问题，引人进程代数对系统调用序列进行分析，提出一种描述和检测并发 行为的模型。首先通过静态分析二进制码得到系统的控制流程图，并对流程图进行分析生成进程表达式；接着针 对并发行为的互斥和同步关系重写表达式，向表达式中添加并发操作；然后通过扩展进程代数的性质和运算法则 构造出动作、算子和进程3个基本元素，进而建立了模型；最后给出并发行为检测的方法并