A Method of Behavioral Analysis of OpenFlow Protocol

The paper is devoted to constructing a new method of analysis functional and non-functional requirements of OpenFlow protocol realization. The modified reachability tree for compliance and behavior analysis of model of OpenFlow protocol is proposed in the paper. The proposed method bases on modeling approach and give ability analyze the protocol functionality on earlier stages of realization. The E-net math tool and ordinary reachability tree method are taken into account. The existing of management transition in E-net model gives ability to eliminate a symbol , the main leak of ordinary methods. Thus proposed method shows numerical activity of transition and help to contract branches that lead to deadlocks and loops.