Modèles externes

Modèles externes

B.Shishedjiev - Conception des données1

Objectif• Construire le modèle nécessaire pour un

traitement.• Valider par rapport le modèle conceptuel global• Types de traitements

– Mise à jour– Consultation

B.Shishedjiev - Conception des données 2

Exemple• Phase “Préparation de commande”

– une consultation des stocks (consultation)

– une consultation des commandes en cours (consultation),

– une saisie d'un brouillon de commande (mise à jour).


Catalogue fournisseur recu

Brouillon de commande redige

VALIDATIONCOMMANDE

ET

PREPARATIONCOMMANDE

PHASEETUDIE

fournisseur contacte

Règles• Construire un modèle externe pour une fonction

particulière des traitements– Un modèle externe sera lié à un ensemble de traitements

destinés à exécuter une et une seule des deux fonctions :• soit une mise à jour,• une soit consultation.

– Un modèle externe ne concernera qu'une seule famille de données.

– Un modèle externe ne manipulera qu'un petit nombre de données à la fois.

• Lister pour chaque modèle externe les données manipulées en se référant au dictionnaire des données

• Exprimer les modèles externes dans le formalisme du modèle conceptuel des données

• Utiliser, pour construire les modèles externes, les blocs logiques d'entrée-sortie – écrans, bordereaux, listings


Soit la fonction consistant à éditer, en autant d'exemplaires qu'il y a d'élèves, l'emploi du temps d'une classe.Les données recensées dans le MOT sont :•classe,•matière,•jour,•nombre d'élèves,•tranche horaire,•salle.

Du dictionnaire•classe,•numéro de salle,•nom de l'élève,•vacation,•matière

Exemple


CLASSE DE 6e A3 LUNDI MARDI ….. 9h-10h Français» Salle n° 2 Mathématiques Salle n° 6 …..

10h-11 h Latin Salle n° 2 …… …….….

……..

Les données que l'on va formaliser pour consultation sont donc :•classe,•matière,•vacation,•numéro de salle,•nombre d'élèves.

Exemple


EMPLOI DU TEMPS

- Classe

- Matière

- Vacation

- Numéro de salle

- Nombre d'élèves

-V aca tion-M a tiè re-N o de sa lle

C O U R S

-C lasse-N om bre d 'é lèves

C LA S S ES u ivre1 ,1 1 ,n

Exemple• Modèle pour édition (mise à jour)


Classe 6-e A4

Classe 5-e A4

Classe de 6-e A3

8h-9h

9-10h

-V aca tionV A C A TIO N -C lasse

-N om bre d 'é lèves

C LA S S E

M atiè reN o de sa lle

C O U R S1,n 1 ,n

Validation


D ateIN V E N TA IR E -N o ligne

-N om p rodu it-C ond ionnem en t-Q uan tité-P rix

L IG N ED 'IN V E N TA IR EA ppartien t1 ,n 1 ,1

Trois divergences Le «Numéro de ligne» Le «Numéro d'entrepôt» Le «Nom du magasinier»

0 ,n-N om produ itP R O D U IT

-N om en trepô t-N om m agas in ie r

E N TR E P O T

-D ateD ate

-C ond ionnem ent-Q uan tité

-P rix

E TR E E NS TO C K

0,n

0 ,n

Vue externe

Modèle

conceptuel

Validation• Causes d'incohérence entre la vue globale et les vues

externes :– Absence des informations organisationnelles dans le modèle

conceptuel.– Occultation, dans la vue parcellaire fournie par une fonction isolée,

de données conceptuelles indispensables au déroulement du traitement, lorsqu'il est replongé dans le système global.

– Présence de données non automatisées dans le modèle conceptuel.


Validation


D ateIN V E N TA IR E

-N o ligne-N om p rodu it-C ond ionnem en t-Q uan tité-P rix

L IG N ED 'IN V E N TA IR E

A ppartien t1 ,n

1 ,1

-N om en trepô tE N TR E P O T

S e s itue r à

0 ,n

1 ,1

0 ,n-N om p rodu itP R O D U IT

-N om en trepô t-N om m agas in ie r

E N TR E P O T

-D a teD a te

-C ond ionnem en t-Q uan tité

-P rix

E TR E E NS TO C K

0,n

0 ,n

Modèle externe

Modèle conceptuel

Validation• Validation d'un modèle externe

– Valider un modèle externe: S'assurer qu'il est déductible du modèle conceptuel des données.

• Validation du modèle conceptuel des données– Validation de chaque modèle externe par rapport au

modèle conceptuel brut – corrections éventuelles du modèle conceptuel avec, dans ce cas, révalidation des modèles externes déjà validés.

