• DocumentCode
    3143131
  • Title

    Integrating an online configuration checker with existing management systems: Application to CIM/WBEM environments

  • Author

    Akue, Ludi ; Lavinal, Emmanuel ; Desprats, Thierry ; Sibilla, Michelle

  • Author_Institution
    IRIT, Univ. de Toulouse, Narbonne, France
  • fYear
    2013
  • fDate
    14-18 Oct. 2013
  • Firstpage
    339
  • Lastpage
    344
  • Abstract
    Runtime configuration validation is a critical requirement if we are to build reliable self-adaptive management systems. This paper presents a generic framework that includes a runtime configuration checker built upon a high-level language dedicated to the specification of configurations and validity constraints. In addition, we describe a methodology for using this framework and integrating the configuration checker with existing management systems. In particular, we show how we use the framework to enrich a CIM/WBEM management environment with automatic runtime configuration validation against a defined set of constraints guarding structural correctness and service behavior conformance. Our experiments with management models conforming to the CIM Virtual System profile show viable results demonstrating the feasibility of our approach.
  • Keywords
    Internet; formal specification; high level languages; program verification; CIM virtual system profile; CIM-WBEM environments; Web-based enterprise management; automatic runtime configuration validation; common information model; configuration constraint specification; high- level language; runtime configuration checker; self-adaptive management systems; service behavior conformance; structural correctness; validity constraint specification; Adaptation models; Biological system modeling; Computer integrated manufacturing; Runtime; Servers; Standards; Unified modeling language; CIM/WBEM environments; Self-management; configuration validation; online configuration validation;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Network and Service Management (CNSM), 2013 9th International Conference on
  • Conference_Location
    Zurich
  • Type

    conf

  • DOI
    10.1109/CNSM.2013.6727855
  • Filename
    6727855