Documente Academic
Documente Profesional
Documente Cultură
Bibliographie
La mthode MERISE, Principes et outils : H. TARDIEU, A. ROCHFELD, R. COLLETTI. Les ditions dorganisation, 1979. Ingnierie des systmes d'information MERISE deuxime gnration (4eme dition), D. NANCI, B. ESPINASSE, ditions Vuibert. 2001
Tout systme dinformation possde: une activit humaine ncessitant de linformation des donnes stockes des donnes en entre avec un moyen pour les acqurir un ensemble de processus qui transforment les donnes des donnes en sortie avec un moyen pour les reprsenter
La mthode MERISE / S. SI-SAID CHERFI 3
La transformation
Tout systme utile transforme des entres en sorties Pour un SI les entres et les sorties sont des informations Cette transformation constitue la raison pour laquelle les SI sont construits
Exemple de transformation
Un systme de gestion de commandes peut avoir:
Des information propos des commandes, du stock des produits, des clients
Un systme:
a des frontires est dot dune structure fait une ensemble dactivits afin datteindre un but volue dans un environnement
Un systme dinformation est un systme organis de ressources, de personnes et de structures qui volue dans une organisation et dont dont le comportement coordonn vise atteindre un but commun. Exemple de systmes dinformation
Gestion des rparations dans un garage automobile, Gestion de la
La mthode MERISE / S. SI-SAID CHERFI 7
Types de SI
Les systmes dinformation sont senss aider les utilisateurs dans leurs activits
Stocker et restaurer linformation Faire des calculs Aider communiquer Ordonnancer et contrler des tches Etc.
Types de SI
systmes oprationnels assistant et ou contrlent lexcution des oprations de gestion
Un systme comptable corrige les erreurs commises par le facturier ou le comptable
Types de SI
Systmes temps-rel grent essentiellement des dispositifs matriels, souvent dans des domaine de scurit de fonctionnement
Les centrales nuclaires sont dots dun systme de control de la temprature.
10
Bases de donnes
Une base de donnes est un ensemble structur de donnes enregistres sur des supports accessibles sur ordinateur, reprsentant les informations du monde rel et pouvant tre interroges par diffrents utilisateurs. La notion de base de donnes est relative aux systmes dinformations dune entreprise. Une base donnes renferme des informations de nature diffrentes (clients, fournisseurs, produits, ...) rpondant aux besoins de gestion des utilisateurs concerns.
11
P2
Base de donnes
Le S G B D assure linterface entre la base de donnes physique et les programmes dapplication (P1, P2, P3...) qui ralisent des accs (mise jour, consultation).
La mthode MERISE / S. SI-SAID CHERFI 12
Comment concevoir un SI
Concevoir un SI revient :
Rsoudre un problme dcomposer le problme le modliser
14
La mthode Merise
Conceptuel
MCD,MCT
Raisonnement
(Cycle dabstraction)
Organisationnel
MOD, MOT
Logique
MLD, MLT
Physique
MPD, MPT
Instant de conception
Dmarche
(Cycle de vie) Conception
schma directeur tude pralable tude dtaille
Matrise
(Cycle de dcision) Grer
Cot Dlai La mthode MERISE / S. SI-SAID CHERFI Qualit
Ralisation
tude technique production logicielle Mise en service 15
Maintenance
Systme dinformation
Le systme dinformation dune entreprise (SI) est constitu dinformations organises, dvnements ayant un effet sur ces informations et des acteurs agissant sur ces informations selon des processus qui visent un objectif de gestion et utilisant des moyens techniques
Proce ssus
16
le systme informatique
Il reprsente lensemble des moyens informatiques mis en uvre pour assurer le traitement automatis de tout ou partie du systme dinformation - matriels
ordinateurs (micro, mini, gros systme et priphriques associs) rseaux de transmission de donnes (local, public...) de servitude systme dexploitation, utilitaires, logiciels bureautiques, SGBD (Systme de Gestion de Bases de donnes), aides logicielles (AGL...).
La mthode MERISE / S. SI-SAID CHERFI
- logiciels
17
QUOI ?
NIVEAU CONCEPTUEL
QUI ? O ? QUAND ?
COMMENT ?
18
Le niveau conceptuel
Il a pour objet de dcrire le systme de gestion pour le domaine concern
Quelles donnes ? Quelles rgles de gestion ? Pour quoi faire ?
Il est indpendant des choix dorganisation et des choix techniques Il consiste dcrire :
- Pour les donnes : Leur structure et les liens qui existent entre elles selon le modle de reprsentation choisi - Pour les traitements :
La succession des actions menes dans le domaine tudi en rponse aux sollicitations auxquelles il doit faire face.
La mthode MERISE / S. SI-SAID CHERFI 19
On sattache dcrire
-Pour les donnes : La description de la structure de la base de donnes laide du langage de description du SGBD retenu - Pour les traitements : le dcoupage en units de traitement (les UT) et leur structure denchanement.
La mthode MERISE / S. SI-SAID CHERFI 21
dem ande tlphonique dem ande com ptoir CLIENT bon de rem is C OM P TOIR disponibilit dem ande rappro rapide C AISSE bon de rem is
articles
accus rception
bon de rem is
COMPTABILITE
facture fournisseur
Dcouper lentreprise en domaines dactivit (pour matriser la complexit) Chaque domaine doit tre quasi autonome Apprhender lentreprise comme un ensemble dunits dactivits changeant des flux
La mthode MERISE / S. SI-SAID CHERFI 22
23
articles
accus rception
bon de remis
COMPTABILITE
facture fournisseur
24
FOURNISSEUR
livraison indirecte
Domaine achats
articles
accus rception
Domaine Comptable
25
A voir dans ce cours Le modle conceptuel des donnes Le modle logique des donnes Pour en savoir plus sur le Le modle physique des donnes (cours de bases de donnes)
La mthode MERISE / S. SI-SAID CHERFI
26
Introduction Les concepts et les rgles de modlisation La dmarche de construction dun M.C.D Notions complmentaires
27
Introduction : Problmatique
Il sagit dexprimer lensemble des informations que lon veut prendre en compte dans le systme dinformation Elle est base sur un formalisme de reprsentation
- guider le raisonnement du concepteur - obliger respecter des normes - utiliser un langage commun
Lorganisation
Une bibliothque
les Livres avec leur rfrence, leur titre et leur premier auteur Les Abonns avec leur nom, leur date de naissance et leur adresse Les emprunts de livre par les abonns L456, Les misrables, V. Hugo R589, Germinal, E. Zola ..........
Bases de donnes
29
30
La relation ou association : association perue entre des individus de lunivers de discours. Exemple :le fait que Dupond emprunte le le livre la mthode MERISE est considr comme une relation entre ces deux individus.
32
ABONNE
abstraire
Rgle de caractrisation: les entits types sont dcrites par des proprits types
Exemple: les abonns ont un nom, une adresse et une date de naissance les proprits prennent des valeurs les proprits peuvent tre composes
ABONNE nom adresse date de naissance Lentit-type et ses proprits types
Dupont, chemain daix...., 27/06/78 Durand, Cours sextius13100 Aix, 21/09/56 ---------.----------
Le concept de proprit-type
Dfinition : Cest une classification des proprits semblables de toutes les occurrences dindividus appartenant une mme entit-type.
Loccurrence dune proprit-type est la valeur.
La bibliothque relle Le modle conceptuel 35 ans Dupond 35 ans Durand ans 22 ans 46 ans 46 Martin 22 ans Des occurrences
La mthode MERISE / S. SI-SAID CHERFI 36
abstraire
Cas dexception La rptition provient dune historisation dans le temps La proprit ne correspond pas un objet dintrt
CLIENT nocli adrcli notel (n)
proprit multiple
38
erreur
39
Le concept dassociation-type
Dfinition : Cest une reprsentation dun ensemble dassociations de mme nature entre deux ou plusieurs occurrences dentits (de types diffrents ou de mme type), ayant un intrt
ABONNE nom datenaissance adresse emprunte LIVRE rfrence titre premier auteur
40
Le concept dassociation-type
Rgle de caractrisation: les associations-types peuvent avoir des proprits types
ABONNE nom datenaissance adresse emprunte date emprunt LIVRE rfrence titre premier auteur
1/01/97 3/06/97
Madame Bovary
41
Le concept dassociation-type
La rgle de non rptitivit et la rgle dhomognit sappliquent aux proprits types des associations-types Rgle didentification: une association type a pour identifiant la concatnation des identifiants des entits types qui la composent
42
Le concept dassociation-type
Rgle de normalisation: toutes les entits-types participant une association-type sont bien ncessaires pour dfinir chaque proprit de lassociation-type
VEHICULE
normalisation
Garer
Date dexpiration Date achat vhicule PERSONNE
VEHICULE
GARAGE
Propritaire
Garer
Date dexpiration
PERSONNE
43
44
45
46
Cardinalits maximales :
Valeur 1 N Dfinition ne occurrence de l' entit-type participe au plus une fois Une occurrence de l' entit-type peut participer plusieurs fois Exemple Une bibliothque est gre au plus par un gestionnaire Un mme abonn peut avoir emprunt plusieurs livres.
- Une association-type avec une cardinalit 1,1 ne peut pas tre porteuse de proprit type. - Les proprits doivent tre places sur lentit-type ayant la cardinalit 1,1.
DEPOT
0,n
Une association-type N'A PAS D'IDENTIFIANT explicite : l'association-type dpend des entits-type qu'elle relie. Son identifiant est compos des identifiants des entits-type quelle associe. Les occurrences de cet identifiant se dduit par calcul du produit cartsien des identifiants des entits associes.
Livre 0,n emprunte 0,N Abonn
##nlivre nlivre
##nabonn nabonn
49
Concepts avancs
Les contraintes dintgrit La gnralisation / spcialisation Les contraintes sur les hirarchies de gnralisation / spcialisation
50
Typologie
Les cardinalits dune association-type Contraintes intra-associations Contraintes inter-associations
51
Contraintes intra-association
Notion de dpendance fonctionnelle ou contrainte dintgrit fonctionnelle (CIF)
A A est un ensemble B est un ensemble AXB EXEMPLE : B un lment a de A correspond au plus un lment b de B
C CLIENT SALLE
COMMANDE
MODULE X PROFESSEUR
ENTITE
1,1
1,n
ENTITE
52
Contraintes intra-association
Reprsentation graphique
Cas des associations binaires
CIF COMMANDE 1,1 Passe par 1,n CLIENT
MODULE
Faire Cours
1,n
SALLE
Dans le cadre de lassociation Faire Cours, un professeur enseigne toujours le mme module dans la mme salle
La mthode MERISE / S. SI-SAID CHERFI 53
Contraintes inter-associations
Participation dune entit plusieurs associations
Association1 ENTITE
X X
Association2
X X
Diffrentes situations
Partition Exclusion Totalit
54
Contraintes inter-associations
Totalit
X X X X X
X X
Exclusion
X X X X X X Personnel
X
contrat
service
55
Contraintes inter-associations
Partition
X X X X
Ouvrage P consultation Salle Rayon
rang
Inclusion
X
B
X X
B
X X
II A
56
forme, liste de valeurs, fourchette de valeurs possibles Stabilit (la valeur de la proprit ne change pas au cours du temps)
Sur plusieurs proprits dune mme entit ou dune mme association
Spcialisation/Gnralisation dentits-types
proprits-types communes
Personnel
noPer nomPer adressePers Entit super type
Spcialisation/Gnralisation dentits-types
Une spcialisation dentit-types peut comporter un nombre quelconque de sous-types Une entit sous-type dune spcialisation peut son tour tre super-type dune autre spcialisation (hirarchie de spcialisations) Le dcoupage dune population en sous-populations peut seffectuer sur plusieurs critres; chaque critre produisant une spcialisation en diffrents soustypes PERSONNE
sexe statut
HOMME
FEMME
ETUDIANT
ADMINISTRATIF ENSEIGNANT
59
60
La dmarche de construction
61
La dmarche gnrale
La construction du MCD La vrification du MCD Laffinage du MCD La validation du MCD
Phase de dfinition des lments constituants le MCD Vrifier que les concepts sont bien utiliss (conformment leur dfinition) La cohrence, la compltude, la fidlit
Documenter le MCD par une description textuelle des lments constituants
La mthode MERISE / S. SI-SAID CHERFI 62
La spcification du MCD
La quantification du MCD
La dmarche gnrale
En pratique ce processus est prcd par un recueil dinformations (interviews, documents...) La mise en uvre dun tel processus suscite chez le concepteur des questions pertinentes auprs des utilisateurs Ce nest pas un processus squentiel
63
La construction du MCD
Recherche des entits types et des associations types Caractrisation des entits types et des associations types par des proprits Prciser les cardinalits Dfinition des contraintes Recherche des identifiants sur les entits types Dfinition les contraintes dintgrit Eviter de raisonner en termes de traitements
La mthode MERISE / S. SI-SAID CHERFI 64
La vrification du MCD
Appliquer la rgle de non-rptitivit sur les proprits Appliquer la rgle dhomognit sur les proprits Appliquer la rgle didentification sur les entits et les associations types Appliquer la rgle de normalisation sur les associations
La mthode MERISE / S. SI-SAID CHERFI 65
La validation
Sassurer quil nexiste pas dans le MCD dentit type isole Sassurer que toutes les futures utilisations envisages sont prises en compte Vrifier que toutes les rgles de gestion sont exprimes dans le MCD
66
Laffinage
Utiliser la spcialisation / gnralisation pour amliorer la modularit et la rutilisation Dcomposer les associations types
la dcomposition consiste remplacer une association de dimension n par plusieurs associations de dimension plus petites
dcomposition base sur les D.F. permet de simplifier et damliorer la comprhension du MCD la dcomposition est possible sous certaines contraintes
La mthode MERISE / S. SI-SAID CHERFI
67
Laffinage
Dcomposition dassociation
Conditions:
lassociation a une dpendance fonctionnelle le nombre dentits concernes par la D.F. doit tre infrieur la dimension de la relation La cardinalit minimum des entits gauche dans la D.F. doit tre 1
Laffinage
EXEMPLE
PROF
1,n Fait-Cours
HORAIRE
1,n 1,n
PROF
CIF
1,n 1,n 1,n
HORAIRE
1,n 1,n Fait-Cours
Enseigne
1,n
MATIERE
CLASSE MATIERE
1,n
CLASSE
La spcification
Le M.C.D. doit tre compos
dune ou plusieurs reprsentations graphiques
dtailles ou synthtiques partielles ou globales
70
La quantification du M.C.D.
Le M.C.D. quantifi est aussi appel Modle organisationnel de donnes (M.O.D.) La quantification consiste prciser:
la taille des proprits le nombre doccurrences La dure de vie des entits la valeur de la cardinalit n avec une valeur maximale, une valeur moyenne
La quantification du M.C.D.
12 40 10
72
Notions Complmentaires
73
Notions complmentaires
Identifiant relatif
COMMANDE nocommande 1,n Est-constitue 1,1(R) LIGNECOMMANDE no-ligne Identifiant relatif
LIVRE
0,n 1,1
(R)
Concerne
74
La modlisation du temps
Modlisation de proprits valeurs calendaires
date de naissance, date de livraison....ces proprits sont reprsentes dans un MCD par des proprits types
Modlisation de sries chronologiques
le chiffre daffaires mois par mois des clients la temprature quotidienne dun pays
CLIENT nocli 0,n a_obtenu montantca 0,n MOIS nom-mois anne
75
La modlisation du temps
Historisation de proprit: conserver les valeurs antrieures dune proprit pour chaque occurrence de lentit ou lassociation type
historique des salaires dun employ
EMPLOYE noemp 0,n a_obtenu salaire 0,n DATE jj mm aa OU EMPLOYE noemp salaire (H)
Historisation dentit ou dassociation: conserver lensemble des valeurs antrieures de toutes les proprits de lentit ou de lassociation
EMPLOYE (H) noemp nomemp adresse
La mthode MERISE / S. SI-SAID CHERFI 76
77
Introduction
Problmatique
Il sagit de construire une structure de base de donnes (appele modle logique de donnes) Cette structure de base lorganisation des donnes de donnes montre
Elle sobtient en transformant le modle conceptuel de donnes, Il ne sagit pas denrichir le contenu smantique du MCD Elle utilise un formalisme de base de donnes Rseau Relationnel
La mthode MERISE / S. SI-SAID CHERFI 79
Illustration
MCD
COMMANDE
Passe
CLIENT
MLD
lapproche
Modle conceptuel de donnes Rgles de transformation
Formalisme conceptuel
COMMANDE
nocom nocli date montant
CLIENT
nocli nomcli adrcli
Principes de la transformation Rgle de transformation dentit type Rgles de transformation dassociation type Rgles de transformation de la spcialisation
83
Principes de la transformation
On part dun modle conceptuel de donnes exprim avec le formalisme entit-association Le modle logique obtenu est un schma relationnel dans lequel les tables sont au moins en 2ime forme normale Les rgles de transformation sont classes en: Rgles de transformation dentit-type Rgles de transformation dassociation-type Rgles de transformation de la spcialisation Rgles de transformation des historisations Rgles de transformation des contraintes
La mthode MERISE / S. SI-SAID CHERFI
84
Toute entit-type est transforme en une relation Les proprits-types deviennent des attributs de la relation Lidentifiant devient la cl primaire de la relation
ABONNE
noabon nomabon adrabon Entit-type
ABONNE
noabon nomabon adrabon Relation ABONNE (noabon, nomabon,adrabon)
85
PROJET EMPLOYE noemp noproj nomemp AFFECTATION budproj Noemp noproj dateaffect
OPERATION(numop, libell-op MACHINE(nummach, datms... TYPE-PIECE(numtype,, libell-type... EXECUTION(numop, nummach, numtype, dure)
90
solution 1:
solution 2
TACHE(ntache, ntache-prcdente, dure,...)
91
ETUDIANT niveau
ENSEIGNANT grade
ETUDIANT niveau avec la possibilit de dfinir deux vues: la vue ETUDIANT la vue ENSEIGNANT PERSONNE noss nom age niveau grade typepers
ENSEIGNANT grade
93
94
95
96
97
98
Contraintes intra-entit
Clause PRIMARY KEY (cl compose dun seul ou de plusieurs attributs) Clause NOT NULL (valeurs obligatoires) Clause DEFAULT (valeurs par dfaut) Clause UNIQUE (unicit de valeur) Clause CHECK (domaine de valeurs dfini en extension)
99
Contraintes intra-association
Clause FOREIGN KEY (contrainte dintgrit rfrentielle)
La cl trangre peut tre compose dun ou plusieurs attributs Quatre options peuvent tre utilises lors de modifications ou destruction:
CASCADE NO ACTION SET DEFAULT SET NULL
100
Association binaire avec cardinalit (1,1) Association binaire avec cardinalit (0,1) Association binaire n-m, ternaire ou plus Dpendance fonctionnelle dans une association naire
101
Contraintes gnrales
Approche proscriptive
Clause CHECK dans la dclaration dune table Dclaration CREATE ASSERTION (dclaration non rattache une table)
Approche prescriptive
Dclaration CREATE TRIGGER
102
Dclaration dassertions
CREATE ASSERTION PU_PV CHECK (NOT EXISTS (SELECT * FROM Ligne_cmd WHERE lcd_pu < 0.75 * (SELECT art_pv FROM article WHERE art_num = lcd_art))); Vrifie quil nexiste pas darticle dont le prix unitaire (PU)remis plus de 25% du prix de vente Article(Art_num, libelle, part_pv) Ligne_cmd(n_com,lcd_art, lcd_pu,lcd_qte)
La mthode MERISE / S. SI-SAID CHERFI 103
Les triggers
Dclaration gnrale
CREATE TRIGGER nom_trigger EVENEMENT ON nom_table WHEN (condition vrifier) INSTRUCTIONS FOR EACH ROW / STATEMENT
104
105
APPARTIENT
CREATE TABLE Chambre Nohotel CHAR(5) NOT NULL Noordre CHAR(5) NOT NULL PRIMARY KEY (Nohotel, Noordre) Foreign Key (Nohotel) REFERENCES HOTEL ON UPDATE CASCADE ON DELETE CASCADE
HOTEL Nohotel
106
107
La dmarche gnrale
MCD /MOD
Normalisation
Optimisation
108
109
110
111
Introduction Les concepts et les rgles de modlisation La dmarche de construction dun M.C.T
112
Introduction : Problmatique
Il sagit dexprimer lensemble des activits que lon veut prendre en compte dans le systme dinformation Elle est base sur un formalisme de reprsentation
guider le raisonnement du concepteur obliger respecter des normes utiliser un langage commun
Programme 1
Base de donnes
Programme 2
114
Employ
ET
DOSSIER
Promotion refuse
ferm
Employ
La mthode MERISE / S. SI-SAID CHERFI
115
Rsultat-message
Acteur
Domaine tudi
Evnement Dclencheur
Acteur Formaliser les activits du domaine conscutives aux changes avec lenvironnement
La mthode MERISE / S. SI-SAID CHERFI
Base de donnes
116
118
Lacteur : Dfinition
Dfinition : Ce sont les acteurs externes au domaine tudi Exemple 1 : Lemploy dans le domaine de la gestion des promotions Exemple 2 : Labonn dans le domaine de la gestion des prts de bibliothque
Lvnement / Le rsultat-message
Les flux reus et mis par le domaine sont modliss respectivement en vnements et rsultats
Demande prt
ABONNE
Un vnement est mis par un acteur destination du domaine Un rsultat est la formalisation dune raction du domaine et de son S.I. destination dun acteur
La mthode MERISE / S. SI-SAID CHERFI 120
Lvnement / Le rsultat-message
On distingue deux catgories dvnements / rsultats externes (flux avec un acteur) temporels, reprsentant des chances (fin de mois, chaque jour...) Dans un MCT, on ne reprsente que des types dvnement et de rsultat Un vnement et un rsultat sont porteurs dinformations Lensemble des informations dun vnement ou dun rsultat est appel message Distinguer message et support (plusieurs messages successifs sur un mme support)
121
Ltat dobjet
Un tat nest pas un vnement. Il correspond un changement interne et signale la terminaison correcte dune opration. Les tats dobjets servent lier les oprations dun mme processus ou prciser des contraintes de prcdences entre processus Lobjet est compos de deux parties: le nom et la valeur de son tat. La valeur de ltat reflte un stade transitoire dans le processus. Un tat dobjet peut correspondre un objet du modle de donnes (entit, association), ou un objet temporaire dont lusage est rserv au processus. A la fin du processus, tout objet doit atteindre un tat stable qui indique une terminaison correcte du processus
La mthode MERISE / S. SI-SAID CHERFI 122
Exemple de message
Le message contient le dtail des informations qui doivent accompagner la survenance de lvnement Exemple vnement: Arrive demande de promotion Message: {nom demandeur; Prnom demandeur; service demandeur; promotion demande; nombre dannes danciennet; lettre de motivation; Etc. } Pour un vnement calendaire, au lieu du message on peut avoir un prdicat temporel qui prcise le moment de survenance de lvnement; par exemple: 15 jours aprs clture appel, date du jour = une semaine aprs date retour prvue, etc.
La mthode MERISE / S. SI-SAID CHERFI 123
Lopration : Dfinition
Lopration dcrit le comportement du domaine tudi et de son S.I. par rapport la survenance dvnements Elle est dclenche par la survenance dun vnement, ou de plusieurs vnements et/ou tats synchroniss Lexcution de lopration comprend lensemble des activits (ou fonctions ou actions) que le domaine effectue partir des informations fournies par lvnement et de celles dj connues dans la mmoire du S.I. Lensemble des fonctions composant une opration est ininterruptible (non soumis lattente de nouveaux vnements)
La mthode MERISE / S. SI-SAID CHERFI 124
Lopration
Rgle de modlisation
La segmentation en plusieurs oprations ne se justifie que par lattente dinformations complmentaires en provenance dvnements ncessaires la poursuite des activits
a
opration 1 b ou d Opration 2 d
a ou c Opration
Incorrect
Correct
125
Lopration : Reprsentation
Le concept dopration est troitement li aux concepts de synchronisation, de fonction et de conditions dmission
DOSSIER ouvert Rapport suprieur
ET
Expression logique
Examen Dossier
-
Nom Opration
Liste de Fonctions
Condition 1 Condition 2 Condition 3 Promotion accorde
Avis favorable
Avis dfavorable
DOSSIER
Promotion refuse
DOSSIER promu
ferm
126
Lopration et la synchronisation
La synchronisation
Cest une condition pralable au dclenchement de lopration Elle se traduit par une expression logique sappliquant sur la prsence (ou labsence) des occurrences dvnements et/ou des tats pralables lopration Si la condition est vrifie, lopration peut dmarrer et les occurrences dclencheuses sont consommes par lopration Si la condition est non vrifie, la synchronisation et les occurrences dvnements prsents restent en attente jusqu ce quelle soit vrifie
La mthode MERISE / S. SI-SAID CHERFI 127
Aprs
Rapport
Promotion accorde
Promotion refuse
Promotion accorde
Promotion refuse
128
130
Le processus
Le processus est un enchanement doprations qui concourent un mme but. Lenchanement des oprations est assur par les tats Il reprsente un sous-ensemble du domaine tudi dont les vnements initiaux et les rsultats finaux dlimitent un tat stable du domaine la gestion dune bibliothque
la gestion des abonns la gestion des achats de livres La gestion de la restauration de livres de valeur etc.
La mthode MERISE / S. SI-SAID CHERFI 131
132
La dmarche gnrale
La construction du MCT
Vrifier que les concepts sont bien utiliss (conformment leur dfinition)
Laffinage du MCT La validation du MCT
ses conditions de dclenchement sont exprimes par des vnements et des tats
Le MCT est une juxtaposition doprations sans indication denchanement entre oprations Ne pas chercher modliser les oprations qui ont antrieurement produit ces tats
La mthode MERISE / S. SI-SAID CHERFI 135
La vrification du MCT
Un acteur met au moins un vnement, ou reoit au moins un rsultat Un vnement externe provient dau moins un acteur Un rsultat provient dau moins une opration Tout rsultat a au moins une destination: un acteur ou une opration
136
La validation
Une expression logique associe une synchronisation ou l'mission dun rsultat ne peut tre toujours fausse Contrler un fonctionnement cyclique Sassurer que tout rsultat ou tat du MCT peut tre produit Analyser les situations de conflit
un vnement ou un rsultat contribue plusieurs synchronisations ou est destin plusieurs acteurs
La mthode MERISE / S. SI-SAID CHERFI 137
Laffinage
La spcification
Le M.C.T. doit tre compos
dune ou plusieurs reprsentations graphiques dune description textuelle comprenant
pour chaque opration,
une description succincte la liste des vnements contributifs et du message associ la liste des tats pralables lopration les conditions de la synchronisation les fonctions de lopration les rsultats produits et les messages associs les tats rsultants les conditions de production de ces rsultats
Le modle gnral des processus Par processus, un schma denchanement des oprations
139
La spcification
MCT Actuel
a
Futur
examen R2 d R3 e
e2
Etats pralables e1 : .......
140
Introduction
142
Les premires mthodes d'analyse (annes 70) Dcomposition (fonctionnelle et hirarchique) d'un systme. L'approche systmique (annes 80) Modlisation des donnes + modlisation des traitements (Merise, Axial). 143 La mthode MERISE / S. SI-SAID CHERFI
Les mthodes objet et la gense dUML L'mergence des mthodes objet (1990-1995) Prise de conscience de l'importance d'une mthode spcifiquement objet: Encapsulation des donnes (la structure) et des traitements (le comportement) Plus de 50 mthodes objet sont apparues durant cette priode (Booch, Classe-Relation, Fusion, HOOD, OMT, OOA, OOD, OOM, OOSE...) Confusion autour lanalyse et la conception
La mthode MERISE / S. SI-SAID CHERFI 144
Les mthodes objet et la gense dUML Booch - catgories et sous-systmes Embley - classes singletons et objets composites Fusion - description des oprations, numrotation des messages Gamma - frameworks, patterns et notes Harel - automates (statecharts) Jacobson - cas dutilisation (use cases) Meyer - pr et post conditions Odell - classification dynamique, clairage sur les vnements OMT - associations Shlaer-Mellor - cycle de vie des objets Wirfs-Brock - responsabilits (CRC)
La mthode MERISE / S. SI-SAID CHERFI 145
Les mthodes objet et la gense dUML Lexprience a permis de faire le tri parmi les mthodes existantes avec la constatation que les diffrences entre les mthodes samenuisent 1994: Rumbaugh et Booch dcident dunifier leurs travaux au sein dune mthode unique: la mthode unifie. 1995: Jacobson les rejoint Octobre 1995: Premire version de la mthode unifie (V0.8) Juin 1996: Deuxime version (V0.9) Octobre 1996: Version dcisive avec une nette volution: la mthode unifie devient le langage de modlisation unifi. 1996: Consortium de partenaires 17 Janvier 1997: Version 1.0 soumise standardisation
La mthode MERISE / S. SI-SAID CHERFI 146
UML 1.0
OOPSLA96
OOPSLA95
Booch93 OMT-2 Autres mthodes Booch91 OMT-1 Rumbaugh91 OOSE Jacobson92 Partenaires Rational
147
Object Management Group Objectif de lOMG: maximiser la portabilit et linteroprabilit des logiciels par la dfinition de standards industriels pour le dveloppement dapplications commerciales orientes objets le plus grand consortium dindustriels au monde (plus de 570 membres (1995))
148
Proposer des mcanismes dextension et de spcialisation pour pouvoir tendre les concepts de base tre indpendant des langages particuliers de programmation Proposer une base formelle pour comprendre le langage de modlisation Encourager lapplication des outils OO
La mthode MERISE / S. SI-SAID CHERFI 149
Booch - catgories et sous-systmes Embley - classes singletons et objets composites Fusion - description des oprations, numrotation des messages Gamma - frameworks, patterns et notes Harel - automates (statecharts) Jacobson - cas dutilisation (use cases) Meyer - pr et post conditions Odell - classification dynamique, clairage sur les vnements OMT - associations Shlear-Mellor - cycle de vie des objets Wirfs-Brock - responsabilits (CRC)
La mthode MERISE / S. SI-SAID CHERFI 150
151
But:
modlisation des proprits statiques et dynamiques de lenvironnement dans lequel sont dfinis les besoins (domaine du problme), formalisation de la perception du monde et des phnomnes qui sy droulent, mise en correspondance de lespace du problme et de lespace de la solution en offrant des notations et des principes pour toutes les tapes ( le domaine du sujet, 152 La mthode MERISE / S. SI-SAID CHERFI l'analyse, la conception, l'implmentation et les tests)
Les concepts
L'hritage Le polymorphisme
154
L'objet
La dfinition d'un objet dpend la phase du cycle de vie pour laquelle il est destin Dfinition Gnrale:
ce sur quoi porte notre connaissance cest une entit pertinente du domaine technique
L'objet
D'aprs [Coad &Yourdon, 1991]
"C'est l'abstraction de quelque chose du domaine du problme qui reflte les capacits d'un systme mmoriser des informations ou interagir avec le domaine"
156
L'objet
Exemples:
Objets matriels (table, chaise, crayon, avion) Objets immatriels, concepts (compte en banque, quation, match de boxe) Objets virtuels (groupe de travail, division)
La mthode MERISE / S. SI-SAID CHERFI 157
L'objet et l'abstraction
L'objet est l'abstraction, faite par l'analyste, du phnomne rel observ. Cette abstraction est ensuite modlise en utilisant les concepts appropris. Deux personnes diffrentes peuvent avoir deux perception diffrentes et donc deux modles diffrents du mme phnomne rel.
158
L'objet: Identit
161
L'objet: Comportement
Regroupe toutes les comptences d'un objet, lensemble des oprations applicables cet objet Dcrit les actions et les ractions de l'objet.
Concept d'oprations (mthodes) Une opration est dclenche suite une stimulation externe: message envoy par un autre objet.
Exemple d'objet
Attributs Nom:Dupont Grade:senior Salaire:S1 Age:45 Oprations Modifer_salaire Modifier_grade associations Suprieur Emploi_du_temps
162
163
serveur
n'est jamais l'origine d'une interaction. passif: est destinataire des messages.
agent
acteurs et serveur la fois. est la base du mcanisme de dlgation.
164
L'objet: l'encapsulation
"L'encapsulation est le processus qui consiste compartimenter des lments d'une abstraction pour constituer sa structure et son comportement" (Booch 1995) L'abstraction se focalise sur les caractristiques observalbles et le comportement de l'objet, L'encapsulation se focalise sur la reprsentation de ces caractristiques L'encapsulation ncessite la dlimitation explicite des abstractions.
Encapsulation (occultation des dtails de la ralisation):
masquer la structure sous-jacente et limplmentation des oprations les plus gros bnfices obtenus par une approche oriente objets proviennent du respect du principe dencapsulation
La mthode MERISE / S. SI-SAID CHERFI 165
166
Les classes:Description
Spcification
dcrit le domaine de dfinition et les proprits des instances de cette classe (notion de type dans les langages de programmation classiques).
Ralisation
dcrit comment la spcification est ralise et qui contient le corps des oprations et les donnes ncessaires leur fonctionnement.
La mthode MERISE / S. SI-SAID CHERFI 167
Chaque objet est une instance d'une classe. La classe dfinit les comportements et les structures possibles de ses instances qui sont les objets. Diffrentes instances (objets) peuvent avoir leurs oprations invoques diffrents moments et de diffrentes manires comme ils peuvent tre dans diffrents tats. Le mcanisme d'instanciation permet de gnrer des objets (instance) d'une classe.
La mthode MERISE / S. SI-SAID CHERFI 168
Connexion smantique bidirectionnelle entre classes Abstraction des liens qui existent entre les objets instances des classes associes (en gnral, un objet ne peut pas agir seul, il a besoin de laide dautres objets). Ds lors quun objet a un lien vers un autre objet, il peut lui envoyer un message pour dclencher une de ses oprations
La mthode MERISE / S. SI-SAID CHERFI 169
Connexion bidirectionnelle dissymtrique Un train est compos de wagons, un wagon contient des siges... Une voiture possde quatre roues, un chssis, un moteur Les relations exprimes ici sont des relations de composition (ou dagrgation)
La mthode MERISE / S. SI-SAID CHERFI 170
Dans une dmarche danalyse ou de conception orientes objets, la spcialisation et la gnralisation conduisent dfinir des relations de sous-typage et mettre en vidence lhritage Si une classe B hrite d'une classe A, alors aussi bien les oprations que la structure de A deviennent ceux de la classe B" [Jacobson 1992)
Spcialisation
Super-classe
est_un hrite_de
Gnralisatio n
Sous-classe
171
Gnralisation et spcialisation
La gnralisation signifie toujours: est un ou est une sorte de. Elle permet la cration de l'anctre Exemple:
Carnivore Animal Herbivore
Lion
Mouton
La mthode MERISE / S. SI-SAID CHERFI
Lapin
172
Gnralisation et spcialisation
La gnralisation est une relation non rflexive
A
Impossible!!
173
Gnralisation et spcialisation
Impossible!!
174
Gnralisation et spcialisation
C
La mthode MERISE / S. SI-SAID CHERFI 175
Les objets instances dune classe partagent des caractristiques gnrales, exprimes sous forme dattribut, dopration et de contrainte. Cest la proprit caractristique de lensemble des instances. La proprit caractristique de X est note P (X). Lensemble X peut tre divis en sous-ensembles.
La mthode MERISE / S. SI-SAID CHERFI 176
Exemple:
La gnralisation - sous sa forme multiple - existe galement entre arbres de classes disjoints. Elle permet une classe d'hriter de deux classes ou plus.
Y Proprit caractristique de Y Z Proprit caractristique de Z
T Proprit caractristique de T
La mthode MERISE / S. SI-SAID CHERFI 178
Classe concrte A
Classe concrte B
179
Le terme polymorphisme dcrit un lment qui peut prendre plusieurs formes. En Informatique, cela dcrit un nom dobjet qui peut dsigner des instances de classes diffrentes issues dune mme arborescence. Principe gnral: Les interactions entre objets sont crites selon les termes des spcifications dfinies dans leurs super-classes. Dans ce cas, on parle de polymorphisme dopration: dclencher des oprations diffrentes en rponse un mme message. Une sous-classe peut modifier localement le comportement dune opration hrite dune super-classe.
Mcanisme de dcouplage qui agit dans le temps. Ninfluence pas lanalyse,La mais dpend de lanalyse. mthode MERISE / S. SI-SAID CHERFI
180
Le polymorphisme, Application
Exemple:
CollectionF[3] = { Carr("un carr"), Cercle("un cercle"), Triangle("un triangle") }; for (int i = 0; i < 3; i++) { CollectionF[i].Dessiner(); }
forme Carr Cercle Triangle
Le polymorphisme existe dans des environnements typs et non-typs. Seuls les environnements typs garantissent une excution sans surprise des programmes. Ne pas confondre le polymorphisme avec la surcharge des oprations. Profil de paramtres diffrent pour des oprations de mmes noms. Rien voir avec la liaison dynamique: rsolue statiquement par les compilateurs.
La mthode MERISE / S. SI-SAID CHERFI 182
Conclusion
objet: entit qui combine les caractristiques essentielles abstraites partie du domaine du systme. classe: expression de caractristiques communes aux objets encapsulation: combinaison des attributs et des oprations dans un mme objet. hritage: relation entre sous classes et super classes dcrivant des degrs de ressemblances polymorphisme: facilit permettant l'invocation d'oprations en ignorant la classe destinataire du message. L'application de ces concepts permet:
La modlisation de la structure La modlisation du comportement
La mthode MERISE / S. SI-SAID CHERFI 183