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.
Original language | English |
---|---|
Pages (from-to) | 5-35 |
Number of pages | 31 |
Journal | Performance evaluation |
Volume | 39 |
Issue number | 1-4 |
DOIs | |
Publication status | Published - 2000 |
Event | 10th International Conference on Modelling Techniques and Tools, TOOLS 1998 - Palma de Mallorca, Spain Duration: 14 Sep 1998 → 18 Sep 1998 Conference number: 10 |
Keywords
- FMT-TOOLS
- FMT-PA: PROCESS ALGEBRAS
- FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS