Evaluating quality of service for service level agreements

Authors:
Allan Clark;Stephen Gilmore
Affiliations:
Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland;Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland
Venue:
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Year:
2006

Citing 11
Cited 8

Computing Poisson probabilities

Communications of the ACM
A compositional approach to performance modelling

A compositional approach to performance modelling
JavaGenes and Condor: cycle-scavenging genetic algorithms

Proceedings of the ACM 2000 conference on Java Grande
A probabilistic dynamic technique for the distributed generation of very large state spaces

Performance Evaluation - Special issue on modelling techniques and tools for performance evaluation
Verifying Continuous Time Markov Chains

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
PRISM: Probabilistic Symbolic Model Checker

TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models

IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models

QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models

Journal of Parallel and Distributed Computing
Distributed computing in practice: the Condor experience: Research Articles

Concurrency and Computation: Practice & Experience - Grid Performance
A Markov Reward Model Checker

QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems

State-Aware Performance Analysis with eXtended Stochastic Probes

EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Scalable Analysis of Scalable Systems

FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Quantitative Analysis of Web Services Using SRMC

Formal Methods for Web Services
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
SENSORIA results applied to the case studies

Rigorous software engineering for service-oriented systems
Financial Evaluation and Optimization of Business Processes

International Journal of Information System Modeling and Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the average duration of critical activities used by the service but at the earliest stages of service planning it may be impossible to obtain accurate estimates of the expected duration of these activities. We analyse the time-dependent behaviour of an automotive rescue service in the context of uncertainty about durations. We deploy a distributed computing platform to allow the efficient derivation of quantitative analysis results across the range of possible values for assignments of durations to the symbolic rates of our high-level formal model of the service expressed in a stochastic process algebra.