We present a framework for performance prediction of distributed and mobile systems. We rely on process calculi and their structural operational semantics. The dynamic behaviour is described through transition systems whose transitions are labelled by encodings of their proofs that we then map into stochastic processes. We enhance related works by allowing general continuous distributions resorting to a notion of enabling between transitions. We also discuss how the number of resources available affects the overall model. Finally, we introduce a notion of bisimulation that takes stochastic information into account and proves it to be a congruence. When only exponential distributions are of interest our equivalence induces a lumpable partition on the underlying Markov process.
Language-Based Performance Prediction for Distributed and Mobile Systems / Priami, Corrado. - ELETTRONICO. - (2002), pp. 1-37.
Language-Based Performance Prediction for Distributed and Mobile Systems
Priami, Corrado
2002-01-01
Abstract
We present a framework for performance prediction of distributed and mobile systems. We rely on process calculi and their structural operational semantics. The dynamic behaviour is described through transition systems whose transitions are labelled by encodings of their proofs that we then map into stochastic processes. We enhance related works by allowing general continuous distributions resorting to a notion of enabling between transitions. We also discuss how the number of resources available affects the overall model. Finally, we introduce a notion of bisimulation that takes stochastic information into account and proves it to be a congruence. When only exponential distributions are of interest our equivalence induces a lumpable partition on the underlying Markov process.File | Dimensione | Formato | |
---|---|---|---|
17.pdf
accesso aperto
Tipologia:
Versione editoriale (Publisher’s layout)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
474.69 kB
Formato
Adobe PDF
|
474.69 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione