Performance Trees: Expressiveness and Quantitative Semantics

@article{Suto2007PerformanceTE,
  title={Performance Trees: Expressiveness and Quantitative Semantics},
  author={Tamas Suto and Jeremy T. Bradley and William J. Knottenbelt},
  journal={Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)},
  year={2007},
  pages={41-50}
}
Performance trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics, since they support traditional stochastic model checking queries, while also allowing for the direct extraction of a wide range of quantitative measures. In this paper we illustrate differences in expressiveness between performance trees and continuous stochastic logic (CSL), and present quantitative semantics showing… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 11 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 41 REFERENCES

Grid-enabled performance analysis of large semi-Markov models

  • T. Suto
  • Ph.D. Thesis, Department of Computing, Imperial…
  • 2008
1 Excerpt

Similar Papers

Loading similar papers…