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
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;
Conference_Titel :
Network and Service Management (CNSM), 2013 9th International Conference on
Conference_Location :
Zurich
DOI :
10.1109/CNSM.2013.6727855