期刊文章详细信息
进程代数及其在性能评价中的应用综述
Process Algebra and Application of It in Performance Evaluation
文献类型：期刊文章
机构地区：[1]常熟理工学院软件工程系,常熟215500
年 份：2007
卷 号：28
期 号：9
起止页码：901-905
语 种：中文
收录情况：普通刊
摘 要：进程代数是描述并发和通信系统的数学工具,形式化好、可操作性好,适合对复杂系统进行模型分析。本文从进程代数在计算机系统性能评价中的应用的角度对相关研究进行综述,对在此基础上开发新的形式化工具以及分析现有系统都具有指导意义。首先以CCS和PEPA为例介绍基本进程代数向随机进程代数的演进;然后阐述使用随机进程代数进行性能分析的方法,重点分析了模型简化的技术;比较了进程代数与其他性能评价方法的优缺点。
关 键 词：进程代数 性能评价 模型简化
分 类 号：TP301]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
