Roland Mahiqus - Montpellier

Analyse Analyse (mthode Merise) (mthode Merise)

Origine

Introduction

1977 : commande du Ministre de lIndustrie lUniversit dAix-Marseille 1981 : diffusion et utilisation

Roland Mahiqus
roland.mahiques@univ-montp3.fr
1

Caractristiques gnrales
Cohrence interne et avec lindustrie Sparation des donnes et des traitements Description de lexistant pour aller vers le futur Prise en compte du SI
Montpellier Analyse Page 2

Objectif

Contenu du chapitre

Conceptualiser le problme Construire les modles Proposer une solution globale Donner aux dveloppeurs les lments de la mise en uvre

Description et mise en pratique dune dmarche de conception dune application informatique rpondant aux questions :
Quoi faire ? Pour qui et par qui ? Comment et o ? En combien de temps ? quel prix ?
Montpellier Analyse Page 4

Montpellier

Analyse

Page 3

Dmarche
Conception Organisation Logique Physique

Dmarche
Communication Donnes MCD MOD MLD MPD Traitement MCT MOT MLT MPT MCC MOC MLC MPC

Comprendre l'environnement Lister les donnes Dterminer les rgles de gestion Construire les modles de donnes Lister les traitements Construire les modles de traitements Vrifier la cohrence de l'ensemble
Montpellier Analyse Page 5

Montpellier

Informatique

Gnral

Analyse

Page 6

Analyse

- Page 1 -

Roland Mahiqus - Montpellier

Chronologie
2
GDF GDF MCD MCD MOD MOD

Le Modle Conceptuel de Communication (MCC)

Dterminer l'interaction avec l'environnement pour le problme rsoudre
Concevoir les MCC et MOC
Dterminer les domaines Spcifier les acteurs externes Lister les messages changs entre eux

3 1 MCC + DD MCC + DD 2'

MOC MOC
Montpellier

4
Validation Validation MCT MCT

Validation Validation MCC/MCD MCC/MCD

4'
MCT MCT
Analyse

6
MOT MOT
Page 7 Montpellier

Analyse

Page 8

Le Modle Conceptuel de Communication (MCC)

Formalisme
Les domaines Les acteurs externes Les messages Domaine Acteur message

Le Modle Conceptuel de Communication (MCC)

Demande de consommation Paiement Rcupration de la monnaie

Acteur Acteur
Client

Domaine Domaine
dition du ticket dition du ticket

Messages Messages
Commande servie Ticket fourni Monnaie rendue

Montpellier

Analyse

Page 9

Montpellier

Analyse

Page 10

Le Modle Conceptuel de Communication (MCC)

Dtecter les flux internes entre les diffrents domaines ou sous-domaines
Matrice des flux internes
Dterminer les sous-domaines Lister les messages changs entre eux

Le Modle Conceptuel de Communication (MCC)

Demande de plateau

Service Service

Domaine Domaine
dition du ticket
Plateau servi Ticket fourni

Prparation Prparation du plateau du plateau

Sous- domaine Sous--domaine SousSous

Sous- domaine Sous--domaine SousSous

Messages Messages

Montpellier

Analyse

Page 11

Montpellier

Analyse

Page 12

Analyse

- Page 2 -

Roland Mahiqus - Montpellier

Le Modle Organisationnel de Communication (MOC)

Sites et lieux des postes de travail Chronologie des changes Prcision sur le personnel agissant
Exemple :
Qui vrifie le ticket avant qu'il parte vers le client ? Qui prpare la commande ?

Le dictionnaire des donnes (DD)

Lister les donnes
Tableau en 5 colonnes :
1 2 3 4 5 code : attribu par nous-mme dsignation : signification du code type : nature de la donne obtenu : saisi ou calcul exemple : ou mode de calcul

viter les synonymes et homonymes viter les polysmes

Montpellier Analyse Page 14

Montpellier

Analyse

Page 13

Code
Ntable Qt Conso

4.Dsignation Type Obtenuleurs 4. Les donnes et leurs Les donnes et Exemple Numro de la table Numrique Saisie dpendances 12 dpendances Quantit consomme
d'une boisson Nom de la consomation Prix unitaire Montant par conso Taux de TVA Montant de la TVA Total TTC du ticket Date d'emission du ticket Heure d'mission du ticket Numro unique du ticket Nom du serveur Numro du serveur N S 2 Texte N (M) N (M) N (P) N (M) N (M) Date Heure N T N S S C S C C Caf 1,50 PU x Qt 19,6% TTC-(TTC/1,196) Somme des Montants

