Runtime monitoring of contract regulated web services (Extended Abstract)

We investigate the problem of locally monitoring contract regulated behaviours agent-based in web services. We encode contract clauses in service specications by using extended timed automata. We propose a non intrusive local monitoring framework along with an API to monitor the fullment (or violation) of contractual obligations. We illustrate our methodology by monitoring a service composition scenario from the vehicle repair domain, and report on the experimental results.