Passage-End Analysis

Authors:
Allan Clark;Adam Duguid;Stephen Gilmore
Affiliations:
The University of Edinburgh, Scotland;The University of Edinburgh, Scotland;The University of Edinburgh, Scotland
Venue:
EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering
Year:
2009

Citing 8
Cited 1

A compositional approach to performance modelling

A compositional approach to performance modelling
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
The ipclib PEPA Library

QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Assembly Code Analysis Using Stochastic Process Algebra

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
Evaluating quality of service for service level agreements

FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Location-aware quality of service measurements for service-level agreements

TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Functional performance specification with stochastic probes

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

SENSORIA results applied to the case studies

Rigorous software engineering for service-oriented systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Passage-end calculations are a new style of passage measurement for eXtended Stochastic Probes (XSP) [1] which add the ability to split the analysis into several cases depending on conditions which hold at the end of a passage. This makes it possible to separate successful responses to a request from negative responses, timeouts or other failures. This allows the expression of service level agreements such as: "At least 90 percent of all requests receive a response within 10 seconds and at least 60 percent of all such requests are successful."