Diapo gestiondemagasin

1. 1
Modélisation Projet
UML
Gestion d’une société de vente
des matérielles informatique
Présenté par:
- Bouacha Oussama.
- Bensmaine Yasser.
- Benamar Abdeladim.
2011-2012

2. Plan de la présentation:
- Présentation du projet.
- Diagramme des cas d’utilisation.
- Diagramme de séquence.
- Diagramme de classe.
- Diagramme d’état transition.
- Contrainte OCL.
2

3. Présentation du projet:
3
Notre projet consiste à concevoir un
système informatisé qui permettra la
gestion automatique des clients, des
fournisseurs, du stock, etc... D’une société
de vente de matériel informatique dans un
magasin.

4. 4
Diagramme de cas d’utilisation:
Les cas d’utilisations et les acteurs du système
sont schématisés dans les diagrammes ci-
dessous ainsi que l’interaction entre les cas
d’utilisations et les acteurs.
On a au total 5 diagrammes:

5. 5
Diagramme de cas d’utilisation:
Client dans le magasin:

6. 6
Diagramme de cas d’utilisation:
Vendeur à la caisse:

7. 7
Diagramme de cas d’utilisation:
Employé responsable du stock:

8. 8
Diagramme de cas d’utilisation:
Gérant du magasin:

9. 9
Diagramme de cas d’utilisation:
Livreur:

10. 10
Diagramme de séquence:
1- Passer commande dans le magasin:

11. 11
Diagramme de séquence:
2- Préparation marchandise:

12. 12
Diagramme de séquence:
3- Client se fait encaisser par le vendeur:

13. 13
Diagramme de séquence:
3- Client se fait encaisser par le vendeur:

14. 14
Diagramme de séquence:
4- Livraison:

15. 15
Diagramme de séquence:
5- Alimenter stock:

16. 16
Diagramme de séquence:
6- Réclamation d’un produit :

17. 17
Diagramme de séquence:
7- Ajout d’un employé par le gérant:

18. 18
Diagramme de Classe:

19. 19

20. 20
Diagramme état-Transition:
1- Vendeur en caisse:

21. 21
Diagramme état-Transition:
1- Client au magasin:

22. 22
Contraintes OCL:
1- Tout les personnes qui interagissent dans le
système doivent avoir plus de 18 ans :
Context Personne inv :
Age > 18.
2- Le magasin doit avoir plusieurs livreurs :
Context Empoyé inv :
Livreur  size()>=1.

23. 23
Contraintes OCL:
3- la société doit avoir un seul gérant et un seul résponsable
de stock :
Context Empoyé inv :
Self.gérant  size() = 1
AND Self.responsable  size() = 1 .
4 – Le stock ne doit pas être vide:
Context Stock inv :
Self.produit  IsNotEmpty().
5- La post_ condition de la méthode getPrix().
Context Produit :: getPrix() :int
Body : result = prix_ produit.

24. 24
MERCI POUR VOTRE ATTENTION