1: \begin{abstract}

2: In this paper we introduce a general framework for the study of

3: limits of relational structures in general and graphs in particular, which is

4: based on a combination of model theory and (functional) analysis. We show how the various

5: approaches to graph limits fit to this framework and that they naturally appear

6: as ``tractable cases'' of a general theory.

7: As an outcome of this, we provide extensions

8: of known results. We believe that this put these into next context and perspective.

9: For example, we prove that  the sparse--dense dichotomy exactly

10: corresponds to  random free graphons.

11: The second part of the paper is devoted to the study of sparse structures. First, we consider limits

12: of  structures with bounded diameter connected components and

13: we prove

14: that in this case the convergence can be ``almost'' studied component-wise.

15: We also propose the structure of limits objects for convergent sequences of sparse structures.

16: Eventually, we consider the specific case of limits of colored rooted trees with bounded height

17: and of graphs with bounded tree-depth, motivated by

18: their role of elementary brick these graphs play in decompositions of sparse

19: graphs, and give an explicit construction of a limit object in this case. This

20: limit object is a graph built on a standard probability space with the

21: property that every first-order definable set of tuples is measurable.

22: This is an example of the general concept of {\em modeling} we introduce

23: here. Our example is also the first ``intermediate class'' with explicitly defined

24: limit structures.

25: %\def\subclassname{{\bfseries Mathematics Subject Classification (2010)}\enspace}

26:  \end{abstract}

27: