Service-Level Agreements for Service-Oriented Computing

Allan Clark, Stephen Gilmore, Mirco Tribastone

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Service-oriented computing is dynamic. There may be many possible service instances available for binding, leading to uncertainty about where service requests will execute. We present a novel Markovian process calculus which allows the formal expression of uncertainty about binding as found in service-oriented computing. We show how to compute meaningful quantitative information about the quality of service provided in such a setting. These numerical results can be used to allow the expression of accurate service-level agreements about service-oriented computing.
Original languageEnglish
Title of host publicationRecent Trends in Algebraic Development Techniques
Subtitle of host publication19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
EditorsAndrea Corradini, Ugo Montanari
PublisherSpringer-Verlag GmbH
Number of pages16
ISBN (Electronic)978-3-642-03429-9
ISBN (Print)978-3-642-03428-2
Publication statusPublished - 2009

Publication series

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


Dive into the research topics of 'Service-Level Agreements for Service-Oriented Computing'. Together they form a unique fingerprint.

Cite this