Abstract In consideration on the complexity and diversity of network fault, formalized study on network fault management was conducted.

• 摘要 针对网络故障的复杂性和多样性，对网络故障管理的形式化描述进行了研究。