att_abstract={{Network management and operations are complicated,
tedious, and error-prone, requiring significant human
involvement and domain knowledge. As the complexity
involved inevitably grows due to larger scale networks
and more complex protocol features, human operators are
increasingly short-handed, despite the best effort from existing
support systems to make it otherwise. This paper
presents COOLAID, a system under which the domain knowledge
of device vendors and service providers are formally
captured by a declarative language. Through efficient and
powerful rule-based reasoning on top of a database-like abstraction
over a network of devices, COOLAID enables new
management primitives to perform network-wide reasoning,
prevent misconfiguration, and automate network configuration,
while requiring minimum operator effort. We describe
the design and prototype implementation of COOLAID, and
demonstrate its effectiveness and scalability through various
realistic network management tasks.}},
	att_authors={ym747h, jv2782},
	att_copyright_notice={{(c) ACM, 2010. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in   ACM CoNEXT 2010 {{, 2011-12-01}}.}},
	att_tags={network management},
	author={Yun Mao and Jacobus Van der merwe and Xu Chen and Z. Morley Mao},
	institution={{ACM CoNEXT 2010}},
	title={{Declarative Configuration Management for Complex and Dynamic Networks}},