Title :
Configuration logic: a multi-site modal logic
Author :
Villemaire, Roger ; Hallé, Sylvain ; Cherkaoui, Omar
Author_Institution :
Univ. du Quebec a Montreal, Que., Canada
Abstract :
We introduce a logical formalism for describing properties of configurations of computing systems. This logic of trees allows quantification on node labels, which are modalities containing variables. We explain the motivation behind our formalism and give both a classical semantics and a new equivalent one based on partial functions on variables.
Keywords :
configuration management; formal logic; computing system configuration; configuration logic; multi-site modal logic; partial functions; Application software; Computer errors; Computer network management; Computer networks; Computer science; Logic devices; Power system management;
Conference_Titel :
Temporal Representation and Reasoning, 2005. TIME 2005. 12th International Symposium on
Print_ISBN :
0-7695-2370-6
DOI :
10.1109/TIME.2005.18
