The modeling research about OpenFlow protocol based TCPN

Yuanp Li,Hua Li,Junlan Zhao
DOI: https://doi.org/10.13245/j.hust.16S108
2016-01-01
Abstract:The definition of Hierarchy CPN (coloured Petri net ) was introduced firstly ,and then a formal model about OpenFlow protocol was made .In the modelling process ,the choice of token color and the definition of relevant variables detailed was considered .The time factor was also considered , and made analysis about performance .By executing these model ,making verification and analysis ,the fact that the frequency of the transition and the time match normal distribution had got .This met the expected requirements .The user defined query analyse on this model was made ,such as live lock , dead lock and reachabilities .The abstract paths was also constructed which can be used to generate abstract testcases .
What problem does this paper attempt to address?