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

Farrell, Andrew D.H. ; Sergot, Marek J. ; Salle, Mathias ; Bartolini, Claudio ; Trastour, David ; Christodoulou, Athena

HP Development Company

关键词: utility computing;    service-level agreement;    performance monitoring;    deontic logic;    logic-based formalisms;    management by contract;    event calculus;   

RP-ID  :  HPL-2004-20R1

学科分类：计算机科学（综合）

美国|英语

来源: HP Labs

【 摘 要 】

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. 8 Pages