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.
CITATION STYLE
Hermanns, H., Herzog, U., Klehmet, U., Mertsiotakis, V., & Siegle, M. (1998). Compositional performance modelling with the tipptool. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1469, pp. 51–62). Springer Verlag. https://doi.org/10.1007/3-540-68061-6_5
Mendeley helps you to discover research relevant for your work.