Application of the theory of formal grammars and the E-nets tools for analysis of correctness of network resources distribution in the NFV infrastructure

Abstract

The work is devoted to the development of new methods for the analysis of the correctness of resource allocation in networks with the NFV support. An overview of functional and non-functional requirements for the NFV infrastructure and methods of their verification is presented. As a consequence of the analysis it is proposed to use the E-networks tools for modeling processes of providing services. It is suggested to use the theory of formal grammars as a tool of analysis of the network resources allocation. The algorithm of constructing chains of derivation of the language of R-type for the analyzed model of the E-network is generated and tested