基于随机进程代数的软件体系结构建模与性能评价

来源期刊：东北大学学报(自然科学版)2002年第1期

论文作者：赵会群 徐凌宇 王国仁 高远

文章页码：16 - 19

关键词：软件体系结构;进程代数;性能评价;Markov过程;回报结构;软件设计;

摘    要：软件体系结构是应用系统的逻辑框架 ,在设计阶段分析软件体系结构的各种性能指标 ,可以改进软件系统设计·提出一种基于随机进程代数 (stochasticprocessalgebra简称SPA)的软件体系结构建模方法 ,该方法把软件体系结构建模与性能评价相结合 ,从而可以在系统设计阶段分析软件体系结构的性能·实践验证该方法更简单、有效