Compositional Performance Modelling with the TIPPtool

Compositional Performance Modelling with the TIPPtool

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Hermanns, H., Herzog, U., Klehmet, U., Mertsiotakis, V., Siegle, M.
Format: Buchkapitel
Sprache:eng
Schlagworte:
Applied sciences
Composition Operator
Computer science
control theory
systems
Computer systems performance. Reliability
Exact sciences and technology
Label Transition System
Markov Chain Model
Process Algebra
Semantic Model
Software
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0302-9743
1611-3349
DOI:10.1007/3-540-68061-6_5