- Quand je rajoute un article, alors j’obtiens un évènement ArticleAjouté
- Etant donné un panier avec un article A, quand je valide, alors j’obtiens PanierValidé
- Etant donné un panier avec un article A, quand j’enlève un article A, alors j’obtiens ArticleEnlevé
- Etant donné un panier avec un article A, quand j’enlève un article B, alors je n’émets aucun évènement
- Etant donné un panier vide, quand je valide, alors je retourne une erreur
- Quand un évènement ArticleAjouté est levé alors le panier est incrémenté
- Quand un évènement ArticleEnlevé est levé alors le panier est décrémenté
- Quand un évènement est publié alors il est persisté
- Quand un évènement est publié alors les handlers abonnés sont appelés
- Un event store retourne les évènements d'un aggregat spécifique
- Un event store lève une exception si le numéro de version n'est pas le même
- Quand je rajoute un article alors le panier est incrémenté
- Quand j'enlève un article alors le panier est décrémenté