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 67
- Downloads 0
Classification of All Single Traveling Wave Solutions to the Gardner-KP Equation
Under the travelling wave transformation, some nonlinear partial differential equations such as the Gardner-KP equation are transformed to ordinary differential equation. Then, the classifications of all single traveling...
The Investigation and Analysis of Mathematics Education Practice Courses in local Undergraduate Colleges
Mathematics Education Practice Courses are important ways which normal students linking theory with practice and get under the tutelage of the actual ability to teach and to improve the overall quality. This paper invest...
Comprehensively evaluation of alkali-surfactant-polymer flooding recovery percent
Comprehensively analyze the factors affecting recovery percent of alkali-surfactant-polymer flooding and utilize ridge-formed distribution function to conform degree of membership to each evaluation factors. And then est...
Numerical simulation study of flow field of centrifugal pump based on variable speed
In order to study the variable speed influent to the inner flow field of centrifugal pump, we selected three pump speed, 1500r/min, 2200r/min, 3200r/min, as working condition to conduct on fluid dynamics numerical simula...
Sampled Data Model Control for Voltage Source Inverter
This paper develops a sampled-data based controller for the slow switching single-phase voltage source converter (VSC). Pulse Width Modulation variable speed drives are increasingly applied in many new industrial applica...