Towards a framework for proactive monitoring of service choreography

In service-oriented application, runtime validation of services compositions is an essential complement to o-line testing. Both passive approaches, i.e., monitoring, and active ones, i.e., on-line testing, have been proposed. In this paper we introduce a conceptual framework that combines both approaches into a proactive monitoring framework. The key idea behind the approach is the denition of a monitoring adequacy criterion by which the thoroughness of monitored choreography executions is assessed within a sliding observation window. If the adequacy criterion is not satised, the monitor can launch the on-line execution of selected test cases aimed at triggering the uncovered behaviours. We illustrate the approach through a prototype instantiation in GlimpsePro and its application to an example case study.