A presentation format of architecture description based on the concept of multilayer networks

Formal methods based on abstract models are becoming more and more important in the domain of complex computer networks. On the other hand, processes of design documentation transformation into the formal models are still bound to the skills and ingenuity of individual engineers. Moreover, the human factor involved in data transformation represents a major bottleneck due to the tendency of computer networks to be more and more complex. To address this problem, this work introduces a possible appropriate presentation format of architecture descriptions as a part of detailed design documentation that could allow automated development of trusted formal models for analysis and verifying of complex computer networks.