Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Partial results for online query processing
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
A knowledge plane for the internet
Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications
InfoSpect: using a logic language for system health monitoring in distributed systems
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Querying the internet with PIER
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
A Logical Architecture for Active Network Management
Journal of Network and Systems Management
Highly distributed XQuery with DXQ
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
STAR: self-tuning aggregation for scalable monitoring
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
DXQ: a distributed XQuery scripting language
XIME-P '07 Proceedings of the 4th international workshop on XQuery implementation, experience and perspectives
A situatedness-based knowledge plane for autonomic networking
International Journal of Network Management
Architectural principles and elements of in-network management
IM'09 Proceedings of the 11th IFIP/IEEE international conference on Symposium on Integrated Network Management
Declarative configuration management for complex and dynamic networks
Proceedings of the 6th International COnference
HotACI'06 Proceedings of the First international conference on Hot topics in autonomic computing
Policy expressivity in the Anzere personal cloud
Proceedings of the 2nd ACM Symposium on Cloud Computing
A p2p-based framework for distributed network management
EURO-NGI'05 Proceedings of the Second international conference on Wireless Systems and Network Architectures in Next Generation Internet
Hi-index | 0.00 |
This paper motivates and describes an example network Information Plane, called Sophia, currently deployed on PlanetLab. Sophia is a distributed system that collects, stores, propagates, aggregates, and reacts to observations about the network's current conditions. Sophia's approach is novel: it can be viewed as a multi-user distributed expression evaluator in which sensors and actuators form the ground terms, and statements take on the complete expressiveness of a logic language like Prolog. This paper argues that this approach has several advantages in managing and controlling a complex, federated, and evolving network: (1) a declarative logic language provides a natural way to express the kinds of statements that are common to this application domain, through temporal and positional logic rules, facts and expressions; and (2) distributed evaluation of such logic expressions provides many opportunities for performance optimization yielding an efficient system.