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
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
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
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
Diagramme de cas d’utilisation:
Client dans le magasin:
6
Diagramme de cas d’utilisation:
Vendeur à la caisse:
7
Diagramme de cas d’utilisation:
Employé responsable du stock:
8
Diagramme de cas d’utilisation:
Gérant du magasin:
9
Diagramme de cas d’utilisation:
Livreur:
10
Diagramme de séquence:1- Passer commande dans le magasin:
11
Diagramme de séquence:2- Préparation marchandise:
12
Diagramme de séquence:3- Client se fait encaisser par le vendeur:
13
Diagramme de séquence:3- Client se fait encaisser par le vendeur:
14
Diagramme de séquence:4- Livraison:
15
Diagramme de séquence:5- Alimenter stock:
16
Diagramme de séquence:6- Réclamation d’un produit :
17
Diagramme de séquence:7- Ajout d’un employé par le gérant:
18
Diagramme de Classe:
19
20
Diagramme état-Transition:
1- Vendeur en caisse:
21
Diagramme état-Transition:
1- Client au magasin:
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
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
MERCI POUR VOTRE ATTENTION