Runtime monitoring of contract regulated web services

We investigate the problem of locally monitoring contract regulated behaviours 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.

• Type: Conference
• Year: 2010
• Where: ATAL
• Authors: Alessio Lomuscio, Monika Solanki, Wojciech Penczek, Maciej Szreter
• Keywords: ATAL 2010, Contract Regulated Behaviours, Extended Timed Automata, Intelligent Agents, Intrusive Local Monitoring