Routing network algebra

Based on the BNA (basic network algebra) and LOTOS/E-LOTOS a new algebra framework for description and analysis of behavior of Internet routing system is proposed. The new algebra system called Routing Network Algebra (RNA in short) combines parallel and sequential operation from BNA and synchronous parallel operation from LOTOS into RNA. In order to describe the properties of Internet routing system some new operations called selection operation and collaborative parallel operation and some constants such as translation, split, merge, sink, dummy source are also employed. By analyzing the algebra model that comprise of operations and constants the behaviors of routing system such as deadlock and alive lock can be found. In order to verify the efficiency of the RNA, an experiment for analyzing the stability of routing system of BGP (Border Gateway Protocol) has been completed.