next up previous
Next: Les spécifications Up: Un distributeur de boissons Previous: Introduction

Un distributeur de boissons chaudes

Un constructeur désire construire un distributeur de café et de chocolat chauds. Voici une liste de contraintes auxquelles il a pensé.

1.
le client pourra choisir parmi les boissons suivantes :
2.
le prix des consommables sera (dans une unité quelconque):
3.
la machine acceptera les pièces de 1,2 et 5 unités.
4.
la machine rendra la monnaie.
5.
le client pourra au choix : choisir une boisson puis mettre l'argent en quantité suffisante, ou bien mettre l'argent puis choisir.
6.
le client pourra à tout instant annuler ses choix, la machine reviendra alors dans son état initial, et rendra notamment les pièces déjà introduites.
7.
un opérateur pourra ``de temps en temps'' effectuer les actions suivantes :
8.
la machine sera raccordée directement au service de distribution en eau, que l'on supposera toujours opérationnel.



Alain GRIFFAULT
2000-01-05