Modelos analíticos e simulação de ambientes computacionais