中文摘要：

针对不同路由协议之间的冲突问题，提出一种新的异构路由建模和冲突分析方法．该方法使用时序说明语言（LOTOS）作为路由系统描述语言；通过定义适合于路由系统分析的路由常量和运算规则，建立路由系统的数学模型；通过求解数学模型有效地发现冲突路由．为了支持上述观点，使用可扩展的网络仿真工具（SSFNet）对边界网关协议（BGP4）和最短路径优先协议（OSPF）进行仿真，实验结果表明了提出的分析方法与实际情况的一致性.

英文摘要：

One of the main reasons of fault growing is wrong routing configuration that results from conflicted routing in the Internet routing system, especially between heterogeneous routing protocols. A new approach to modeling heterogeneous routing system and analyzing conflicted routing is proposed. It employs the language of temporal ordering specification（LOTOS in short） as description language, and by suitable specifying and developing some constants and operations an algebraic model system is constructed. By deducing the algebraic model the conflicted routing can be find out efficiently. In order to support our viewpoint an experiment is carried out that employs scalable simulation framework （SSFNet in short） to simulate behaviors of the border gateway protocol （BGP4 in short） and the open short path first （OSPF in short）. The experiment result shows the consistency.