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 1

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:
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.
3

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:
4

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

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

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

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

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

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

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

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

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

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

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

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

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

18. Diagramme de Classe:
18

19. 19

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

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

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.
22

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.
23

24. MERCI POUR VOTRE ATTENTION
24