Describir: Actualización de modelos para lógica de árboles de cómputo mediante protecciones