Runtime monitoring of contract regulated web services

Authors:
A. Lomuscio;M. Solanki;W. Penczek;M. Szreter
Affiliations:
Imperial College London;Univ. of Leicester;ICS PAS and Univ. of Podlasie;ICS PAS
Venue:
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Year:
2010

Citing 4
Cited 1

The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services

Journal of Network and Systems Management
Timed Automata

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
SAT-Based Reachability Checking for Timed Automata with Discrete Data

Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
√erics: a tool for verifying timed automata and estelle specifications

TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems

Representation and monitoring of commitments and norms using OWL

AI Communications - European Workshop on Multi-Agent Systems (EUMAS) 2009

Quantified Score

Hi-index	0.00

Visualization

Abstract

We investigate the problem of locally monitoring contract regulated behaviours agent-based in web services. We encode contract clauses in service specifications by using extended timed automata. We propose a non intrusive local monitoring framework along with an API to monitor the fulfilment (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.