A Method of Behavioral Analysis of OpenFlow Protocol
Journal Title: Scholars Journal of Engineering and Technology - Year 2016, Vol 4, Issue 6
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.
Authors and Affiliations
Isaam Saad, Tkachova O
Keywords
Related Articles
- EP ID EP385536
- DOI -
- Views 88
- Downloads 0
Integral Points On The Cone
The ternary quadratic equation representing a homogeneous cone is analyzed for its non-zero distinct integer solutions. Also, given an integer solution, three different triples of integers generating infinitely many in...
Optimization of Reasonable Well Spacing for Polymer Flooding and Its Adaptability Analysis
After many years of water flooding, PuⅠ2-3 reservoirs has been in the stage of extra-high water cut, by 2016, comprehensive water cut in the study area is 92.5%.Based on watered-out log interpretation results and sealed...
Empirical evaluation of dynamic parameters of simple and nano drilling fluid
The energy of a nation is largely conditioned by the extent of prospective, surveyed and extracted oil and gas reserves and other natural resources. Hence this is the main source of somewhere economy. Experiments are hel...
Model of complex weighting coefficients of adaptive spatial filtering algorithm based on conjugate gradient method
In recent years, GPS, GLONASS and other global navigation satellite systems (Galileo, BeiDou, IRNSS, QZSS) are widely used in both civilian and military applications for navigation, positioning, distance measurement, mis...
Based On Campus Network User Behavior Data Acquisition and Processing
This thesis analyzes the behavioral characteristics of network users on the campus network. After capturing and processing communication data and recovering sessions, we can know the group behaviors of the campus users....