Logical Methods for Self-Configuration of Network Devices
Keyword(s):
The goal of self-configuration consists of providing appropriate values for parameters that modulate the behaviour of a device. In this chapter, self-configuration is studied from a mathematical logic point of view. In contrast with imperative means of generating configurations, characterized by scripts and templates, the use of declarative languages such as propositional or first-order logic is argued. In that setting, device configurations become models of particular logical formulæ, which can be generated using constraint solvers without any rigid scripting or user intervention.
Keyword(s):
2005 ◽
Vol 70
(3)
◽
pp. 696-712
◽
Keyword(s):
1980 ◽
Vol 1
(1-2)
◽
pp. 95-137
◽
Keyword(s):
1996 ◽
Vol 6
(6)
◽
pp. 505-526
◽
Keyword(s):
2010 ◽
Vol 75
(4)
◽
pp. 1359-1365
◽
Keyword(s):
2009 ◽
Vol 19
(12)
◽
pp. 3091-3099
◽