Maquina capaz de detectar tareas con valores inconsistentes respecto sus atributos (se comprueba la coherencia cada vez que se modifica algo).