Title :
A dynamic configuration validation language
Author :
Akue, Ludi ; Lavinal, Emmanuel ; Sibilla, Michelle
Author_Institution :
IRIT, Univ. de Toulouse, Toulouse, France
fDate :
Oct. 31 2011-Nov. 1 2011
Abstract :
Configuration validation is a crucial requirement for dynamic reconfiguration effectiveness. This short paper presents a validation-purpose configuration language which can be used to model a system´s configuration reference model which includes structural and operational validity constraints.
Keywords :
specification languages; configuration reference model; dynamic configuration validation language; dynamic reconfiguration effectiveness; operational validity constraints; structural validity constraints; Data models; Java; Prototypes; Runtime; Servers; Standards; Unified modeling language;
Conference_Titel :
Configuration Analytics and Automation (SAFECONFIG), 2011 4th Symposium on
Conference_Location :
Arlington, VA
Print_ISBN :
978-1-4673-0401-6
Electronic_ISBN :
978-1-4673-0400-9
DOI :
10.1109/SafeConfig.2011.6111670
