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)

    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.
    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
    PublisherSpringer
    Pages51-62
    Number of pages12
    ISBN (Electronic)978-3-540-68061-1
    ISBN (Print)978-3-540-64949-6
    DOIs
    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
    PublisherSpringer
    Volume1469

    Conference

    Conference10th International Conference on Modelling Techniques and Tools, TOOLS 1998
    Abbreviated titleTOOLS
    CountrySpain
    CityPalma de Mallorca
    Period14/09/9818/09/98

    Keywords

    • 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