@inproceedings{SMARTMONITORS,
title = {{Smart Monitors for Composed Services}},
address = {New York, NY, USA},
author = {Luciano Baresi and Carlo Ghezzi and Sam Guinea},
booktitle = {ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing},
pages = {193-202},
publisher = {ACM Press},
url = {http://delivery.acm.org/10.1145/1040000/1035195/p193-baresi.pdf?key1=1035195&key2=6598034711&coll=GUIDE&dl=GUIDE&CFID=13982240&CFTOKEN=17498667},
year = {2004},
description = {Smart Monitors for Composed Services},
abstract = {Service-based approaches are widely used to integrate heterogenous
systems. Web services allow for the definition of
highly dynamic systems where components (services) can
be discovered and QoS parameters negotiated at run-time.
This justifies the need for monitoring service compositions
at run-time. Research on this issue, however, is still in its
infancy.
We investigate how to monitor dynamic service compositions
with respect to contracts expressed via assertions on services.
Dynamic compositions are represented as BPEL processes
which can be monitored at run-time to check whether
individual services comply with their contracts. Monitors
can be automatically defined as additional services and linked
to the service composition.
We present two alternative implementations of our monitoring
approach: one based on late-binding and reflection and
the other based on a standard assertion system. The two
implementations are exemplified on a case study.
Categories and Subject Descriptors: D.2.4 Software
Engineering]: Software/Program Verification - Programming
by contract; Assertion checkers D.2.5 [Software Engineering]:
Testing and Debugging - Error handling and recovery;
Monitors},
keywords = {2004 composed monitors services smart }
}
::