Translation of SLAs into Monitoring Specifications

The general architecture of the SLA@SOI framework supports the integration of different types of generic or special-purpose monitoring engines. While internally these engines may realise different monitoring approaches (or reasoning mechanisms), externally they support the same common interface. This interface enables the reasoning engines to receive the SLA guarantee terms that need to be monitored and to report monitoring results to the SLA@SOI framework. However, due to differences in the languages that the monitoring engines use to express operational monitoring specifications, the monitoring of SLAs expressed in the SLA specification language of SLA@SOI requires the translation of these SLAs into operational monitoring specifications. This chapter describes the translation scheme developed for the monitoring engine EVEREST, which has been used in the SLA@SOI framework for monitoring SLAs at the software service layer.

[1]  Luciano Baresi,et al.  Dynamo: Dynamic Monitoring of WS-BPEL Processes , 2005, ICSOC.

[2]  George Spanoudakis,et al.  The SERENITY Runtime Monitoring Framework , 2009, Security and Dependability for Ambient Intelligence.

[3]  Roger Villemaire,et al.  Runtime monitoring of web service choreographies using streaming XML , 2009, SAC '09.

[4]  Susan Stepney,et al.  A Formal Template Language Enabling Metaproof , 2006, FM.

[5]  George Spanoudakis,et al.  Monitoring WS-Agreement s: An Event Calculus-Based Approach , 2007, Test and Analysis of Web Services.

[6]  Schahram Dustdar,et al.  Non-intrusive monitoring and service adaptation for WS-BPEL , 2008, WWW.

[7]  Jocelyn Simmonds,et al.  Runtime Monitoring of Web Service Conversations , 2007, IEEE Transactions on Services Computing.

[8]  Roger Villemaire,et al.  Runtime Monitoring of Message-Based Workflows with Data , 2008, 2008 12th International IEEE Enterprise Distributed Object Computing Conference.

[9]  Dimitris Dranidis,et al.  Run-time Verification of Behavioural Conformance for Conversational Web Services , 2009, 2009 Seventh IEEE European Conference on Web Services.

[10]  George Spanoudakis,et al.  A framework for requirents monitoring of service based systems , 2004, ICSOC '04.

[11]  Carlo Ghezzi,et al.  Run-Time Monitoring in Service-Oriented Architectures , 2007, Test and Analysis of Web Services.

[12]  Carlo Ghezzi,et al.  Monitoring conversational web services , 2007, IW-SOSWE '07.

[13]  Murray Shanahan,et al.  The Event Calculus Explained , 1999, Artificial Intelligence Today.