Efficient online monitoring of web-service SLAs

Part of book or chapter of book, Conference object, Article English OPEN
Raimondi F. ; Skene J. ; Emmerich W. (2008)

If an organization depends on the service quality provided by\ud another organization it often enters into a bilateral service\ud level agreement (SLA), which mitigates outsourcing risks\ud by associating penalty payments with poor service quality.\ud Once these agreements are entered into, it becomes necessary\ud to monitor their conditions, which will commonly relate\ud to timeliness, reliability and request throughput, at runtime.\ud We show how these conditions can be translated into timed\ud automata. Acceptance of a timed word by a timed automaton\ud can be decided in quadratic time and because the timed\ud automata can operate while messages are exchanged at runtime\ud there is effectively only a linear run-time overhead. We\ud present an implementation to derive on-line monitors for\ud web services automatically from SLAs using an Eclipse plugin.\ud We evaluate the efficiency and scalability of this approach\ud using a large-scale case study in a service-oriented\ud computational grid.
  • References (33)
    33 references, page 1 of 4

    [1] R. Alur, C. Courcoubetis, and D. Dill. Model checking in dense real-time. Information and Computation, 104(1):2-34, 1993.

    [2] R. Alur and D. Dill. A theory of Timed Automata. Theoretical Computer Science, 126(2):183-235, 1994.

    [3] Luciano Baresi, Carlo Ghezzi, and Sam Guinea. Smart monitors for composed services. In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pages 193-202, New York, NY, USA, 2004. ACM Press.

    [4] J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, W. Yi, and C. Weise. New generation of Uppaal. In Proceedings of the International Workshop on Software Tools for Technology Transfer, 1998.

    [5] A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Proc. of TACAS'99, volume 1579 of LNCS, pages 193-207. Springer-Verlag, 1999.

    [6] V. Braberman, A. Olivero, and F. Schapachnik. Issues in Distributed Timed Model Checking. Int. Journal on Software Tools for Technology Transfer, 7(1):4-18, 2005.

    [7] E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.

    [8] D. Cohen. Compiling complex database transition triggers. SIGMOD Rec., 18(2):225-234, 1989.

    [9] Don Cohen, Martin S. Feather, K. Narayanaswamy, and Stephen S. Fickas. Automatic monitoring of software requirements. In Proceedings of the 19th international conference on Software engineering, pages 602-603, New York, NY, USA, 1997. ACM Press.

    [10] S. Damodaran. B2B Integration over the Internet with XML - RosettaNet Successes and Challenges. In Proc. of the World-Wide-Web Conference, 2004, pages 188-195, 2004.

  • Metrics
    No metrics available
Share - Bookmark