Estudo de caso para guiar trabalho: marcação defensiva ou sair da marcação Tarefas de escolha de formalismo: - Escolher formalismo para manutenção do modelo do jogo de mais alto nível do que o modelo do CMUnited - Usar retract diretamente com predicados de atualizações do Flora btinsert, btdelete - Usar o cálculo de evento implementado com regras Flora - Usar o cálculo de situações implementado com regras Flora Tarefas de modelagem: - Conceitos de mais alto níveis para manutenção do ambiente - Estratégias de mais alto níveis usando esses conceitos - Definir elementos compostos do modelo em termos de elementos primitivos guardados pelo CMUnite - Definir ações compostas em termos de ações primitivas executáveis pelo CMUnited Tarefas de implementação: - junto com Klebson (Hugo), depurar o RoboFlora