A Method of Behavioral Analysis of OpenFlow Protocol

Abstract

Abstract: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. Keywords: reachability tree, OpenFlow protocol, E-net, behavior analysis, functional requirement, activity of transition. INTRODUCTIONThe main feature of OpenFlow protocol is a big amount of different programming realization. The programming realization of OpenFlow protocol, their functioning and non-functioning characteristics are significantly different between each other. This is the reason of mistakes during network functionality. Therefore, the task of compatibility checking of programming realizations of OpenFlow protocol has actuality in the implementation and maintenance process. As a rule, the compatibility analysis or behavior analysis is performed by mathematical methods of on different stages of protocol implementation. In addition, the approach effectively used to search contradictions and inconsistencies in protocol requirements.