The document discusses 8 formalisms for modeling graphs: (1) graph generation algorithms, (2) graph growth algorithms, (3) specifying the probability of any graph, (4) specifying the probability of any edge, (5) specifying the probability of any event, (6) specifying a score for node pairs, (7) matrix models, and (8) graph compression. Examples are provided for each formalism, such as Watts-Strogatz for graph generation and Barabási-Albert for graph growth.