Merise & SI

Merise

MERISE est une mthodologie laquelle beaucoup d'outils de dveloppement informatique s'affilient et pour laquelle cette affiliation s'avre gnralement restrictive voire incorrecte. Cette page n'a pas la prtention de faire une description prcise de MERISE mais d'en faire le survol de manire ce qu'elle puisse servir de prsentation (forcment succincte) ceux, informaticiens ou non, qui pourraient y tre confronts. Prsente souvent comme une mthode d'analyse informatique, MERISE est surtout une dmarche (certains parlent "d'tat d'esprit ") pour l'tablissement de systme d'information et en cela MERISE sort du domaine de l'informatique pour s'intresser la gestion mme de l'organisation concerne.

I.Dmarche
MERISE propose une vritable dmarche de fabrication d'un SI qui consiste traiter un projet informatique en s'appuyant sur trois notions fondamentales: Vie du projet: Les tapes. Suivi du projet: Les choix, les points de validation des tapes. Formalisation du projet: l'abstraction des diffrentes tapes. 1. Schma directeur 2. Etude pralable 3. Analyse dtaille 4. Analyse technique 5. Ralisation 6. Maintenance

I.Dmarche
1.Etablissementduschmadirecteur

Le schma directeur fixe les grandes orientations : Choix d'organisations : Dfinition du SI. Choix stratgiques :

Matriels. Logiciels. Architectures. Dfinition du SAI.

L'tablissement du schma directeur est une tche permanente qui est alimente par les diffrentes tudes des diffrents projets ainsi que par l'volution des techniques et organisations.

I.Dmarche
2.L'tudepralable Rfrencer les moyens existants. Audit des diffrents acteurs de l'organisation pour dfinir les limites du systme existant et leurs souhaits concernant le systme futur. Synthtiser les besoins du systme futur en se basant sur l'existant et les souhaits des diffrents intervenants. On peut utiliser pour cela une ModlisationConceptuelledeCommunicationMCC qui permet de reprsenter les flux d'informations circulant entre les diffrents acteurs ou postes de travail. Au regard de cette bauche du systme futur, proposer divers scnarios. Chaque scnario doit mentionner les lments suivants : Matriels ncessaires. Logiciels ncessaires . Grands ensembles d'informations et principaux traitements retenus pour l'automatisation (MCT et ventuellement bauche du MCD).

I.Dmarche

Le passage l'tape suivante ncessite que l'un des scnarios proposs par l'tude pralable soit retenu. Ce choix est tabli sur les critres suivants :
COUTS LIMITES Investissement Initial, Formations, Maintenance volutive et Maintenance corrective. Estimation des gains. Capacits d'volutions.

IMPACTS DELAIS FAISABILIT

Impact sur l'organisation existante. De mise en uvre du scnario et de mise en exploitation. Points en suspens lever durant l'analyse dtaille ou l'analyse technique. Risques et solutions de remplacement.

I.Dmarche
3. L'analyse dtaille Etablissement du MCD. Etablissement du MOT. Description des traitements: Enchanement des traitements. Description des procdures fonctionnelles: Tables de dcision. Dfinition des crans. Dfinition des tats. Liens avec le MCD. Formalisation du dictionnaire des donnes et validation du MCD vis--vis des traitements: Liste des entits types. Liste des relations types. Liste des proprits. Etablissement du MLD.

I.Dmarche
4.L'analysetechnique L'analyse technique a pour but de prparer la ralisation. Elle doit lever les dernires contraintes et tablir les choix qui orienteront la ralisation. L'analyse technique doit indiquer comment les traitements et donnes dcrits par l'analyse dtaille seront raliss. Etablissement du MPD. Etablissement du MOPT. 5.Laralisation La programmation. Les tests. La mise en exploitation. 6.Lamaintenance La maintenance est de deux types. La maintenance corrective qui a pour but la correction d'une anomalie : Erreur de conception : elle est due une incohrence dans l'analyse et ncessite de revoir cette dernire. Erreur de ralisation : elle est due une mauvaise comprhension ou un oubli lors de la ralisation. La maintenance volutive : modifications impliques par une volution de l'organisation.

