Welcome to the InfoSci Platform
Reference Hub1
Logical Methods for Self-Configuration of Network Devices

Logical Methods for Self-Configuration of Network Devices

Sylvain Hallé, Roger Villemaire, Omar Cherkaoui
Copyright: © 2012 |Pages: 28
ISBN13: 9781609608453|ISBN10: 1609608453|EISBN13: 9781609608460
DOI: 10.4018/978-1-60960-845-3.ch008
Cite Chapter Cite Chapter

MLA

Hallé, Sylvain, et al. "Logical Methods for Self-Configuration of Network Devices." Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification, edited by Phan Cong-Vinh, IGI Global, 2012, pp. 189-216. https://doi.org/10.4018/978-1-60960-845-3.ch008

APA

Hallé, S., Villemaire, R., & Cherkaoui, O. (2012). Logical Methods for Self-Configuration of Network Devices. In P. Cong-Vinh (Ed.), Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification (pp. 189-216). IGI Global. https://doi.org/10.4018/978-1-60960-845-3.ch008

Chicago

Hallé, Sylvain, Roger Villemaire, and Omar Cherkaoui. "Logical Methods for Self-Configuration of Network Devices." In Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification, edited by Phan Cong-Vinh, 189-216. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-60960-845-3.ch008

Export Reference

Mendeley
Favorite

Abstract

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.