Performance Monitoring of Service-Level Agreements for Utility Computing Using the Event Calculus

Authors:
Andrew D. H. Farrell;Marek J. Sergot;David Trastour;Athena Christodoulou
Affiliations:
Imperial College London;Imperial College London;HP Labs;HP Labs
Venue:
WEC '04 Proceedings of the First IEEE International Workshop on Electronic Contracting
Year:
2004

Citing 0
Cited 7

Dealing with contract violations: formalism and domain specific language

EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Analytical quality assurance

Service research challenges and solutions for the future internet
A contract-based approach for monitoring collaborative web services using commitments in the event calculus

WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
The role of agreements in IT management software

Architecting Dependable Systems III
ECMAF: an event-based cross-layer service monitoring and adaptation framework

ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Runtime verification of service-oriented systems: a well-rounded survey

International Journal of Web and Grid Services
A survey on service quality description

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Utility Computing (UC) is concerned with the provisioning of computational resources (compute-power, storage, network bandwidth), on a per-need basis, to corporate businesses. Service-level Agreements (SLAs) - contracts between a provider and a customer - are a sine qua non in the deployment of UC. A crucial stage in the life-cycle of contracts (such as SLAs) is their automated performance monitoring while active; a significant aspect of which concerns the tracking of contract state. In this work, we define an ontology to capture aspects of SLAs that are pertinent to the tracking of state for performance monitoring, and generalise these aspects so that the ontology may be applicable to other contract domains. The ontology is formalised as an XML-based language, called CTXML (contract tracking XML). The semantics for CTXML are presented in terms of a computational model based on the Event Calculus.