Formal Verification of Service Level Agreements Through Distributed Monitoring

被引：5
作者：
Nobakht, Behrooz [1 ,2 ]
de Gouw, Stijn [2 ,3 ]
de Boer, Frank S. [1 ,3 ]
机构：
[1] Leiden Univ, Leiden Adv Inst Comp Sci, Leiden, Netherlands
[2] SDL Fredhopper, London, England
[3] Ctr Wiskunde Informat, Amsterdam, Netherlands
来源：
SERVICE ORIENTED AND CLOUD COMPUTING, ESOCC 2015 | 2015年 / 9306卷
关键词：
Runtime monitoring; Service availability; Budget compliance; Service sustainability; Distributed architecture; Cloud computing; Service Level Agreement;
D O I：
10.1007/978-3-319-24072-5_9
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we introduce a formal model of the availability, budget compliance and sustainability of istributed services, where service sustainability is a new concept which arises as the composition of service availability and budget compliance. The model formalizes a distributed platform for monitoring the above service characteristics in terms of a parallel composition of task automata, where dynamically generated tasks model asynchronous events with deadlines. The main result of this paper is a formal model to optimize and reason about service characteristics through monitoring. In particular, we use schedulability analysis of the underlying timed automata to optimize and guarantee service sustainability.
引用
收藏
页码：125 / 140
页数：16
相关论文
共 26 条
  • [1] A THEORY OF TIMED AUTOMATA
    ALUR, R
    DILL, DL
    [J]. THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) : 183 - 235
  • [2] Behrmann G, 2004, LECT NOTES COMPUT SC, V3185, P200
  • [3] User-defined schedulers for real-time concurrent objects
    Bjork, Joakim
    de Boer, Frank S.
    Johnsen, Einar Broch
    Schlatte, Rudolf
    Tarifa, S. Lizeth Tapia
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2013, 9 (01) : 29 - 43
  • [4] Bratanis K, 2010, LECT NOTES COMPUT SC, V6303, P203, DOI 10.1007/978-3-642-15585-7_22
  • [5] Bubel Richard, 2014, Formal Methods for Executable Software Models. 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014. Advanced Lectures: LNCS 8483, P1, DOI 10.1007/978-3-319-07317-0_1
  • [6] CHEN Y., 2007, ICAC 07, P3, DOI DOI 10.1016/S0166-526X(06)48001-6
  • [7] Christian I., 2014, SOFTWARE PRACTICE EX
  • [8] Coles A. J., 2011, ICAPS
  • [9] Establishing and Monitoring SLAs in complex Service Based Systems
    Comuzzi, Marco
    Kotsokalis, Constantinos
    Spanoudakis, George
    Yahyapour, Ramin
    [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2, 2009, : 783 - +
  • [10] Task automata: Schedulability, decidability and undecidability
    Fersman, Elena
    Krcal, Pavel
    Pettersson, Paul
    Yi, Wang
    [J]. INFORMATION AND COMPUTATION, 2007, 205 (08) : 1149 - 1172
123