Dictionnaire des donnes

Le dictionnaire des donnes (DD)

Trouver les identifiants
Les mettre en vidence

PU Montant TVA Montant TVA TTC Date Heure N ticket Nom N Montpellier serveur

Donnes = attributs ou rubriques

S (Automatise) lundi 5 mai 2002 S (A) S (A) S S (A) 11:05:38 45 Marcel 7

Analyse

Page 15

Montpellier

Analyse

Page 16

Code
Ntable Qt

4.Dsignation Type Obtenuleurs 4. Les donnes et leurs Les donnes et Exemple Numro de la table Numrique Saisie dpendances 12 dpendances Quantit consomme
d'une boisson N S 2 Texte N (M) N (M) N (P) N (M) N (M) Date Heure N T N Analyse S S C S C C Caf 1,50 PU x Qt 19,6% TTC-(TTC/1,196) Somme des Montants

Dictionnaire des donnes

Les rgles de gestion

Nom de la Conso consomation PU Prix unitaire Montant Montant par conso TVA Taux de TVA Montant TVA Montant de la TVA TTC Date Heure N ticket Nom N Montpellier serveur Total TTC du ticket Date d'emission du ticket Heure d'mission du ticket Numro unique du ticket Nom du serveur Numro du serveur

Recenser les rgles

De gestion : Quoi ? D'organisation : O ? Qui ? Quand ? Techniques : Comment ?

S (Automatise) lundi 5 mai 2002 S (A) S (A) S S (A) 11:05:38 45 Marcel 7

Page 17

Montpellier

Analyse

Page 18

Analyse

- Page 3 -

Roland Mahiqus - Montpellier

Le modle conceptuel des donnes (MCD)

Pourquoi modliser les donnes ?
Minimiser la saisie Maximiser les contrles Assurer la cohrence du SI Obtenir des rsultats corrects Vrifier que le SI correspond la ralit observe

Le modle conceptuel des donnes (MCD)

Dfinition
Reprsentation du SI en terme d'entits (concepts qui ont du sens dans l'entreprise) manipuls par l'utilisateur et d'associations qui les lient

Complment de dfinition
Ensemble des donnes mmorisables du domaine

Montpellier

Analyse

Page 19

Montpellier

Analyse

Page 20

Le modle conceptuel des donnes (MCD)

Dtecter les objets utiliser et leurs attributs
Les Entits

Le modle conceptuel des donnes (MCD)

2 types de construction
construction dductive :
on part des donnes du DD et on les structure.

Dtecter les liens entre ces entits

Les Associations

construction inductive :
on met rapidement en vidence les objets (entits) auxquels on rattache les informations (attributs).

Placer les attributs restants

Dans les associations Dans des entits artificielles
Montpellier Analyse Page 21 Montpellier

Analyse

Page 22

Le modle conceptuel des donnes (MCD)

Indiquer la "taille" des lments
Les occurrences

Le modle conceptuel des donnes (MCD)

Formalisme
Les entits avec leurs occurrences Les associations avec leurs occurrences
12

Dterminer Les cardinalits

Nombre mini et maxi qu'une occurrence d'une entit intervient dans une association
Mini = {0, 1, n}, Maxi = {1,n}
Type 1 1 (1,1) ou 0 1 (0,1) Type 1 plusieurs (1,n) ou (0,n) Type plusieurs plusieurs (n,n)
Montpellier Analyse Page 23 Montpellier

SERVEURS N, Nom

1,n
100 0

Apporter

Les liens entre entits et associations

Analyse Page 24

Analyse

- Page 4 -

Roland Mahiqus - Montpellier

Le modle conceptuel des donnes (MCD)

Exemple
12 1000
1000

Le modle conceptuel des donnes (MCD)

Passage du GDF au MCD
Les objets deviennent des entits; Les DF entre objets deviennent des associations avec la cardinalit maxi 1 du ct du dpart de la flche; Les rubriques non en DF directe se placent dans une ou plusieurs associations de cardinalit maxi n de chaque ct.

SERVEURS N, Nom

1,n

apporter

1,1

TICKETS N, date heure

Montpellier

Analyse

Page 25

Montpellier

Analyse

Page 26

Le modle conceptuel des donnes (MCD)

