Compositional Performance Modelling with the TIPPtool [chapter]

H. Hermanns, U. Herzog, U. Klehmet, V. Mertsiotakis, M. Siegle
1998 Lecture Notes in Computer Science  
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.1007/3-540-68061-6_5 fatcat:6qvkd2tmi5b65ba5ykjjpo6npq