II.Abstraction

Il s'agit avant tout avec MERISE de formaliser des notions complexes qui sont difficilement utilisables sous leur forme finale (Programmes informatiques, fichiers de donnes...). Pour cela on utilise diverses tapes progressives durant lesquelles on ne s'intresse qu' certains aspects de cette formalisation :

II.Abstraction
Formalisation Conceptuelle: A pour but la formalisation des donnes et traitements ncessaires au SI sans aborder les aspects d'organisation. Il s'agit d'apporter la rponse la question: QUOI?

Formalisation A pour but d'apporter la formalisation conceptuelle les notions de temps, de lieux et Organisationnelle: d'acteurs, soit rpondre aux questions: QUAND? OU? et QUI?

Formalisation Oprationnelle:

A pour but de dfinir les solutions techniques rpondant aux besoins soulevs lors des tapes prcdentes. Il s'agit de rpondre la question: COMMENT?

II.Abstraction
1.Formalisationconceptuelle La formalisation conceptuelle est l'tape la plus importante d'un projet informatique. Elle a pour but de fixer les choix des informations et traitements manipuler dans le SI ( dfaut de dcrire compltement ce dernier). Pour ne s'attacher qu' cette tape primordiale l'organisation dans laquelle ces informations et traitements seront utiliss n'est pas tudie ici. On utilise deux mthodes de formalisation :

Modleconceptueldesdonnes(MCD) Modleconceptueldestraitements(MCT)

II.Abstraction
a.Modleconceptueldes donnes(MCD)

Le MCD est l'lment le plus connu de MERISE et certainement le plus utile. Il permet d'tablir une reprsentation claire des donnes du SI et dfinit les dpendances fonctionnelles de ces donnes entre elles. Les lments utiliss pour la formalisation d'un MCD sont les suivants :

II.Abstraction
Entit Type Dfinition d'entits (objets physiques ou abstraits) ayant des caractristiques comparables. Relation Type Dfinition d'une Association liant plusieurs Entits Types. Signification d'un lien entre deux ou plusieurs types d'objets. Proprit Type Dfinition d'une caractristique d'un objet ou d'une association. Une proprit Type est elle-mme caractris par un type (Chiffre ou Texte ...) et une longueur. L'ensemble des proprits types du MCD compose le dictionnaire des donnes. Identifiant
Proprit Type ou concatnation de Proprits Types permettant de distinguer une entit parmi toute les autres dans une Entit Type.

Cardinalit Nombre minimum de fois o une entit est concerne par l'association. minimum 0 indique que les entits ne sont pas obligatoirement concerns par l'association. Cardinalit Nombre maximum de fois o une entit est concerne par l'association. maximum N signifie plusieurs fois sans prciser de nombre. Ce nombre ne peut tre gal 0.

II.Abstraction

Reprsentation

II.Abstraction

Exemple Comme rien ne vaut un bon exemple, voyons celui d'un club de Parapente (n'oublions pas que nous sommes sur l'le de la REUNION) qui souhaite grer les parapentes qu'il loue la journe aux membres du club d'une part et d'autre part, suivre le palmars (vols) de ces mmes membres (On considre que le SI du club de parapente se restreint ces deux seuls lments) :

II.Abstraction

II.Abstraction
Rglesdegestion Hormis les rgles de gestion dfinies au sein des contraintes d'intgrits reprsentes par le Schma, on distingue :
ContraintesstatiquesForme ou Ensemble des valeurs d'une proprit. Exemple : Le poids d'un pilote doit tre compris dans la fourchette poids minimum, poids maximum autoris par le MODELE DE PARAPENTE du PARAPENTE qu'il loue au club. ContraintesdynamiquesIndiquent les restrictions lors de l'volution du SI. Exemple : Le niveau d'un pilote ne peut baisser.

II.Abstraction
Rglessuivrepourl'tablissementd'unMCD Normalisation
1ere forme Normale 2eme forme Normale Chaque entit doit disposer d'un identifiant qui la caractrise de manire unique. Le numro de licence est unique pour chaque PILOTE

