Chapitre 5 La Validation

Télécharger au format pdf ou txt
Télécharger au format pdf ou txt
Vous êtes sur la page 1sur 11

Module Systèmes

d’Information 2
SI2

Mme HANK
Chapitre 5
Les modèles externes et la validation
Chapitre 5 : Modèles externes et validation (Construction des modèles externes,
la validation en MAJ, la validation en consultation, Le MCD validé)

Introduction : Jusqu’au MOT, les données sont conçues séparément des


traitements les utilisant.
La phase de validation consiste à mettre en accord les données et les
traitements. C’est un travail de collaboration entre l’équipe chargée des données
et l’équipe chargée des traitements.

Définition :
La validation consiste à vérifier que les données du MCD sont nécessaires
pour les traitements automatisés du MOT, d’une part, et que tous les
traitements automatisés du MOT disposent des données nécessaires dans le
MCD, d’autre part.
On a alors une double validation :
- La validation des modèles externes (vues des données à travers les
traitements).
- La validation du MCD.
Définition d’un modèle externe :
C’est une vue des données à travers un traitement automatisé.
Un traitement automatisé est de deux types :
- Un traitement de mise à jour : consiste à ajouter, supprimer ou modifier
des occurrences de la base de données.
- Un traitement de consultation : consiste à lire les occurrences de données
sans modifier l’état de la base de données.
Un modèle externe est établi à partir des données de l’écran de saisie (pour un
traitement de mise à jour) ou de l’état en sortie (pour un traitement en
consultation).
Il est conçu en utilisant le formalisme du MCD (individu/relation).
Il est qualifié d’externe parce qu’il est conçu à l’extérieur des données (conçu par
l’équipe des traitements).
Exemples de modèles externes :
Ex1 : Soit l’écran de saisie d’un nouveau produit :

Il s’agit d’une occurrence d’une entité, le modèle externe correspondant est :

Produit

Référence

Désignation

Prix unitaire

Catégorie

Remarque : Comme on n’a qu’une seule occurrence on ne peut pas dire que
référence détermine d’une manière unique chaque produit, d’où, une entité
externe peut ne pas avoir d’identifiant.
Ex2 : Soit l’écran de saisie de plusieurs produits :

Il s’agit d’une succession d’écran de saisie. Ce sont alors plusieurs occurrences


d’une entité :

Produit

Référence

Désignation

Prix unitaire

Catégorie

Remarque : Comme on a plusieurs occurrences on peut dire que référence


détermine d’une manière unique chaque produit, d’où, Référence est
l’identifiant de l’entité externe Produit.
Ex3 : Soit l’état en sortie ‘Etat du stock’

Il s’agit de plusieurs occurrences de l’entité Produit, le modèle externe est :

Produit

Référence

Désignation

Prix unitaire

Catégorie
Ex4 : Soit l’écran de saisie d’une commande :

Il s’agit d’une entité regroupant les données de la commande et le client


concerné par cette commande, et une autre entité contenant les données du
produit :

Commande Produit

Numéro commande 1,N 1,1 Référence

Date commande Désignation


R
Nom client Prix unitaire

Adresse client Quantité commandée


