Compositional Performance Modelling with the TIPPtool

H. Hermanns; U. Herzog; U. Klehmet; V. Mertsiotakis; M. Siegle

doi:10.1016/S0166-5316(99)00056-5

Compositional Performance Modelling with the TIPPtool

H. Hermanns, U. Herzog, U. Klehmet, V. Mertsiotakis, M. Siegle

Research output: Contribution to journal › Article › Academic › peer-review

53 Citations (Scopus)

97 Downloads (Pure)

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	https://doi.org/10.1016/S0166-5316(99)00056-5
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

Access to Document

10.1016/S0166-5316(99)00056-5

Cite this

@article{d60ccb328f304925aed51768b0ded4e6,

title = "Compositional Performance Modelling with the TIPPtool",

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.",

keywords = "FMT-TOOLS, FMT-PA: PROCESS ALGEBRAS, FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS",

author = "H. Hermanns and U. Herzog and U. Klehmet and V. Mertsiotakis and M. Siegle",

year = "2000",

doi = "10.1016/S0166-5316(99)00056-5",

language = "English",

volume = "39",

pages = "5--35",

journal = "Performance evaluation",

issn = "0166-5316",

publisher = "Elsevier",

number = "1-4",

note = "10th International Conference on Modelling Techniques and Tools, TOOLS 1998, TOOLS ; Conference date: 14-09-1998 Through 18-09-1998",

}

TY - JOUR

T1 - Compositional Performance Modelling with the TIPPtool

AU - Hermanns, H.

AU - Herzog, U.

AU - Klehmet, U.

AU - Mertsiotakis, V.

AU - Siegle, M.

N1 - Conference code: 10

PY - 2000

Y1 - 2000

N2 - 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.

AB - 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.

KW - FMT-TOOLS

KW - FMT-PA: PROCESS ALGEBRAS

KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

U2 - 10.1016/S0166-5316(99)00056-5

DO - 10.1016/S0166-5316(99)00056-5

M3 - Article

VL - 39

SP - 5

EP - 35

JO - Performance evaluation

JF - Performance evaluation

SN - 0166-5316

IS - 1-4

T2 - 10th International Conference on Modelling Techniques and Tools, TOOLS 1998

Y2 - 14 September 1998 through 18 September 1998

ER -

Compositional Performance Modelling with the TIPPtool

Abstract

Keywords

Access to Document

Fingerprint

Cite this