O documento apresenta vários frameworks formais de design de jogos, incluindo MDA, DDE e E-MUnDi. Também discute outras ferramentas como beat charts, tokenização e matrizes de interação, átomos de habilidade e cadeias de habilidade. O objetivo é fornecer uma estrutura para planejamento e análise do design de jogos.