Language-Based Performance Prediction for Distributed and Mobile Systems

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 sys­tems 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 af­fects 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.