Measuring the performance of asynchronous systems with PAFAS
- 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.
Author: | Flavio Corradini, Walter VoglerGND |
---|---|
URN: | urn:nbn:de:bvb:384-opus4-1487 |
Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/197 |
Series (Serial Number): | Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2002-04) |
Type: | Report |
Language: | English |
Year of first Publication: | 2002 |
Publishing Institution: | Universität Augsburg |
Release Date: | 2006/06/08 |
Institutes: | Fakultät für Angewandte Informatik |
Fakultät für Angewandte Informatik / Institut für Informatik | |
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik | |
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Professur für Theorie verteilter Systeme | |
Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |