Describing and verifying monitoring capabilities for SLA-driven service-based systems

M. Comuzzi, G. Spanoudakis

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review


Monitoring the operation of Service Based Systems (SBS) to ensure compliance with a set of service level agreements (SLAs) for example cannot always rely on a pre-specified monitoring infrastructure, where all the information and components required for monitoring are a priori known and available. This because new services with unknown monitoring infrastructures and capabilities may be dynamically assembled to an SBS. To address the need for dynamic configuration of SBS monitoring infrastructures, this paper proposes a model for describing the monitoring capabilities of different services of an SBS and discusses the process for verifying the monitorability of required properties based on these capabilities.
Original languageEnglish
Title of host publicationProceedings of the Forum at the CAiSE 2009 Conference
EditorsE. Yu, J. Eder
Place of PublicationAmsterdam
Publication statusPublished - 2009

Publication series

NameCEUR Workshop Proceedings
ISSN (Print)1613-0073


Dive into the research topics of 'Describing and verifying monitoring capabilities for SLA-driven service-based systems'. Together they form a unique fingerprint.

Cite this