Runtime monitoring of contract regulated web services ( Extended Abstract )

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… (More)

Topics

1 Figure or Table

Slides referencing similar topics