"流量审计"服 务功能条件有交集，交集部分转发动作不一致，属于弱冲突类型。
[0062] (2)网络节点S2上"负载均衡"服务功能和"流量审计"服务功能条件有交集，交 集部分转发动作不一致，属于弱冲突类型。
[0063] 2.本地控制器根据参与组合的服务功能的组合类型和动作来判断功能间的组合 方式。当服务功能间的动作一致时，组合方式为：合并(合并操作对条件进行"或"操作，动 作与参与组合的服务功能保持一致)。当服务功能间组合类型为无冲突，动作却不一致时， 组合方式为分类并行。当服务功能间的组合类型为强冲突时，组合方式可W根据用户要求 选择排他(只执行其中一方的动作）或者串行。当服务功能间的组合类型为弱冲突时，组合 方式可W根据用户要求选择排他、串行或者复制并行。
[0064] (1)网络节点Sl上来自S条服务链的"用户认证"服务功能条件动作都一样，组 合方式为：合并；"用户认证"服务功能和"流量管理"服务功能属于强冲突，组合方式为：串 行，串行顺序根据用户要求决定，此实施例中为先执行用户认证后执行流量管理；"用户认 证"服务功能和"流量审计"服务功能属于弱冲突，组合方式为：串行，串行顺序先执行用户 认证，后执行流量审计；"流量管理"服务功能和"流量审计"服务功能属于弱冲突，组合方 式为：复制并行。
[0065] (2)网络节点S2上"负载均衡"服务功能和"流量审计"服务功能属于弱冲突，组 合方式：串行，串行顺序先执行流量管理，再执行负载均衡。
[0066] 到此服务功能实例在网络节点上的组合情况如下图8所示： 第八步：本地控制器对同一网络策略中的复杂条件策略转化为只含"与"和"非"操作 的若干简单条件策略。
[0067] I.本地控制器判断每条策略中的条件是否为包含"或"、"差"和"括号"符号的组 合条件，拥有组合条件的网络策略称为复杂条件网络策略。将该网络节点上所有复杂条件 网络策略提取出所有不含"或"、"差"和"括号"符号的简单条件网络策略。
[0068]"用户认证"服务功能为复杂条件策略： Auth(SI):match(SrcAddr=10. 20. 0. 0/16\(SrcAddr:10. 20. 4. 5))[fwd(1)] 从复杂条件网络策略可W提取出2个简单条件：el=SrcAddr=10. 20. 0. 0/16 ; e2=SrcAd化=10. 20. 4. 5 2.为每条简单条件策略的末尾加上缺省条件(该简单条件策略都未覆盖的部分)，形成 简单条件策略序列 Tl(Si,el) =<SrcAd化=10. 20. 0. 0/16:true〉# "true"代表该条件下需要执行策略动 作。
[0069] <*:false〉表示缺省条件，"化Ise"代表缺省条件下不执行策略动作。
[0070]Tl(si,e2) =<S;rcAddr=10. 20. 4. 5:true〉 <*:false〉 依照上文I和2两个步骤同理可得"流量管理"的简单条件策略序列。
[0071]"流量管理"在网络节点Sl上的复杂条件策略如下 TM(Sl):match(SrcAd化=10. 20. 4. 0/24ISrcAd化=10. 20. 6. 0/24) [fwd(l)] "流量管理"在SI的简单条件策略序列。
[0072]el=SrcAddr=10. 20. 4. 0/24 e2=SrcAd化=10. 20. 6/24 T2 (sl，el) =< 0stacMr=lO. 20. 4. 0/24) :true〉 <*:false〉 T2(si,e2)=<(SrcAd化=10. 20. 6/24):true〉 <*:false〉 "流量管理"在网络节点S2上复杂条件策略如下： TM(S2):match(SrcAd化=10. 20. 4. 0/24ISrcAd化=10. 20. 6. 0/24)[fwd巧）] "流量管理"在S2上的简单条件策略序列： el=SrcAddr=10. 20. 4. 0/24 e2=SrcAd化=10. 20. 6/24 T2 (s2,el) =< 0stacMr=lO. 20. 4. 0/24) :true〉 <*:false〉 T2(s2,e2)=<(SrcAd化=10. 20. 6/24):true〉 <*:false〉 同理可得"负载均衡"的简单条件序列。
[0073]"负载均衡"在网络节点S2上的策略不是复杂条件策略： LB(S2):match值StAcMr=IO. 20. 7. 0/24)[fwd(4)] 其为"负载均衡"策略添加缺省条件，直接成为简单条件策略序列：el=Dstaddr=IO. 20. 7. 0/24 T3 (Si,el) =<0stad化=10. 20. 7. 0/24) :true〉#同时满足两个条件的情况不执行策略 动作。
[0074] <*:false〉 #满足此条件下执行策略动作。
[0075]"流量审计"在网络节点S2上复杂条件策略如下 TA(Sl)=match值StAddr=IO. 20. 9. 1 &SrcAddr=IO. 20. 0. 0/16) [fwcK5)] "流量审计"的简单条件策略序列。
[0076]el=Dstaddr=IO. 20. 9. 1 e2=SrcAddr=IO. 20. 0. 0/16 T4 (sl，el) =< 0staddr=lO. 20. 9.I) :true〉 <*:false〉 T4(si,e2)=<(SrcAddr=IO. 20. 0. 0/16):true〉 <*:false〉 3.任选两个简单条件策略序列进行条件组合生成简单条件策略序列（按照条件覆盖 范围大小由小到大进行排序)，在执行条件组合时把"或"、"差"转换成"与"、"非"进行运算。
[0077] (1)"用户认证"服务功能中两个简单条件策略序列进行组合，并对结果按照条件 覆盖范围大小由小到大进行排序形成不含"或"、"差"的条件策略序列。
[0078]Tl(si,eln飞2) =< (Srcaddr=IO. 20. 0. 0/16nSrcaddr=IO. 20. 4.巧：false〉# 同 时满足两个条件的情况不执行策略动作。
[0079] < (Srcad化=10. 20. 0. 0/16) :ture〉#满足此条件下执行策略动作。
[0080] < (Srcad化=10. 20. 4. 5):化Ise〉#满足此条件下不执行策略动作。
[0081] <*:false〉#缺省条件不执行策略动作 为简单条件策略序列添加对应的动作。Q代表缺省简单条件策略的动作，可W根据管 理员需求定义为"丢包"或者"重定向"，此处定义为丢包。W下为"用户认证"的化简后的 简单条件策略序列。
[0082]Pl(si,eln飞2) =< (Srcaddr=IO. 20. 0. 0/16nSrcaddr=IO. 20. 4.巧：Q〉 < (Srcaddr=IO. 20. 0. 0/16) :fwd〇￥，TA)〉 < (Srcaddr=IO. 20. 4. 5) : 0〉 <*: 0〉 (2)"流量管理"服务功能中。在网络节点Sl上两个简单条件执行策略组合。根据集 合运算规律组合获得不含"或"、"差"的简单条件策略序列。
[0083]T2 (si,elUe2) =< 0stacMr=lO. 20. 4. 0/24nSrcAcMr=IO. 20. 6/24) :true〉 <Dstad化=10. 20. 4. 0/24:t;rue〉 <S;rcAddr=10. 20. 6/24:true〉 <*:false〉 为简单条件添加对应的动作，生成简单策略序列。
[0084]P2 (Si,elUe2) =< 0staddr=lO. 20. 4. 0/24nSrcAddr=IO. 20. 6/24) :fwd(1)〉 <Dstaddr=10. 20. 4. 0/24:fwd(I)〉 <SrcAddr=10. 20. 6/24:fwd(I)〉 <*:Q> 在网络节点S2上两个简单条件执行策略组合。根据集合运算规律组合获得不含"或"、 "差"的简单条件策略序列。
[0085]T2 (s2,elUe2)=<0stacMr=lO. 20. 4. 0/24nSrcAcMr=IO. 20. 6/24):true〉 <Dstad化=10. 20. 4. 0/24:t;rue〉 <S;rcAddr=10. 20. 6/24:true〉 <*:false〉 为简单条件添加对应的动作，生成简单策略序列。
[0086]P2 (s2,elUe2)=<0stad化=10. 20. 4. 0/24nSrcAd化=10. 20. 6/24) :fwd(LB)〉 <Dstaddr=10. 20. 4. 0/24:fwd(LB)〉 <SrcAddr=10. 20. 6/24:fwd(LB)〉 <*:Q> (3) "负载均衡"功能中简单条件策略序列为： T3(Si,el) =<0stad化=10. 20. 7. 0/24) :true〉#同时满足两个条件的情况不执行策略 动作。
[0087] <*:false〉 #满足此条件下执行策略动作。
[0088] 为简单条件添加对应的动作，生成简单策略序列： P3(sl，el)=<0stad化=10. 20. 7. 0/24) :fwd(4)〉 <*:Q〉 (4) "流量审计"服务功能中，在网络节点SI上两个简单条件执行策略组合。根据集合 运算规律组合获得不含"或"、"差"的简单条件策略序列。。
[0089]T2 (si,elne2) =< 0staddr=lO. 20. 9. 1nSrcAddr=IO. 20. 0. 0/16) :true〉（条 件组合） <0stacMr=lO. 20. 9.I) :false> < (SrcAddr=IO. 20. 0. 0/16):false〉 <*:false〉 为简单条件添加对应的动作，生成简单策略序列： P2 (si,elne2)=<0staddr=l〇. 20. 9.1nSrcAddr=IO. 20. 0.0/16):fwd巧）〉 <0stad化=10. 20. 9.I) :Q〉 < (SrcAddr=IO. 20. 0. 0/16):Q〉 <*:Q〉 4.重复执行6-3)操作，直到只有一个简单条件策略序列为止。至此为止，