The article provides an analysis of the existing architecture of SDN, are the features of the development and interaction of its components. On the basis of the results proposed formalisms that allow to define matching rules and interaction of the main components and controls SDN architecture, given the sequence of execution. A method for checking the conformity of network components, built on the concept of SDN, requirements specification. The above method allows the reactive test and take account of the asynchronous nature of control components.
architecture SDN, Openflow protocol, SDN controller controlling the flow Openflow switch, verification protocols SDN