Runtime Monitoring of Contract Regulated Web Services

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.

[1]  Wojciech Penczek,et al.  Verics: A Tool for Verifying Timed Automata and Estelle Specifications , 2003, TACAS.

[2]  Wil M. P. van der Aalst.  Business Process Execution Language , 2009, Encyclopedia of Database Systems.

[3]  Heiko Ludwig,et al.  The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services , 2003, Journal of Network and Systems Management.

[4]  Monika Solanki.  A compositional framework for the specification, verification and runtime validation of reactive web services , 2005 .

[5]  Milind Tambe,et al.  Monitoring Teams by Overhearing: A Multi-Agent Plan-Recognition Approach , 2002, J. Artif. Intell. Res..

[6]  Munindar P. Singh,et al.  Checking correctness of business contracts via commitments , 2008, AAMAS.

[7]  Santosh K. Shrivastava,et al.  Contract representation for run-time monitoring and enforcement , 2003, EEE International Conference on E-Commerce, 2003. CEC 2003..

[8]  Marco Pistore,et al.  Run-Time Monitoring of Instances and Classes of Web Service Compositions , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[9]  Rajeev Alur,et al.  Timed Automata , 1999, CAV.

[10]  Alessio Lomuscio,et al.  Deontic Interpreted Systems , 2003, Stud Logica.

[11]  Michael Luck,et al.  A framework for monitoring agent-based normative systems , 2009, AAMAS.

[12]  Piergiorgio Bertoli,et al.  Planning and Monitoring Web Service Composition , 2004, AIMSA.

[13]  Kenneth L. McMillan,et al.  Symbolic model checking , 1992 .

[14]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

[15]  Stavros Tripakis,et al.  Conformance testing for real-time systems , 2004, SPIN.

[16]  Schahram Dustdar,et al.  Non-intrusive monitoring and service adaptation for WS-BPEL , 2008, WWW.

[17]  Marek J. Sergot,et al.  Using the event calculus for tracking the normative state of contracts , 2005, Int. J. Cooperative Inf. Syst..

[18]  Y. Shoham.  Introduction to Multi-Agent Systems , 2002 .

[19]  George Spanoudakis,et al.  Run-time monitoring of requirements for systems composed of Web-services: initial implementation and evaluation experience , 2005, IEEE International Conference on Web Services (ICWS'05).

[20]  Zheng Li,et al.  A runtime monitoring and validation framework for Web service interactions , 2006, Australian Software Engineering Conference (ASWEC'06).

[21]  Luciano Baresi,et al.  Smart monitors for composed services , 2004, ICSOC '04.

[22]  Agata Pólrola,et al.  SAT-Based Reachability Checking for Timed Automata with Discrete Data , 2007, Fundam. Informaticae.

[23]  Wolfgang Emmerich,et al.  Efficient Monitoring of Web Service SLAs ∗ , 2007 .

[24]  Carlo Ghezzi,et al.  Monitoring conversational web services , 2007, IW-SOSWE '07.