Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Formal Model of Distributed Systems For Test Generation Missions   Nowadays, deployment of distributed systems sets high requirements for
procedures and tools for the complex testing of these systems - virtualization
and cloud technologies make another level of system complexity. As a possible
solution, it is necessary to determine a formal list of control objectives -
checklists. The automated generation of checklists involves analyzing system
models (with the analysis covering paths in a model). But complex distributed
systems are usually a set of coexisting topologies which interact and depend on
each other and it is necessary to use several models in order to cover
different aspects. This work introduces a formal four layered model for test
generation missions on the basis of the component-based approach and the
concept of layered networks. The interlayer mapping determines how the
topological properties on different layers affect each other and, as a
consequence, represents technologies (virtualization, clustering, etc.) used to
build distributed systems

4
The categories of this paper are: cond-mat
29
The categories of this paper are: funct-an
23
The categories of this paper are: solv-int
19
The categories of this paper are: eess
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th
32
The categories of this paper are: atom-ph
22
The categories of this paper are: chao-dyn
37
The categories of this paper are: supr-con
20
The categories of this paper are: acc-phys
13
The categories of this paper are: quant-ph
17
The categories of this paper are: q-fin
5
The categories of this paper are: gr-qc
36
The categories of this paper are: cmp-lg
6
The categories of this paper are: astro-ph
7
The categories of this paper are: hep-th