Language-Based Performance Prediction for Distributed and Mobile Systems

Priami, Corrado (2002) Language-Based Performance Prediction for Distributed and Mobile Systems. UNSPECIFIED. (In Press)

Download (474Kb) | Preview


    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.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA075 Electronic computers. Computer science
    Uncontrolled Keywords: Operational semantics, Proved transition system, Stochastic process algebra, General distributions, Performance Prediction
    Additional Information: To appear in Information and Computation
    Report Number: DIT-02-017
    Repository staff approval on: 12 Dec 2002

    Actions (login required)

    View Item