Measuring the Performance of Asynchronous Systems with PAFAS

published 2002 in: Augsburg, Germany Technical Report, Institute of Computer Science, University of Augsburg, 2002

Based on PAFAS (Process Algebra for Faster Asynchronous Systems), a testing-based faster-than relation has been developed that compares asynchronous systems according to their worst-case efficiency. While the testing definition is qualitative, we point out that it can also be seen as considering quantitative performance measures. Then we adapt the PAFAS-approach to a setting, where user behaviour is known to belong to a very specific, but often occurring class of request-response behaviours, and show how to determine an asymptotic performance measure for finite-state processes. We discuss a number of examples showing the usefulness of this setting and demonstrating the effect of asynchronicity on the performance measure.

Downloads:

• Measuring the Performance of Asynchronous Systems with PAFAS  -  (2002-4_ps.ps, 513 KB)