Location-aware quality of service measurements for service-level agreements

Authors:
Ashok Argent-Katwala;Jeremy Bradley;Allan Clark;Stephen Gilmore
Affiliations:
Department of Computing, Imperial College, London;Department of Computing, Imperial College, London;LFCS, School of Informatics, University of Edinburgh;LFCS, School of Informatics, University of Edinburgh
Venue:
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Year:
2007

Citing 9
Cited 6

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

ACM Transactions on Computer Systems (TOCS)
A compositional approach to performance modelling

A compositional approach to performance modelling
A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time

Theoretical Computer Science
An Efficient Algorithm for Aggregating PEPA Models

IEEE Transactions on Software Engineering
An Efficient Well-Specified Check

PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models

WOSP '04 Proceedings of the 4th international workshop on Software and performance
On Evaluating the Performability of Degradable Computing Systems

IEEE Transactions on Computers
Stochastic model checking

SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Functional performance specification with stochastic probes

EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation

Partial Evaluation of PEPA Models for Fluid-Flow Analysis

EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
State-Aware Performance Analysis with eXtended Stochastic Probes

EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens

Electronic Notes in Theoretical Computer Science (ENTCS)
Passage-End Analysis

EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering
Stochastic Model for QoS Assessment in Multi-tier Web Services

Electronic Notes in Theoretical Computer Science (ENTCS)
Passage-end analysis for analysing robot movement

Rigorous software engineering for service-oriented systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actions to send control signals between measurement components we are able to obtain more accurate measurements from our stochastic models without disturbing their structure. A software tool processes both the model and the measurement specifications to give response time distributions and quantiles, an essential calculation in determining satisfaction of service-level agreements (SLAs).