La validation des modèles externes en mise à jour :
1- La validation des individus externes :
Une propriété externe est valide si :
- Elle est équivalente à une propriété conceptuelle (elle figure dans le
MCD), sinon, Elle sera ajoutée au MCD.
- Elle a un rôle (soit c’est une donnée à mettre à jour ou bien elle sert à
identifier une donnée à mettre à jour), sinon Elle sera supprimée du ME.
2- La validation des individus (entité) externe :
Un individu externe est valide si :
- Ses propriétés (propriétés externes) sont valides,
- Les individus conceptuels invoqués sont identifiés dans le modèle
externe (leurs identifiants figurent parmi les propriétés externes), sinon
ajouter ces identifiants au ME.
3- La validation des relations externes :
une relation externe est valide si :
- Les individus externes y participant sont valides,
- Elle est équivalente à une relation conceptuelle ou un chemin composé
de plusieurs conceptuelles, sinon créer une relation conceptuelle
équivalente.
- Les cardinalités externes sont égales ou incluses dans les cardinalités
conceptuelles, sinon faire les corrections possibles (sur le MCD ou sur le
ME).
La validation des cardinalités :
1,1 ⊆ 1,1 0,1 ⊈ 1,1
1,1 ⊆ 1,N 0,1 ⊈ 1, 𝑁
1,1 ⊆ 0,1 0,1 ⊆ 0,1
1,1 ⊆ 0,N 0,1 ⊆ 0,N
1,N ⊈ 1,1 0,N ⊈ 1,1
1,N ⊆ 1,N 0,N ⊈ 1, 𝑁
1,N ⊈ 0,1 0,N ⊈ 0,1
1,N ⊆ 0,N 0,N ⊆ 0,N
Dans le cas où la relation externe est équivalente à un chemin composé de
plusieurs relations conceptuelles, on doit faire une composition de cardinalités
pour avoir les cardinalités conceptuelles équivalentes.
Compositions des cardinalités :
1,1 ∪ 1,1 = 1,1 0,1 ∪ 1,1 = 0,1
1,1 ∪ 1,N = 1,N 0,1 ∪ 1,N = 0,N
1,1 ∪ 0,1 = 0,1 0,1 ∪ 0,1 = 0,1
1,1 ∪ 0,N = 0,N 0,1 ∪ 0,N = 0,N
1,N ∪ 1,1 = 1,N 0,N ∪ 1,1 = 0,N
1,N ∪ 1,N = 1,N 0,N ∪ 1,N = 0,N
1,N ∪ 0,1 = 0,N 0,N ∪ 0,1 = 0,N
1,N ∪ 0,N = 0,N 0,N ∪ 0,N = 0,N

La validation des modèles externes en consultation :


1- La validation des propriétés externes :
- Si la propriété externe est élémentaire, elle doit être équivalente à une
propriété conceptuelle, sinon ajouter son équivalent au MCD.
- Si elle est calculable, doit être remplacée, dans le ME, par les propriétés
conceptuelles nécessaires au calcul.
2- La validation des individus externes : Voir la validation en mise à jour.
3- La validation des relations externes : Voir la validation en mise à jour.
Procédure de validation :
- Définir l’écran de saisie ou l’état en sortie,
- Construire le modèle externe,
- Extraire du MCD la partie concernée par cette validation,
- Valider les propriétés externes,
- Valider les individus externes,
- Valider les relations externes, si elles existent,
- Présenter le ME validé.
Exemple :
Soit le traitement de saisie d’une commande :
L’écran de saisie :

Le modèle externe :

Commande Produit

Numéro commande 1,N 1,1 Référence

Date commande Désignation


R
Nom client Prix unitaire

Adresse client Quantité commandée


La partie du MCD concernée :

Commande Produit

Numéro commande 1,N 1,N Référence

Date commande Désignation


Contient
Prix unitaire
Qte Cdée
Quantité Stock

1,1 Client

1,N Numéro client

Appartient Nom client

Adresse client

La validation des propriétés externes :


Propriété externe Propriété concept I/R invoqués Rôle Résultat
Numéro commande Numéro commande I : Commande Idf/MAJ OK
Date commande Date commande I : Commande MAJ OK
Nom client Nom client I : Client Aucun Supp du ME et ajout de Numéro Client
Adresse client Adresse client I : Client Aucun au ME
Référence Référence I : Produit Idf OK
Désignation Désignation I : Produit Aucun Supp Du ME
Prix unitaire Prix unitaire I : Produit Aucun Supp Du ME
Quantité commandée Qte Cdée R : Contient MAJ OK

La validation des individus externes :


- Les propriétés externes sont valides,
- Les individus conceptuels invoqués (Client, Commande, Produit) sont
identifiés dans le modèle externe.

La validation des relations externes :


- Les individus externes sont valides,
- La relation externe R est sémantiquement équivalente à la relation
conceptuelle ‘Contient’.
La validation des cardinalités externes :
Individus Individus Cardinalités Cardinalités Résultat
externes conceptuels externes conceptuelles
Commande Commande 1,N 1,N OK(égales)
Produit Produit 1,1 1,N OK(incluses)

Le modèle externe validé est :

Commande Produit

Numéro commande 1,N 1,1 Référence

Date commande Quantité commandée


R
Numéro client

La validation du MCD :
Après avoir validé tous les modèles externes, on passe à la validation du MCD.
Ceci consiste à ne garder dans le MCD que les données qui apparaissent au moins
une fois en mise à jour et une fois en consultation. En d’autres termes ne garder
que les données traitées automatiquement.
Le MCD sera par la suite sera traduit en un modèle compréhensible par la
machine. Pour la méthode MERISE il s’agit du modèle relationnel.

Vous aimerez peut-être aussi