Performance Evaluation of Mobile Processes via Abstract Machines

Nottegar, Chiara and Priami, Corrado and Degano, Pierpaolo (2001) Performance Evaluation of Mobile Processes via Abstract Machines. UNSPECIFIED.

Download (520Kb) | Preview


    We use a structural operational semantics which drives us in inferring quantitative measures on system evolution. The transitions of the system are labelled and we assign rates to them by only looking at these labels. The rates re ect the possibly distributed architecture on which applications run. We then map transition systems to Markov chains, and performance evaluation is carried out using standard tools. As a working example, we compare the performance of a conventional uniprocessor with a prefetch pipeline machine. We also consider two case studies from the literature involving mobile computation to show that our framework is feasible.

    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: Calculi for Mobility, Enhanced Operational Semantics, Formal Methodology, Performance Evaluation, Stochastic Models.
    Additional Information: Appeared in IEEE Transactions on Software Engineering, 27, 10 (2001), 867-889.
    Report Number: DIT-02-020
    Repository staff approval on: 04 Jul 2002

    Actions (login required)

    View Item