Les proprits d'une entit ne doivent dpendre que de l'identifiant de l'entit et non d'une partie de cet identifiant. Un identifiant peut tre compos de la concatnation de plusieurs proprits. 3eme forme Normale Les proprits d'une entit doivent dpendre de l'identifiant de l'entit de manire directe. Exemple: SI l'on rajoutait dans l'entit PILOTE une proprit "Description du Niveau" cette normalisation ne serait pas respecte car la Description du Niveau est directement dpendante du Niveau et non du "numro de licence". Forme Normale de BOYCE- Pour les identifiants composs de plusieurs proprits, ces dernires ne doivent pas CODD tre dpendantes d'une autre proprit de l'entit. Normalisation des relations Les proprits des relations doivent dpendre de tous les identifiants des entits associes. Dcomposition des relations Les relations dont le nombre d'entits associ est trop important (suprieur 3) doivent tre dcomposes en plusieurs relations. Cette dcomposition ne peut se faire qu' la condition d'avoir une cardinalit minimum gale 1.

II.Abstraction

Evnement

b.Modleconceptueldestraitements(MCT) Moins utilis et plus difficile mettre en uvre que le MCD, le MCT permet de formaliser les traitements en fonction des vnements extrieurs sans s'intresser l'organisation qui rgira ces traitements Les lments utiliss pour la formalisation d'un MCT sont les suivants :
Interne ou Externe au SI il s'agit d'un dclencheur pour le lancement d'une opration ou le rsultat d'une opration destination du monde extrieur.

Synchronisation Rgle indiquant les vnements et l'enchanement de ces derniers ncessaires au lancement d'une opration. Il s'agit d'une expression logique compose essentiellement de OU et de ET

Opration

Liste des actions raliser SI la synchronisation associe est ralise. L'ensemble des actions de l'opration s'excute sans interruption ni attente d'vnement.

Emission

Expression logique indiquant selon le rsultat de l'opration quels vnements internes au SI sont crs.

II.Abstraction

Reprsentation

II.Abstraction

Exemple
Reprenons l'exemple du club de parapente et attachons nous dfinir les traitements qui concernent la location du parapente :

II.Abstraction
2.Formalisationorganisationnelle a.ModleOrganisationneldestraitements(MOT) Le MOT est issu du MCT, dont il reprend la reprsentation de base, et surtout de l'organisation choisie la fin de l'tude pralable. La reprsentation du MOT utilise un tableau dont les colonnes sont les intervenants, acteurs et lieux, et o les lignes apportent la notion de temps :

II.Abstraction

Par ailleurs on tend la notion d'vnement du MCT la notion de flux d'informations et on dcompose les oprations du MCT en procdures fonctionnelles. Il est intressant, pour la comprhension du MOT, d'indiquer le support du flux d'informations ou de l'vnement mentionn :

II.Abstraction

Exemple

Reprenons l'exemple de l'cole de parapente en nous intressant nouveau aux traitements dcrits dans le MCT. Nous considrons donc que l'tude pralable est termine et nous entamons l'analyse dtaille. Des choix ont t faits concernant les investissements faire et l'organisation mettre en place pour le systme futur. Considrons que le scnario retenu indique que le traitement de location d'une voile concerne deux intervenants de l'organisation : Le secrtariat du club qui est quip d'un terminal informatique. Le matriel pour lequel aucun quipement informatique n'est prvu. Notons ici que si le matriel tait quip d'un terminal informatique le MOT suivant serait trs diffrent :

II.Abstraction
c.ModleLogiquedesdonnes(MLD) Le MLD ajoute au MCD la notion d'organisation. Le MLD indique donc comment les donnes seront organises. Cette formalisation ncessite de connatre les moyens disponibles pour la manipulation des donnes :
Base de donnes navigationnelles. Base de donnes relationnelles. Fichiers indexs. ....

