Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Raimondi F.; Skene J.; Emmerich W. (2008)
Publisher: Association for Computing Machinery
Languages: English
Types: Part of book or chapter of book
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.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [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.
    • [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] 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. Wo´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.
  • No related research data.
  • No similar publications.

Share - Bookmark

Published in

Funded by projects


Cite this article