aleixmorgadas/Invariantes-vs.-reglas-de-negocio.md

## Invariantes-vs.-reglas-de-negocio.md

      
    Raw
  

              Invariantes-vs.-reglas-de-negocio.md
            
          
    Invariantes vs Reglas de negocio

A partir de esta conversación escribo este Gist.
Posible caso

Tenemos un almacen que tiene un stock por producto.
Regla de negocio:

No podemos vender un producto que no tenemos stock.

En este caso podríamos pensar que esto es una invariante de stock, no puede existir un stock negativo.
Por lo que creamos el concepto:
class Stock {
  constructor(private readonly productId: string,
              private readonly stock: number) {
    if (this.stock < 0) throw new Error('stock cannot be negative');            
  }              
}
Hemos creado una invariante en un objeto de dominio. Esto es muy común en DDD de intentar representar
las invariantes a nivel de Value Object, Entity, o Aggregate.
Pero, ¿realmente representa el dominio?
No. El concepto de Stock puede pasar muchas cosas:

Se ha perdido en el almacen el articulo.
Se ha roto y no se había reportado.
Dos personas han comprado el mismo articulo a la vez.
Que entre se ha hecho el pedido y se ha confirmado se ha queado sin stock.

Hay un montón de casos que hacen que un stock pueda ser negativo temporalmente, de ahí la consistencia eventual.
Lo que dice la regla de negocio es que en el momento de compra queremos que el stock sea positivo. Por lo que
lo que podemos hacer es tener una regla de negocio que sea en el domain service estilo:
Dream code :pointdown:
class OrderService {
  placeOrder(order) {
     const stockForProduct = stock.for(order.product);
     if (stockForProduct < 0) throw new Error('stock cannot be negative'); 
  }
}
En el segundo caso, hemos implementado la regla de negocio pero permitiendo que el stock sea negativo para poder implementar entonces
esa logica de negocio para esos casos. Estilo:

Si stock es menor que 0, entonces pedir con urgencia a tales proveedores y entregarlo con máxima priodidad y dar un vale de regalo por las molestias.

En el primer caso, el objeto Stock no puede representar stock negativo porque es a nivel de invariante de objeto de dominio. En el segundo si que permitimos esa representación del objeto y podemos modelar el dominio de forma menos rigida.