Nous ne traiterons ici que de la formalisation du MLD applique une base de donnes relationnelle.
Les entits types du MCD sont converties en tables dans le MLD. Selon les cardinalits, les associations types du MLD sont converties en tables ou supprimes (voir ci-dessous).

II.Abstraction
SchmadeconversionduMCDenMLD. Les proprits en gras indiquent :

L'identifiant

d'une entit (MCD). La cl primaire d'une table (MLD).

Les proprits soulignes indiquent :

L'identifiant

d'une entit (MCD). Une rubrique d'une table qui ne peut tre nulle (MLD).

II.Abstraction

Relationdontlescardinalitsmaximalessontsuprieure1.

II.Abstraction

Relation0,1-0,Nou0,1---1,N

L'association type B est supprime et ses proprits types deviennent des rubriques de la table issue de l'entit type C (celle qui a les cardinalits 0,1).

II.Abstraction

Relation1,1-0,Nou1,1---1,N

L'association type B est supprime et ses proprits types deviennent des rubriques de la table issue de l'entit type C (celle qui a les cardinalit 0,1).

II.Abstraction
Exemple MLD de l'exemple prsent dans le MCD

II.Abstraction
3.Formalisationoprationnelle La formalisation oprationnelle consiste spcifier comment seront raliss les lments du projet. C'est une formalisation propre aux informaticiens et qui ne concerne qu'eux. Pour les traitements, on s'intresse la structure interne des applications qui sont raliser. Pour les donnes, on part du MLD pour prciser l'organisation interne de la gestion des donnes. On utilise deux mthodes de formalisation :

Modle Physique des donnes ( MPD ) Modle Oprationnel des traitements ( MOPT)

II.Abstraction
a.ModleOprationneldestraitements(MOPT) Le MOPT s'intresse la structure interne de toutes les applications du projet. Son objectif est la prparation du dveloppement : Dfinir les normes de dveloppement, si celles-ci n'appartiennent pas dj au schma directeur. Dcomposer chaque application en modules techniques : Dfinir les donnes internes au module technique. Dfinir les traitements du module technique (Procdures, fonctions) : Dfinir le cahier des tests. Le MOPT est fortement dpendant des outils de dveloppement choisis lors de l'tude pralable. Notons ici l'impact des Ateliers de Gnie Logiciel (AGL) dont le but initial est d'optimiser la gestion du code de programmation pour la ralisation et surtout la maintenance.

II.Abstraction
b.ModlePhysiquedesdonnes(MPD) Le MPD prpare le systme de gestion des donnes. Nous ne traiterons ici que de la formalisation du MPD applique une base de donnes relationnelle. Le MPD s'intresse l'optimisation de la gestion des donnes en fonction de l'outil choisi pour cette gestion et surtout en fonction des traitements qui utilisent ces donnes (Vue des procdures fonctionnelles). Des choix parfois contradictoires vis vis du MCD sont faire car il s'agit d'tre pragmatique.

Dfinir la place ncessaire chaque table. Dfinir l'implantation physique de la base de donnes sur les disques, les serveurs disponibles ... Optimiser les temps d'accs l'information :

Accepter les redondances d'informations qui permettent de diminuer sensiblement le nombre de tables concerns par une requte. Utilisation de cls numriques. Cration d'index pour les critres de recherche.

Exercice
Diagrammedeflux-MCT-MOT:GESTIONDESCARTESBLEUES Le demandeur dsirant obtenir une carte bleue doit en faire la demande auprs de son agence. La carte bleue nest pas accorde si le demandeur nest pas un client de lagence. Chaque jour, lagence transmet au centre de gestion des cartes bleues les demandes de ses clients. Ds que lagence a reu la carte bleue en provenance du centre (en gnral 4 jours aprs la demande), elle adresse au client un avis de mise disposition et un avis de prlvement de la cotisation annuelle. Le client vient alors retirer sa carte. Si au bout de 2 mois la carte na pas t retire, elle est dtruite. TravailFaire: 1) Etablir le diagramme des flux 2) Etablir le modle conceptuel des traitements 3) Etablir le modle organisationnel des traitements