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