Les spécifications

Le constructeur est un homme honnête, mais pas philanthrope. Il désire donc que sa machine vérifie les propriétés suivantes :

1.

La machine ne délivre pas de boissons si l'argent correspondant n'a pas été introduit.

2.

La machine ne garde pas plus d'argent que le prix de la boisson servie.

3.

La machine ne remplace pas une boisson par une autre sans l'accord du client.

4.

La machine est opérationnelle tant qu'elle peut rendre au moins un des services.

Exercice 2.1   Donnez un graphe entité-association reliant les consommables, les boissons, les clients et l'opérateur.