An International Publisher for Academic and Scientific Journals
Author Login
Scholars Journal of Engineering and Technology | Volume-4 | Issue-06
A Method of Behavioral Analysis of OpenFlow Protocol
Isaam Saad, Tkachova O
Published: June 22, 2016 |
119
94
DOI: 10.21276/sjet.2016.4.6.2
Pages: 271-276
Downloads
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.