Automatic Generation of Service Availability Models

被引:17
作者
Milanovic, Nikola [1 ]
Milic, Bratislav [2 ]
机构
[1] Model Labs GmbH, D-12203 Berlin, Germany
[2] Univ Berlin, Inst Informat, D-12489 Berlin, Germany
关键词
Reliability; high availability; services models; bridging business and IT architecture; IT service management;
D O I
10.1109/TSC.2010.11
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In the world where on-demand and trustworthy service delivery is one of the main preconditions for successful business, service and business process availability is of the paramount importance and cannot be compromised. For that reason service availability is coming into central focus of the IT operations and management research and practice. Still, our understanding of service and process availability is mostly empirical and at best, sketchy. Services are assessed using a mixture of qualitative, quantitative, and analytical methods, with results of varying quality. We introduce a systematic model-based methodology and a tool for service and business process availability assessment. The main advantage of the proposed method is the ability to automatically generate availability models, based on the service/process description and technical infrastructure it is executing on. Therefore, service level agreements can be tested/simulated or return on investment calculation can be performed, without the need for costly experiments and/or actual investments.
引用
收藏
页码:56 / 69
页数:14
相关论文
共 48 条
  • [1] Alchieri Eduardo A. P., 2008, 2008 IEEE International Conference on Web Services (ICWS), P21, DOI 10.1109/ICWS.2008.54
  • [2] Amazon EC-2 Support Team, 2008, AM EC 2 OUT REP
  • [3] [Anonymous], 2005, WEB SERVICE RELIABLE
  • [4] [Anonymous], 2004, DAT SYS APP
  • [5] [Anonymous], 2019, Business Process Management: Concepts, Languages, Architectures
  • [6] Basic concepts and taxonomy of dependable and secure computing
    Avizienis, A
    Laprie, JC
    Randell, B
    Landwehr, C
    [J]. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2004, 1 (01) : 11 - 33
  • [7] A parallel solver for large-scale Markov chains
    Benzi, M
    Tuma, M
    [J]. APPLIED NUMERICAL MATHEMATICS, 2002, 41 (01) : 135 - 153
  • [8] Arcade - A formal, extensible, model-based dependability evaluation framework
    Boudali, Hichem
    Crouzen, Pepijn
    Haverkort, Boudewijn R.
    Kuntz, Matthias
    Stoelinga, Marieelle
    [J]. ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2008, : 243 - +
  • [9] Bremaud Pierre., 2008, Markov Chains
  • [10] Burbeck S., 2000, EMERGING TECHNOLOGIE