NON-INTRUSIVE MONITORING OF SERVICE-BASED SYSTEMS
George Spanoudakis, Khaled Mahbub · International Journal of Cooperative Information Systems · 2006
This paper presents a framework for monitoring the compliance of systems composed of Web-services with requirements set for them at runtime. This framework assumes systems composed of Web-services which are co-coordinated by a service composition process expressed in BPEL and uses event calculus to specify the requirements to be monitored. These requirements may include behavioral properties of a system which are automatically extracted from the specification of its composition process in BPEL and/or assumptions that system providers can specify in terms of events extracted from this specification.