Compositional Performance Modelling with the TIPPtool

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    8 Citations (Scopus)


    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.
    Original languageEnglish
    Title of host publicationComputer Performance Evaluation
    Subtitle of host publicationModelling Techniques and Tools 10th International Conference, Tools’98 Palma de Mallorca, Spain September 14–18, 1998 Proceedings
    EditorsRamon Puigjaner, Nunzio N. Savino, Bartomeu Serra
    Place of PublicationBerlin, Heidelberg
    Number of pages12
    ISBN (Electronic)978-3-540-68061-1
    ISBN (Print)978-3-540-64949-6
    Publication statusPublished - 8 Feb 1998
    Event10th International Conference on Modelling Techniques and Tools, TOOLS 1998 - Palma de Mallorca, Spain
    Duration: 14 Sep 199818 Sep 1998
    Conference number: 10

    Publication series

    NameLecture Notes in Computer Science


    Conference10th International Conference on Modelling Techniques and Tools, TOOLS 1998
    Abbreviated titleTOOLS
    CityPalma de Mallorca


    • Composition operator
    • Semantic model
    • Markov chain model
    • Label transition system
    • Process algebra

    Fingerprint Dive into the research topics of 'Compositional Performance Modelling with the TIPPtool'. Together they form a unique fingerprint.

    Cite this