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.
|Number of pages||31|
|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
- FMT-PA: PROCESS ALGEBRAS
- FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS