INTRODUCTION
计算机网络，如ISPs、企业、数据中心、校园网或家庭网，被来源于网络宽泛需求的规则所管理。这些规则从根本上是与连通性、安全性和性能相关的，并且规定谁可以有获取哪种资源的权限。进一步讲，规则可以是静态的或动态的（触发的）。传统地，网络管理员讲高级的规则转变为低级的配置命令并且实现在网络设备上，如交换机、路由器或者特殊的网络中间件。
在大规模网络中，有很多次级的管理员，如服务器管理员、网络工程师、DNS管理员，他们提交各自的规则，这样，管理员和用户就需要对这些规则进行协调与管理。
这样，规则更新就需要很长的时间，并且有一些问题会在运行的时候才能发现。这种问题在引进自动的网络基础设施的时候会更加严重。
所以急切地需要能自动地察觉并解决独立规则之间的冲突、并且将它们组成连贯的、无冲突的规则集合，在它们被部署到物理的基础设置之前。而且，在潜在的物理设施中有一个高级的规则抽象与去耦的机制可以有效地减低管理员、用户、应用程序开发者在制作他们的规则时的负担。
这篇文章中，我们介绍了自动地、正确地、快速地组成独立生成的网络规则的公开问题，所做的是：
1.针对表达性网络政策提出一种新的高级模型：规则图抽象。PGA简单地、直观地将各种规则分别以图的形式抽象出来。
2.设计了算法去分析管理这些被抽象为图的规则。
3.呈现了一个PGA系统的设计与实施。
在这篇文章中，我们利用PGA抽象来进行网络断结点相关的政策以及网络状态信息的去耦。PGA如同一个大交换机一样，在某些情况下不能反映所有的低级政策需求。也没有针对运行中的网络状态冲突。偶尔需要考虑更低层的网络状态，为了做出正确的规则选择。我们将这个工作放在了PGA抽象层和物理基础设施状态，未来工作中来完成。
原文：http://www.cnblogs.com/keepthebeats/p/4955265.html