期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
软件体系结构性能评价研究 被引量:9
1
作者 赵会群 孙晶 +1 位作者 王国仁 高远 《计算机科学》 CSCD 北大核心 2003年第2期144-146,共3页
The software architecture is a design of application system,performance evaluation of software architecture during the early stage of their development is really attractive. This paper proposes a new method for softwa... The software architecture is a design of application system,performance evaluation of software architecture during the early stage of their development is really attractive. This paper proposes a new method for software architecture performance modeling. To achieve this ,it adds new calculus into stochastic process algebra(SPA in short),the developed SPA called extended stochastic process algebra (ESPA in short). By ESPA,performance evaluation and software architecture modeling can combine perfectly. It defines a few performance terms for software architecture using reward structure derived from ESPA. To explain the performance terms it also designs an experiment. 展开更多
关键词 软件体系结构 性能评价 软件工程 软件系统 计算机
在线阅读 下载PDF
性能评价形式化方法的现状和发展 被引量:17
2
作者 林闯 李雅娟 王忠民 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期1917-1922,共6页
性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进... 性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进行了综述.文章着重介绍了FM中的三种方法:排队论(Queuing Theory)、随机Petri网(Stochastic Petri—Net,SPN)和随机进程代数(Stochastic Process Algebra,SPA).另外,本文还对不同方法之间的区别和结合做了初步的讨论.最后对形式化方法做了总结和展望. 展开更多
关键词 形式化方法 排队论 随机PETRI网 随机进程代数 计算机网络 PE 性能评价 现状
在线阅读 下载PDF
基于随机进程代数的软件体系结构建模与性能评价 被引量:3
3
作者 赵会群 徐凌宇 +1 位作者 王国仁 高远 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第1期16-19,共4页
软件体系结构是应用系统的逻辑框架 ,在设计阶段分析软件体系结构的各种性能指标 ,可以改进软件系统设计·提出一种基于随机进程代数 (stochasticprocessalgebra简称SPA)的软件体系结构建模方法 ,该方法把软件体系结构建模与性能评... 软件体系结构是应用系统的逻辑框架 ,在设计阶段分析软件体系结构的各种性能指标 ,可以改进软件系统设计·提出一种基于随机进程代数 (stochasticprocessalgebra简称SPA)的软件体系结构建模方法 ,该方法把软件体系结构建模与性能评价相结合 ,从而可以在系统设计阶段分析软件体系结构的性能·实践验证该方法更简单。 展开更多
关键词 软件体系结构 随机进程代数 性能评价 MARKOV过程 回报结构 软件设计 建模机制
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部