TY  - JOUR
T1  - Performance evaluation of mobile processes via abstract machines.
JF  - IEEE Transactions on software engineering
A1  - Nottegar, C.
LA  - English
UL  - https://tuklas.up.edu.ph/Record/UP-99796217609583534
AB  - We use a structural operational semantics which drives us in inferring quantitative measures on system evolution. The transitions of the system are labeled and we assign rates to them by only looking at these labels. The rates reflect 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
KW  - Markov chains.
KW  - Abstract machines.
KW  - Calculi for mobility.
KW  - Distributed architecture.
KW  - Formal methodology.
KW  - Mobile computation.
KW  - Mobile processes.
KW  - Performance evaluation.
KW  - Prefetch pipeline machine.
KW  - Quantitative measures.
KW  - Stochastic models.
KW  - Structural operational semantics.
KW  - System evolution.
KW  - Uniprocessor.
ER  -