A pervasividade em jogos pode ser reconhecida cada vez que as fronteiras do jogo se expandem do mundo virtual para o mundo real. Sensores, aparelhos móveis, redes de computadores e a internet tornam possível a existência dos jogos pervasivos. Neste trabalho, consideramos como jogos pervasivos móveis os jogos que usam ciência de contexto e aparelhos móveis. Consideramos também que os smartphones são o veículo ideal para a viabilização dos jogos pervasivos. Até onde sabemos, este é o primeiro trabalho sobre projeto geral de jogos pervasivos móveis. Esta tese propõe uma metodologia para apoiar a etapa de projeto conceitual de jogos pervasivos móveis. As contribuições principais deste trabalho são duas: (1) uma lista de características peculiares e importantes de jogos pervasivos, identificadas na literatura do assunto e em projetos de jogos pervasivos existentes. Cada característica possui também um conjunto de perguntas de verificação. Essa lista de características (e as perguntas de verificação) podem ser usadas para inspirar novas ideias de jogos e também para ajudar a descobrir requisitos funcionais e não-funcionais para jogos pervasivos móveis. (2) Uma linguagem específica de domínio para ajudar a especificar atividades em jogos pervasivos móveis que usem aparelhos móveis, sensores e atuadores como elementos principais de interface. Com essa metodologia, os projetistas podem discutir, identificar, verificar e aplicar características importantes de jogos pervasivos móveis. Também, por se tratar de uma metodologia de natureza leve, os projetistas podem trabalhar no nível geral dos jogos (projeto), ao manterem-se focados na especificação das atividades e evitando se preocupar com detalhes de implementação e código-fonte.