Contratos

Operación: Enviar notificación de reseteo.

Referencias cruzadas: Caso de uso reseteo de la cuenta.

Precondición:  Acceso denegado a cuenta.

Poscondición:   Se registra y acepta notificación de reseteo (Creación de instancia).

Operación: Ingreso a cuenta.

Referencias cruzadas: Caso de Uso reseteo de la cuenta.

Precondición: Se restablece nombre de usuario y contraseña por predeterminados.

Poscondición: Se crea una nueva instancia de inicio de sesión (Creación de instancia).