Evaluating Service Level Agreements Using Observational Probes

Allan Clark, Stephen Gilmore

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)


We report on our use of quantitative modelling in predicting the success of systems and services in achieving Service Level Agreements (SLAs). We construct models of the systems in the stochastic process algebra PEPA[1], and queries in the language of eXtended Stochastic Probes (XSP[2]). The query and model together are translated into an underlying continuous time Markov chain (CTMC) which is evaluated in order to assess the SLA. This most often requires a passage-time analysis where a passage (sequence of activity observations) is specified and the numerical analysis returns a function mapping the probability of completing the passage against time since the passage was initiated.
Original languageEnglish
Title of host publicationRigorous Software Engineering for Service-Oriented Systems
Subtitle of host publicationResults of the SENSORIA Project on Software Engineering for Service-Oriented Computing
EditorsMartin Wirsing, Matthias Hoelzl
PublisherSpringer-Verlag GmbH
Number of pages19
ISBN (Electronic)978-3-642-20401-2
ISBN (Print)978-3-642-20400-5
Publication statusPublished - 2011

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'Evaluating Service Level Agreements Using Observational Probes'. Together they form a unique fingerprint.

Cite this