– Validation du modèle conceptuel brut par rapport à l'ensemble des modèles externes validés.Corrections éventuelles du modèle conceptuel brut.

– Définition pour chaque vue externe d'un sous-modèle conceptuel, extrait du modèle conceptuel validé, dont elle soit déductible. Ces sous-modèles conceptuels sont la base des sous-schémas logiques que créera l'étape suivante.


Validation• Règles de validation

– validation des propriétés externes,– validation des objets externes,– validation des relations externes,– validation des cardinalités externes.

• Validation d'un modèle externe en mise à jour– Les propriétés - actions successives qui doivent

pouvoir s'accomplir dans le cadre du modèle conceptuel des données :

• identifier l'occurrence concernée par la mise à jour,

• charger la nouvelle valeur de la propriété sur l'occurrence sélectionnée.


Validation d'un modèle externe en mise à jour

• Validation des propriétés– Cas de non-validation - La propriété externe a une

fonction de chargement mais son identification est impossible


M atiè reM A TIE R E

-N omE LE V E

N ote

N O TE R1,n 1 ,n


-N omE LE V E

N ote

N O TE R1,n 1 ,n

-D a teD a te

1 ,n


-N omE LE V E

N oteD a te

N O TE R1,n 1 ,n


• Validation des propriétés– Cas de non-validation - La propriété externe a une

fonction de chargement mais son identification est impossible


-V aca tionV A C A TIO N

-C lasseC LA S S E

N o de sa lle

C O U R S1,n1 ,n

-VacationVACATION

-ClasseCLASSE

No de salle

COURS1,n1,n

MatièreMATIERE

1,n

-V aca tionV A C A TIO N

-C lasseC LA S S E

N o de sa lle

C O U R S1,n1 ,n


1,n

CIF


• Validation des propriétés– La propriété externe a une fonction d'identification

pour une propriété dont le chargement est impossible

– La propriété externe n 'a une fonction ni de chargement ni d'identification


MatièreMATIERE

-NomELEVE

Note écritNote oral

NOTER1,n 1,n

-DateDate

1,n


-N omE LE V E

N ote

N O TE R1,n 1 ,n

-D a teD a te

1 ,n


-N om é lève-A dresse é lève

E LE V EN ote

N O TE R1,n 1 ,n

-D a teD a te

1 ,n


• Objet externe – valide lorsque l'ensemble de ses propriétés est valide au sens des trois règles précédentes.

• Relation externe :– Porteuse de propriétés – valide, lorsque l'ensemble des objets

qu'elle associe et des propriétés qu'elle porte l'est. – Non porteuse de propriété – valide lorsqu'elle existe, identifiée

par le même nom dans le modèle conceptuel, et que les objets qu'elle associe sont valides.


C O M M A N D E LIG N E C O M M A N D E

A ppartien t

A ppartien t non -m od ifiab le


• Cardinalités – le modèle externe représente un cas particulier de la vue globale. Les règles de gestion qu'il illustre sont donc un sous-ensemble des règles générales qu'exprime le modèle conceptuel des données.


E LE V E A ppartien t C LA S S EN o de sa lle

O ccuper V A C A TIO N1,1 1,n 1,n 1,n

E LE V EN o de sa lleS e s itue r à V A C A TIO N

1,n 0,n

Cardinalité conceptuelle Cardinalité externe Conclusion

ELEVE 1,n 1,n ValideVACATION 1,n 0,n Non valide

Validation d'un modèle externe en consultation

• Le propriétés


E LE V EN oteN o te r D A TE M O IS

M A TIE R E

E st inc luse

E LE V EM oyenne

N ote r M O IS

E LE V EA ppartien tC LA S S EN oteN o te r D A TE

M O ISM A TIE R E

E st inc luse

Validation d'un modèle externe en consultation

• Objets et relations– peut-on accéder aux propriétés que l'on veut

consulter ?– peut-on ne garder que les seules occurrences qui

nous intéressent ?• Accès aux propriétés

• Accès aux occurrences


MatièreMATIERE

-Nom élèveELEVE

Note

NOTER1,n 1,n M atiè re

M A TIE R E

-N omE LE V E

N oteN O TE R

0,n 0 ,n

-D a teD a te

0 ,n

-N om é lèveE LE V E

-N om p ro fesseu rP R O F E S S E U RE nse ignem en t1 ,n 1 ,n

-N om é lèveE LE V E

-N om p ro fesseurP R O F E S S E U RA ffec ta tion1 ,n 1 ,nA ppartien t C LA S S E

1,1 1,n

Méthode de validation• Validation des modèles externes en consultation• Validation des modèles externes en mise à jour• Quantification des modèles externes• Validation du modèle conceptuel des données• Production des sous-modèles conceptuels


Documents

Modèles externes