Compositional Performance Modelling with the TIPPtool (1998)
Cached
Download Links
| Venue: | PERFORMANCE EVALUATION |
| Citations: | 45 - 19 self |
BibTeX
@INPROCEEDINGS{Hermanns98compositionalperformance,
author = {H. Hermanns and U. Herzog and U. Klehmet and V. Mertsiotakis and M. Siegle},
title = {Compositional Performance Modelling with the TIPPtool},
booktitle = {PERFORMANCE EVALUATION},
year = {1998},
pages = {5--35},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Stochastic Process Algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional specification as well as solution, based on state-of-the-art-techniques, and wrapped in a user-friendly graphical front end. Apart from highlighting the general benefits of the tool, we also discuss some lessons learned during development and application of the TIPPtool. A non-trivial model of a real life communication system serves as a case study to illustrate benefits and limitations.
