Efficient online monitoring of web-service SLAs

ABSTRACT

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

REFERENCES

• 1: K. Altisen, F. Cassez, and S. Tripakis. Monitoring and Fault-Diagnosis with Digital Clocks. In 6th Int. Conf. on Application of Concurrency to System Design (ACSD'06), pages 101--110. IEEE CS Press, 2006.
• 2: Rajeev Alur , Costas Courcoubetis , David Dill, Model-checking in dense real-time, Information and Computation, v.104 n.1, p.2-34, May 1993 [doi>10.1006/inco.1993.1024]
• 3: Rajeev Alur , David L. Dill, A theory of timed automata, Theoretical Computer Science, v.126 n.2, p.183-235, April 25, 1994 [doi>10.1016/0304-3975(94)90010-8]
• 4: Luciano Baresi , Carlo Ghezzi , Sam Guinea, Smart monitors for composed services, Proceedings of the 2nd international conference on Service oriented computing, November 15-19, 2004, New York, NY, USA [doi>10.1145/1035167.1035195]
• 5: Armin Biere , Alessandro Cimatti , Edmund M. Clarke , Yunshan Zhu, Symbolic Model Checking without BDDs, Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems, p.193-207, March 22-28, 1999
• 6: Víctor Braberman , Alfredo Olivero , Fernando Schapachnik, Issues in distributed timed model checking: Building Zeus, International Journal on Software Tools for Technology Transfer (STTT), v.7 n.1, p.4-18, February 2005 [doi>10.1007/s10009-004-0143-z]
• 7: D. Cohen, Compiling complex database transition triggers, ACM SIGMOD Record, v.18 n.2, p.225-234, June 1989
• 8: Don Cohen , Martin S. Feather , K. Narayanaswamy , Stephen S. Fickas, Automatic monitoring of software requirements, Proceedings of the 19th international conference on Software engineering, p.602-603, May 17-23, 1997, Boston, Massachusetts, United States [doi>10.1145/253228.253493]
• 9: Suresh Damodaran, B2B integration over the Internet with XML: RosettaNet successes and challenges, Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters, May 19-21, 2004, New York, NY, USA [doi>10.1145/1013367.1013398]
• 10: J. S. Dong, Y. Liu, J. Sun, and X. Zhang. Verification of Computation Orchestration via Timed Automata. In Z. Liu and J. He, editors, Proc. of the 8^th Int. Conference on Formal Engineering Methods, volume 4260 of LNCS, pages 226--245. Springer Verlag, 2006.
• 11: Matthew B. Dwyer , George S. Avrunin , James C. Corbett, Property specification patterns for finite-state verification, Proceedings of the second workshop on Formal methods in software practice, p.7-15, March 04-05, 1998, Clearwater Beach, Florida, United States [doi>10.1145/298595.298598]
• 12: W. Emmerich, B. Butchart, L. Chen, B. Wassermann, and S. L. Price. Grid Service Orchestration using the Business Process Execution Language (BPEL). Journal of Grid Computing, 3(3--4):283--304, 2005.
• 13: Wolfgang Emmerich , Anthony Finkelstein , Stefano Antonelli , Stephen Armitage , Richard Stevens, Managing Standards Compliance, IEEE Transactions on Software Engineering, v.25 n.6, p.836-851, November 1999 [doi>10.1109/32.824413]
• 14: S. Fickas , M. S. Feather, Requirements monitoring in dynamic environments, Proceedings of the Second IEEE International Symposium on Requirements Engineering, p.140, March 27-29, 1995
• 15: Klaus Havelund , Grigore Rosu, Synthesizing Monitors for Safety Properties, Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, p.342-356, April 08-12, 2002
• 16: W. E. J. Skene, F. Raimondi. Service-Level Agreements for Electronic Services. Technical report, 2008. Submitted for Publication.
• 17: Sascha Konrad , Betty H. C. Cheng, Real-time specification patterns, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA [doi>10.1145/1062455.1062526]
• 18: W. Lee, S. McGough, S. Newhouse, and J. Darlington. A Standard Based Approach to Job Submission through Web Servi ces. In S. Cox, editor, Proc. of the UK e-Science All Hands Meeting, Nottingham, pages 901--905. UK EPSRC, 2004. ISBN 1-904425-21-6.
• 19: Giorgia Lodi , Fabio Panzieri , Davide Rossi , Elisa Turrini, SLA-Driven Clustering of QoS-Aware Application Servers, IEEE Transactions on Software Engineering, v.33 n.3, p.186-197, March 2007 [doi>10.1109/TSE.2007.28]
• 20: Khaled Mahbub , George Spanoudakis, A framework for requirents monitoring of service based systems, Proceedings of the 2nd international conference on Service oriented computing, November 15-19, 2004, New York, NY, USA [doi>10.1145/1035167.1035181]
• 21: Christian Nentwich , Licia Capra , Wolfgang Emmerich , Anthony Finkelstein, xlinkit: a consistency checking and smart link generation service, ACM Transactions on Internet Technology (TOIT), v.2 n.2, p.151-185, May 2002 [doi>10.1145/514183.514186]
• 22: PLASTIC. http://www.ist-plastic.org.
• 23: F. Raimondi, J. Skene, W. Emmerich, and B. Woźna. A methodology for online monitoring non-functional specification of web-services. In D. K. C. Attiogbé, editor, Proceedings of the First International Workshop on Property Verification for Software Components and Services (PROVECS'07), number 567 in ETH Technical Report, pages 50--59. COLOSS Team - University of Nantes, 2007.
• 24: William N. Robinson, Monitoring Web Service Requirements, Proceedings of the 11th IEEE International Conference on Requirements Engineering, p.65, September 08-12, 2003
• 25: M. Shanahan. The Event Calculus explained. In Artificial Intelligence Today, volume 1600 of LNCS, pages 409--430. Springer Verlag, 1999.
• 26: J. Skene. The SLAng SLA Language. UCL, http://uclslang.sourceforge.net, 2006.
• 27: James Skene , Wolfgang Emmerich, Specifications, not meta-models, Proceedings of the 2006 international workshop on Global integrated model management, May 22-22, 2006, Shanghai, China [doi>10.1145/1138304.1138315]
• 28: James Skene , D. Davide Lamanna , Wolfgang Emmerich, Precise Service Level Agreements, Proceedings of the 26th International Conference on Software Engineering, p.179-188, May 23-28, 2004
• 29: James Skene , Allan Skene , Jason Crampton , Wolfgang Emmerich, The monitorability of service-level agreements for application-service provision, Proceedings of the 6th international workshop on Software and performance, February 05-08, 2007, Buenes Aires, Argentina [doi>10.1145/1216993.1216997]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging

Keywords:
on-line monitoring, service level agreements, services