Compositional performance modelling with the TIPPtool

H. Hermanns, U. Herzog, U. Klehmet, V. Mertsiotakis, M. Siegle
2000 Performance evaluation (Print)  
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
more » ... s 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.
doi:10.1016/s0166-5316(99)00056-5 fatcat:g5bc2sukmfa2tjwy3rhjhiomye