Rgles de vrification du MCD
Tous les attributs du DD sont dans le MCD Un attribut n'apparat qu'une fois Toutes les entits ont un identifiant Toute association relie au moins 2 entits (sauf celles rflexives : d'une entit sur elle-mme) Il existe au moins un chemin entre tous les attributs
Montpellier Analyse Page 27

Le modle conceptuel des donnes (MCD)

Normalisation du MCD
diffrents stades de qualit.
viter les pertes de donnes, les incohrences, l'effondrement des performances.

remplacer une entit par plusieurs. hirarchie dans la normalisation : une relation en 5 me FN est forcment en 4 me FN, et ainsi de suite.
Montpellier Analyse Page 28

Le modle conceptuel des donnes (MCD)

Normalisation du MCD
1FN = Pas d'attribut multivalu
EMPLOYS matricule nom, prnom prnoms-enfants
EMPLOYS matricule nom prnom
Montpellier

Le modle conceptuel des donnes (MCD)

Normalisation du MCD
2FN = 1FN + tout attribut dpend de LIVRES l'identifiant
code, titre nom-diteur adresse

Avoir

ENFANTS N nom prnom

Page 29 Montpellier

LIVRES code titre

Avoir

DITEURS N diteur nom-diteur adresse

Page 30

Analyse

Analyse

Analyse

- Page 5 -

Roland Mahiqus - Montpellier

Le modle conceptuel des donnes (MCD)

Normalisation du MCD
3FN = 2FN + tout attribut dpend directement de l'identifiant
EMPLOYS matricule nom, prnom nom_projet dbut, fin

Le modle organisationnel des donnes (MOD)

Passer de l'abstrait au concret Dans la thorie gnrale des Bases de Donnes, prsent en algbre relationnelle et appel MRD : Modle Relationnel des Donnes
MOD = MRD
C'est la mme chose, seul le formalisme change : graphique (MOD) ou algbrique (MRD)

EMPLOYS matricule nom prnom

Montpellier

PROJETS N projet nom_projet dbut, fin

Page 31 Montpellier

Analyse

Analyse

Page 32

Le modle organisationnel des donnes (MOD)

Le MOD est une transformation du MCD
Entit Table Association Table Attribut Champ Cardinalit Type de relation
On ne s'intresse qu'aux Maxi a,1 de chaque ct CIF a,1 d'un ct et a,n de l'autre "1 plusieurs" a,n d'un ct et a,n de l'autre "plusieurs plusieurs"
Montpellier Analyse Page 33

Le modle organisationnel des donnes (MOD)

Fond sur les thories relationnelles
La liaison s'exprime travers les champs des tables
Cls externes (ou trangres)

Doit permettre d'interroger les donnes

Requtes (SQL)

Montpellier

Analyse

Page 34

Le modle organisationnel des donnes (MOD)

Transformation du MCD en MOD
1 - Une entit devient une table avec comme champ les attributs de l'entit (y compris l'identifiant)

Le modle organisationnel des donnes (MOD)

Transformation du MCD en MOD
2 - Une association porteuse d'information devient une table avec comme champ les attributs de l'association, plus les identifiants des entits que l'association relie, appels cls externes

Montpellier

Analyse

Page 35

Montpellier

Analyse

Page 36

Analyse

- Page 6 -

Roland Mahiqus - Montpellier

Le modle organisationnel des donnes (MOD)

Transformation du MCD en MOD
3 Une association de type "plusieurs plusieurs" devient une table avec comme champ les seuls identifiants des entits que l'association relie, en cls externes

Le modle organisationnel des donnes (MOD)

Transformation du MCD en MOD
4 - Une association de type "1 plusieurs" se transforme en une (ou des) cl(s) externe(s) dans l'entit du ct "1" correspondant (aux) identifiant(s) du ct "n". 5 Simplification : les entits ayant lidentifiant comme seul attribut peuvent tre ignores
Montpellier Analyse Page 38

Montpellier

Analyse

Page 37

Le modle organisationnel des donnes (MOD)

Formalisme graphique (MOD)
SERVEURS N, Nom

Le modle conceptuel des traitements (MCT)

Objectif
Mettre en vidence l'activit de l'entreprise en utilisant un langage formel et identifier :
Des acteurs Des vnements Des tats Des synchronisations Des processus Des oprations Des rsultats
Montpellier Analyse Page 40

TICKETS N, date heure n serveur

Formalisme algbrique (MRD)

SERVEURS(N, nom) TICKETS(N, date, heure, nserveur)
Montpellier Analyse Page 39

