Dans le cadre du mini-projet du DESS, on va s'appuyer sur l'étude de cas "carte de débit".
On gardera un niveau d'abstration permettant d'avoir une analyse système bien poussée. Certaines parties peuvent ne pas \^etre complètement détaillées.

Cahier de charges:
Il s'agit du développement d' un système de gestion de carte de paiement (une étude de cas classique).

Quand un client présente sa carte à un marchand pour régler une facture, la carte est utilisée pour créer une interaction tripartite dans laquelle des fonds sont transférés de la banque du client vers la banque du marchand.

Le système de gestion de carte de paiement a trois composants :
-les terminaux point de vente,
-l'ordinateur qui gère les comptes du client,
-l'ordinateur qui gère les comptes du marchant.

Un système de gestion de  cartes de paiment a les trois exigences de base suivantes :
- Toutes les requ\^etes doivent transférer les fonds correctement,
- un compte client ne doit jamais avoir un solde négatif,
- toutes les requ\^etes doivent éventuellement \^etre traitées.

Modélisation en $B$ du système de gestion des transactions carte bancaire

Le cahier de charges sera analysé et précisé au fur et à mesures.
On donnera une spécification $B$ complète et on analysera formellement cette spécification en utilisant l'$Atelier B$.
Certaines parties doivent \^etre raffinées jusqu'à la génération de code en C.