Formal Methods for Performance Evaluation
Formal Methods for Performance Evaluation
复制标题
绩效评估的正式方法
DOI：
10.1007/978-3-540-72522-0_4
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Clark A
中科院分区：
文献类型：
--
作者：
Clark A
在本教程中，我们将介绍随机过程代数及其在性能建模中的应用，重点是PEPA形式主义。简要介绍了扩展经典过程代数的随机时间和概率选择的动机。然后，我们提出了一个介绍的建模能力的形式主义和工具，以支持基于马尔可夫的分析。本章通过小例子来说明，演示了形式主义和工具的使用。
In this tutorial we give an introduction to stochastic process algebras and their use in performance modelling, with a focus on the PEPA formalism. A brief introduction is given to the motivations for extending classical process algebra with stochastic times and probabilistic choice. We then present an introduction to the modelling capabilities of the formalism and the tools available to support Markovian based analysis. The chapter is illustrated throughout by small examples, demonstrating the use of the formalism and the tools.
登录
查看更多内容
数值分析方法
DOI：
10.1007/3-540-46506-5_15
发表时间：
2000
期刊：
IEEE Trans. Software Eng.
影响因子：
--
作者：
W. Stewart
通讯作者：
W. Stewart
非马尔可夫分析
影响因子：
3.7
作者：
R. German
通讯作者：
R. German
系统性能建模
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
三坂孝志 ; 久保世志 ; 淺海典男 ; 出田武臣 ; 大林茂;Y. Tamura and S. Yamada
通讯作者：
Y. Tamura and S. Yamada
DOI：
10.1109/tse.1986.6312965
发表时间：
1986
期刊：
IEEE Trans. Software Eng.
影响因子：
--
作者：
D. Ferrari
通讯作者：
D. Ferrari
影响因子：
3.7
作者：
H. Fromm;Uwe Hercksen;U. Herzog;Karl;R. Klar;Wolfgang Kleinöder
通讯作者：
Wolfgang Kleinöder