Apprehensive QoS monitoring of Service choreographies

Service choreographies specify the intended interaction protocol among a set of cooperating services at the business application level. For end-users the non-functional properties exposed by a choreographed service composition can be as important as its functional behaviour, if not even more. Therefore, in any choreography development process, the capability of specifying and assessing the established Service Level Agreements (SLAs) becomes a crucial requisite. However, by their very nature, choreography requirements can be quite abstract and may on purpose avoid formalizing non-functional properties for every step of each individual service, nonetheless the overall QoS choreography will be affected by them. In this paper, we propose a monitor enhanced with the capability to detect potential deviations from a choreography-prescribed QoS level, based on the observed non-functional behaviour of the contributing services. Such an apprehensive monitor, as we call it, can thus contribute to predict SLA violations in due time for taking useful counter-measures, and not only detect them after they have occurred. We illustrate the feasibility of the approach on a use-case from the European Project CHOReOS.

[1]  Paolo Traverso,et al.  Service-Oriented Computing: State of the Art and Research Challenges , 2007, Computer.

[2]  Vincenzo Grassi,et al.  KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems , 2011, TOOLS.

[3]  Antonello Calabrò,et al.  Yet another meta-model to specify non-functional properties , 2011, QASBA '11.

[4]  Vincenzo Grassi,et al.  MOSES: A Framework for QoS Driven Runtime Adaptation of Service-Oriented Systems , 2012, IEEE Transactions on Software Engineering.

[5]  Mathias Weske,et al.  Business Process Management: Concepts, Languages, Architectures , 2007 .

[6]  Wolfgang Emmerich,et al.  Monere: Monitoring of Service Compositions for Failure Diagnosis , 2011, ICSOC.

[7]  Mathias Weske,et al.  Interacting services: From specification to execution , 2009, Data Knowl. Eng..

[8]  Giuseppe Lipari,et al.  From functional blocks to the synthesis of the architectural model in embedded real-time applications , 2005, 11th IEEE Real Time and Embedded Technology and Applications Symposium.

[9]  Giuseppe Lipari,et al.  A UML Profile and a Methodology for Real-Time Systems Design , 2006, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06).

[10]  Vincenzo Grassi,et al.  KlaperSuite : an Integrated Model-Driven Environment for Non-Functional Requirements Analysis of Component-Based Systems , 2011 .

[11]  Radu Calinescu,et al.  Dynamic QoS Management and Optimization in Service-Based Systems , 2011, IEEE Transactions on Software Engineering.

[12]  Schahram Dustdar,et al.  Monitoring, Prediction and Prevention of SLA Violations in Composite Services , 2010, 2010 IEEE International Conference on Web Services.

[13]  Mark von Rosing,et al.  Business Process Model and Notation - BPMN , 2015, The Complete Business Process Handbook, Vol. I.

[14]  Raffaela Mirandola,et al.  Non-functional analysis of service choreographies , 2012, 2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS).

[15]  Andrea Polini,et al.  Enhancing Service Federation Trustworthiness through Online Testing , 2012, Computer.

[16]  Raffaela Mirandola,et al.  Quality Requirements for Service Choreographies , 2012, WEBIST.

[17]  Antonello Calabrò,et al.  GLIMPSE: a generic and flexible monitoring infrastructure , 2011, EWDC '11.

[18]  Andrew Hinton,et al.  PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.

[19]  Dragan Ivanovic,et al.  Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations , 2011, ICSOC.

[20]  Andrea Zisman,et al.  QoS-Driven Proactive Adaptation of Service Composition , 2011, ICSOC.

[21]  Andrea Polini,et al.  Validation and Verification Policies for Governance of Service Choreographies , 2012, WEBIST.