Compositional Performance Modelling with the TIPPtool
- Hermanns, H.
- Herzog, U.
- Klehmet, U.
- Mertsiotakis, V.
- Siegle, M.
- Puigjaner, Ramon
- Savino, Nunzio N.
- Serra, Bartomeu
Publication date
February 1998
DOI Publisher
Springer Science and Business Media LLC ISSN
0302-9743 Citation count (estimate)
4Abstract
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
Add to ORKG