Service-Level Agreements for Service-Oriented Computing

Authors:
Allan Clark;Stephen Gilmore;Mirco Tribastone
Affiliations:
Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland;Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland;Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland
Venue:
Recent Trends in Algebraic Development Techniques
Year:
2009

Citing 0
Cited 2

Stochastic Model for QoS Assessment in Multi-tier Web Services

Electronic Notes in Theoretical Computer Science (ENTCS)
SENSORIA results applied to the case studies

Rigorous software engineering for service-oriented systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.