Le modle conceptuel des traitements (MCT)

Traitement = description d'un processus
Dclench dans le domaine En rponse l'environnement (par qui ou quoi)

Le modle conceptuel des traitements (MCT)

On rpond la question "Quoi ?" (quelles actions fait l'entreprise)
On ne rpond pas aux questions "O", "Quand", Comment"

Dcrit les actions sur le SI avec leur dclenchement faisant vivre les donnes
C'est une description dynamique
Montpellier Analyse Page 41 Montpellier Analyse Page 42

Analyse

- Page 7 -

Roland Mahiqus - Montpellier

Le modle conceptuel des traitements (MCT)

Elments utiliss
L'acteur
les acteurs externes et internes au domaine

Le modle conceptuel des traitements (MCT)

L'tat
Dpend d'une situation pralable du SI
exemple : un dossier doit tre ouvert avant d'instruire un sinistre

Acteur

L'vnement
Flux reus (message) Flux mis (rsultat)

Ticket de caisse

Le traitement peut produire des changements d'tat

aprs le rglement du sinistre le dossier est clos

ARTICLE ARTICLE Disponible Disponible

Montpellier

Analyse

Page 43

Montpellier

Analyse

Page 44

Le modle conceptuel des traitements (MCT)

La synchronisation
Condition pralable au dmarrage de l'opration.
opration logique : ET; OU; NON, >, < =, ...
ET ET

Le modle conceptuel des traitements (MCT)

L'opration
Action s'enchanant au cours d'un processus avec les seules informations du MCD amenes par l'vnement dclenchant et
VENTE DIRECTE VENTE DIRECTE AU COMPTANT AU COMPTANT Enregistrer la commande Enregistrer la commande Facturer Facturer Enregistrer le rglement Enregistrer le rglement Remettre les articles Remettre les articles Articles en Articles en stock stock Dernier Dernier article vendu article vendu

Le processus
Ensemble structur d'oprations et rsultats conscutifs qui concourent un mme but
Montpellier Analyse

Nom du processus Nom du processus Opration 1 Opration 1 Opration 2 Opration 2 Condition 1 Condition 2 Condition 1 Condition 2
Page 45 Montpellier

Analyse

Page 46

Le modle conceptuel des traitements (MCT)

CLIENT CLIENT ET ET COMMANDE COMMANDE Enregistrer la commande Enregistrer la commande Etablir le ticket Etablir le ticket Prparer les consommations Prparer les consommations Servir Servir Ticket Commande Commande servie servie
Analyse

Le modle conceptuel des traitements (MCT)

Validation du MCT
Par prsentation aux partenaires Par vrification par simulation En Respectant les rgles suivantes :
1 acteur met au moins 1 vnement ou reoit au moins un rsultat (il sert quelque chose !) 1 vnement externe provient d'au moins 1 acteur un rsultat provient d'au moins 1 opration
Montpellier Analyse Page 48

Etablissement Etablissement ouvert ouvert

CLIENT CLIENT
Montpellier

Commande Commande encaisse encaisse

Page 47

Analyse

- Page 8 -

Roland Mahiqus - Montpellier

Le modle conceptuel des traitements (MCT)

Validation du MCT En respectant les rgles suivantes :
Tout rsultat a au moins une destination Une opration est dclenche par un vnement, un tat ou une synchronisation unique Une synchronisation lie au moins 2 vnements ou tats par une expression logique Une expression logique associe une synchronisation a au moins un rsultat vrai
Montpellier Analyse Page 49

Le modle conceptuel des traitements (MCT)

Validation du MCT En respectant les rgles suivantes :
Un fonctionnement cyclique doit pouvoir tre contrl Tout rsultat ou tat du MCT doit pouvoir tre produit Les situations de conflit doivent tre analyses

Montpellier

Analyse

Page 50

Le modle conceptuel des traitements (MCT)

Remarques :
Le MCT ne vit que par ces changes avec l'environnement Les vnements externe ne naissent pas spontanment Les rsultats produits sont utiliss...ou inutiles !

Le modle organisationnel des traitements (MOT)

Il permet de prciser :
La chronologie des traitements Les postes de travail concerns Le personnel concern Le temps correspondant

Montpellier

Analyse

Page 51

Montpellier

Analyse

Page 52

Analyse Analyse (mthode Merise) (mthode Merise)

Fin du chapitre

53

Analyse

- Page 9 -