Runtime Monitoring of Contract Regulated Web Services

• Autorzy: Lomuscio A. , Penczek W. , Solanki M. , Szreter M.
• Języki publikacji: EN

Abstrakty

EN

We investigate the problem of locally monitoring contract regulated behaviours in agentbased 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 fulfillment (or violation) of contractual obligations. A key feature of the framework is that it is fully symbolic thereby providing a scalable solution to monitoring. At runtime execution steps generated by the service are passed as input to the runtime monitor. Conformance of the execution against the service specification is checked using a symbolically represented extended timed automaton. This allows us to monitor service behaviours over large state spaces generated by multiple, long running contracts. We illustrate our methodology by monitoring a service composition scenario from the vehicle repair domain, and report on the experimental results.

Słowa kluczowe

EN

Timed Automata; timed automata with discrete data

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2011
• Tom: Vol. 111, nr 3
• Strony: 339--353
• Opis fizyczny: Bibliogr. 27 poz., tab., wykr.

Twórcy

autor

Lomuscio A.

autor

Penczek W.

autor

Solanki M.

autor

Szreter M.

• Department of Computing, Imperial College London, UK,

Bibliografia

• [1] R. Alur. Timed Automata. In Proceedings of the 11th International Conference on Computer Aided Verification (CAV'99), volume 1633 of LNCS, pages 8-22. Springer-Verlag, 1999.
• [2] F. Barbon, P. Traverso, M. Pistore, and M. Trainotti. Run-time monitoring of instances and classes of web service compositions. In ICWS '06: Proceedings of the IEEE International Conference on Web Services, pages 63-71, 2006.
• [3] L. Baresi, C. Ghezzi, and S. Guinea. Smart monitors for composed services. In ICSOC '04: Proceedings of the 2nd International Conference on Service Oriented Computing, pages 193-202. ACM, 2004.
• [4] D Bianculli and C. Ghezzi. Monitoring conversational web services. In IW-SOSWE '07: 2nd international workshop on Service oriented software engineering, pages 15-21. ACM, 2007.
• [5] P. Dembiński, A. Janowska, P. Janowski, W. Penczek, A. P´olrola, M. Szreter, B. Wo´zna, and A. Zbrzezny. VerICS: A tool for verifying Timed Automata and Estelle specifications. In TACAS'03: Proc. of the 9th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, LNCS, pages 278-283. Springer-Verlag, 2003.
• [6] N. Desai, N. C. Narendra, and M. P. Singh. Checking correctness of business contracts via commitments. In AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, pages 787-794, 2008.
• [7] N. Eén and N. Sörensson. MiniSat. http://minisat.se/MiniSat.html.
• [8] Andrew D. H. Farrell, Marek J. Sergot, Mathias Sallé, and Claudio Bartolini. Using the event calculus for tracking the normative state of contracts. Int. J. Cooperative Inf. Syst., 14(2-3):99-129, 2005.
• [9] N. Fornara and M. Colombetti. Specifying and enforcing norms in artificial institutions. In AAMAS'08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, pages 1481-1484, 2008.
• [10] G. J. Holzmann. SPIN Model Checker, The: Primer and Reference Manual. Addison Wesley Professional, 2003.
• [11] Gal A. Kaminka, David V. Pynadath Milind Tambe, David V. Pynadath, and Milind Tambe. Monitoring teams by overhearing: A multi-agent plan-recognition approach. Journal of Artificial Intelligence Research, 17:2002, 2002.
• [12] A Keller and H. Ludwig. TheWSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services. J. Netw. Syst. Manage. 11(1), pages 257-265, 2003.
• [13] M. Krichen and S. Tripakis. Black-box conformance testing for real-time systems. In SPIN'04: the 11th International SPIN Workshop on Model Checking of Software, LNCS, pages 109-126, 2004.
• [14] Z. Li, Y. Jin, and J. Han. A runtime monitoring and validation framework for web service interactions. In ASWEC '06: Proceedings of the Australian Software Engineering Conference (ASWEC'06), pages 70-79. IEEE Computer Society, 2006.
• [15] A. Lomuscio and M. Sergot. Deontic interpreted systems. Studia Logica, 75(1):63-92, 2003.
• [16] K. Mahbub and G. Spanoudakis. Run-time monitoring of requirements for systems composed of webservices: initial implementation and evaluation experience. In ICWS'05, IEEE International Conference on Web Services, pages 257-265, 2005.
• [17] K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
• [18] S. Modgil, N. Faci, F. Meneguzzi, N. Oren, S. Miles, and M. Luck. A framework for monitoring agent-based normative systems. In AAMAS '09: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, pages 153-160, 2009.
• [19] C. Molina-Jimenez, S. Shrivastava, E. Solaiman, and J. Warne. Contract representation for run-time monitoring and enforcement. CEC, pages 103-110, 2003.
• [20] S. Dustdar O. Moser, F. Rosenberg. Non-intrusive monitoring and service adaptation for ws-bpel. In WWW '08: Proceeding of the 17th international conference on World Wide Web, pages 815-824. ACM, 2008.
• [21] OASIS Web service Business Process Execution Language (WSBPEL) TC. Web service Business Process Execution Language Version 2.0, 2007.
• [22] P. Pettersson and K. G. Larsen. UPPAAL2k. Bulletin of the European Association for Theoretical Computer Science, 70:40-44, February 2000.
• [23] Marco Pistore, F. Barbon, Piergiorgio Bertoli, D. Shaparau, and Paolo Traverso. Planning and monitoring web service composition. In AIMSA, pages 106-115, 2004.
• [24] F. Raimondi, J. Skene, L. Chen, and W. Emmerich. "efficient monitoring of web service slas". Technical report, UCL, London, 2007.
• [25] Monika Solanki. A Compositional Framework for the Specification, Verification and Runtime Validation of Reactive Web Service. PhD thesis, De Montfort University, Leicester, UK, October 2005.
• [26] M. Wooldridge. An introduction to multi-agent systems. John Wiley, England, 2002.
• [27] A. Zbrzezny and A. P´ołrola. SAT-based reachability checking for timed automata with discrete data. Fundamenta Informaticae, 79(3-4):579-593, 2007.