Precisamente esto es lo que aporta BKS: se describe la lógica de negocio con diagramas de estado.