Efficient online monitoring of web-service SLAs

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2008, Pages 170-180

  Raimondi, Franco ^a   Skene, James ^a   Emmerich, Wolfgang ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

On line monitoring; Service Level Agreements; Services

Indexed keywords

COMPUTATIONAL GRIDS; ECLIPSE PLUGIN; LINEAR-RUN; ON-LINE MONITORS; ONLINE MONITORING; PENALTY PAYMENT; QUADRATIC TIME; RUNTIMES; SERVICE LEVEL AGREEMENTS; SERVICE ORIENTED; SERVICE QUALITY; TIMED AUTOMATA;

AUTOMATA THEORY; COMPUTER SOFTWARE; NETWORK ARCHITECTURE; ROBOTS; TRANSLATION (LANGUAGES); VOLTAGE MEASUREMENT;

QUALITY OF SERVICE;

EID: 77950515223     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1453101.1453125     Document Type: Conference Paper

References (29)

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. R. Alur, C. Courcoubetis, and D. Dill. Model checking in dense real-time. Information and Computation, 104(1):2-34, 1993.
3. R. Alur and D. Dill. A theory of Timed Automata. Theoretical Computer Science, 126(2):183-235, 1994.
4. 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, New York, NY, USA, 2004. ACM Press. (Pubitemid 40821150)
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. (Pubitemid 40259401)
7. D. Cohen. Compiling complex database transition triggers. SIGMOD Rec., 18(2):225-234, 1989.
8. D. Cohen, M. S. Feather, K. Narayanaswamy, and S. 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.
9. 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.
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 8th Int. Conference on Formal Engineering Methods, volume 4260 of LNCS, pages 226-245. Springer Verlag, 2006.
11. M. B. Dwyer, G. S. Avrunin, and J. C. Corbett. Property specification patterns for finite-state verification. In M. Ardis, editor, Proceedings of the 2nd Workshop on Formal Methods in Software Practice (FMSP'98), pages 7-15, New York, 1998. ACM Press.
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. W. Emmerich, A. Finkelstein, C. Montangero, S. Antonelli, S. Armitage, and R. Stevens. Managing Standards Compliance. IEEE Transactions on Software Engineering, 25(6):836-851, 1999.
14. S. Fickas and M. Feather. Requirements Monitoring in Dynamic Environments. In Proc. of the 2nd IEEE Int. Symposium on Requirements Engineering, York, pages 140-147. IEEE Computer Society Press, 1995.
15. K. Havelund and G. Rosu. Synthesizing monitors for safety properties. In Tools and Algorithms for Construction and Analysis of Systems, pages 342-356, 2002.
16. W. E. J. Skene, F. Raimondi. Service-Level Agreements for Electronic Services. Technical report, 2008. Submitted for Publication.
17. S. Konrad and B. H. C. Cheng. Real-time specification patterns. In ICSE '05: Proceedings of the 27th international conference on Software engineering, pages 372-381, 2005.
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. G. Lodi, F. Panzieri, D. Rossi, and E. Turrini. SLA-Driven Clustering of QoS-Aware Application Servers. IEEE Transactions on Software Engineering, 33(3):186-197, 2007.
20. K. Mahbub and G. Spanoudakis. A framework for requirents monitoring of service based systems. In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pages 84-93, New York, NY, USA, 2004. ACM Press.
21. C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: A Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2(2):151-185, 2002.
22. PLASTIC. http://www.ist-plastic.org.
23. F. Raimondi, J. Skene, W. Emmerich, and B. Wózna. A methodology for online monitoring non-functional specification of web-services. In D. K. C. Attiogb́e, 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. W. N. Robinson. Monitoring Web Service Requirements. In RE '03: Proceedings of the 11th IEEE International Conference on Requirements Engineering, page 65, Washington, DC, USA, 2003. IEEE Computer Society.
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. J. Skene and W. Emmerich. Specifications, not Meta-Models. In Proc. of the ICSE 2006 Workshop on Global integrated Model Mannagement (GaMMa 2006), pages 47-54. ACM Press, 2006.
28. J. Skene, D. Lamanna, and W. Emmerich. Precise Service Level Agreements. In Proc. of the 26th Int. Conference on Software Engineering, Edinburgh, UK, pages 179-188. IEEE CS Press, May 2004.
29. J. Skene, A. Skene, J. Crampton, and W. Emmerich. The Monitorability of Service-Level Agreements for Application-Service Provision. In Proc. of the 6th Int. Workshop on Software and Performance (WOSP), Buenos Aires, Argentina, pages 3-14. ACM Press, Feb. 2007.