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 103
- Downloads 0
Seismic response analysis of overhead pipe under multi point input
Abstract: Ground motion has a strong randomness because of the limitation of the number of strong earthquake records and mathematical difficulties. In general, by the method of establishing stochastic process model, one...
Weighted Vertex PI Index for Some Special Graphs
The Padmakar-Ivan (PI) index is a Wiener-Szeged-like topological index which reflects certain structural features of organic molecules. Each structural feature of such organic molecule can be expressed as a graph. In thi...
The Design of Olap-Based Muti-Dimensional Analysis System for Hospital Information
A multi-dimensional analysis of the hospital information system design is proposed based on OLAP technology which realizes OLAP multi-dimensional data analysis. A number of themes are determined in accordance with the sp...
A Method of Finding Solutions to the Cubic equation x3+px2+qx+r=0
A method of finding real and complex solutions to the cubic equation is illustrated through solving quartic equation. Keywords: Cubic equation, real roots, complex roots, quartic equation 2010 Mathematics Subject Class...
The Enforcement of Project Quality Management Plan (QMP), an Antidote to Building Failure in Nigeria
Poor quality work and materials liter the entire construction landscape in Nigeria, yet there is an excellently prepared Quality Management Plan (QMP) that if implemented, will go a long way in reducing the menace of bui...