Module d’Enseignement à Distance pour l’Architecture Logicielle

Slides:



Advertisements
Présentations similaires
Mais vous comprenez qu’il s’agit d’une « tromperie ».
Advertisements

Le Nom L’adjectif Le verbe Objectif: Orthogram
ORTHOGRAM PM 3 ou 4 Ecrire: « a » ou « à » Référentiel page 6
LES NOMBRES PREMIERS ET COMPOSÉS
Licence pro MPCQ : Cours
Additions soustractions
Distance inter-locuteur
1 Plus loin dans lutilisation de Windows Vista ©Yves Roger Cornil - 2 août
Les numéros 70 –
Les numéros
Les identités remarquables
Le, la, les words Possessive Adjectives MINE!!. 2 My in french is mon, ma,mes... Le word/ begins with a vowel: Mon La word: Ma Les word: Mes.
Module d’Enseignement à Distance pour l’Architecture Logicielle
M.E.D.A.L. Module dEnseignement à Distance pour lArchitecture Logicielle Alain VAILLY Diapositive n° 1 IUP MIAGE - Université de NANTES IUP-MIAGE 3ème.
Module d’Enseignement à Distance pour l’Architecture Logicielle
Module d’Enseignement à Distance pour l’Architecture Logicielle
ANALYSE DES TRAITEMENTS
Le Modèle Logique de Données
Introduction à la logique
LES TRIANGLES 1. Définitions 2. Constructions 3. Propriétés.
Système de gestion de bases de données. Modélisation des traitements
La législation formation, les aides des pouvoirs publics
1 7 Langues niveaux débutant à avancé. 2 Allemand.
COTE DIVOIRE IMAGES DES ATROCITES COMMISES PAR ALASSANE DRAMANE OUATARA, SORO GUILAUMES ET LEURS HOMMES 1.
ORTH 1 CE2 Je sais écrire sans erreur les pluriels des noms se terminant par s, x, z.
SERABEC Simulation sauvetage aérien avec un Hercule C130. Départ de St-Honoré le 4 octobre Durée de vol 3 heures. Premier vol en Hercule pour les.
La méthodologie………………………………………………………….. p3 Les résultats
Jack Jedwab Association détudes canadiennes Le 27 septembre 2008 Sondage post-Olympique.
Le soccer & les turbans Sondage mené par lAssociation détudes canadiennes 14 juin 2013.
Présentation générale
Cours de physique générale I Ph 11
1 Guide de lenseignant-concepteur Vincent Riff 27 mai 2003.
GRAM 1 CE2 Je sais transformer une phrase affirmative en phrase négative.
Le drapeau canadien comme symbole de fierté nationale : une question de valeurs partagées Jack Jedwab Association détudes canadiennes 28 novembre 2012.
Session 7 1 IST/VIH/SIDA.
Le Concours de Conaissance Francais I novembre 2012.
Si le Diaporama ne s'ouvre pas en plein écran Faites F5 sur votre clavier.
Titre : Implémentation des éléments finis sous Matlab
Les nombres.
Projet poker 1/56. Introduction Présentation de léquipe Cadre du projet Enjeux Choix du sujet 2.
LES NOMBRES PREMIERS ET COMPOSÉS
Logiciel gratuit à télécharger à cette adresse :
Les chiffres & les nombres
1.Un rang de données multicolores 2. Deux permutations des n premiers entiers 3. b permutations des k premiers entiers 4. Choix de n points dans [0,1]
Calculs et écritures fractionnaires
RACINES CARREES Définition Développer avec la distributivité Produit 1
Représentation des systèmes dynamiques dans l’espace d’état
Systèmes mécaniques et électriques
Représentation des systèmes dynamiques dans l’espace d’état
Représentation des systèmes dynamiques dans l’espace d’état
DUMP GAUCHE INTERFERENCES AVEC BOITIERS IFS D.G. – Le – 1/56.
La statistique descriptive
1 Licence dinformatique Algorithmique des graphes Problèmes dordonnancement. Utilisation de ce document strictement réservée aux étudiants de l IFSIC dans.
Année universitaire Réalisé par: Dr. Aymen Ayari Cours Réseaux étendus LATRI 3 1.
Module d’Enseignement à Distance pour l’Architecture Logicielle
MAGIE Réalisé par Mons. RITTER J-P Le 24 octobre 2004.
1 INETOP
Initiation à la conception des systèmes d'informations
Initiation à la conception des systèmes d'informations
Résoudre une équation du 1er degré à une inconnue
Aire d’une figure par encadrement
P.A. MARQUES S.A.S Z.I. de la Moussière F DROUE Tél.: + 33 (0) Fax + 33 (0)
Les fondements constitutionnels
MAGIE Réalisé par Mons. RITTER J-P Le 24 octobre 2004.
1/65 微距摄影 美丽的微距摄影 Encore une belle leçon de Macrophotographies venant du Soleil Levant Louis.
Nom:____________ Prénom: ___________
Annexe Résultats provinciaux comparés à la moyenne canadienne
La formation des maîtres et la manifestation de la compétence professionnelle à intégrer les technologies de l'information et des communications (TIC)
Modèle Conceptuel des Traitements (MCT)
Transcription de la présentation:

Module d’Enseignement à Distance pour l’Architecture Logicielle M.E.D.A.L. IUP-MIAGE 1ère année Les modèles de traitement de Merise (2) Module d’Enseignement à Distance pour l’Architecture Logicielle Diapositive n° 1 IUP MIAGE - Université de NANTES Alain VAILLY

MEDAL Cours magistral Evaluation Références Contexte Exercices Corrigés des exercices Etudes de cas Auto-évaluation Diapositive n° 2 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. informations fonctions PLAN comportements 1) Introduction 2) Les différents modèles Cours magistral 3) Modèle Conceptuel des Traitements 4) Modèle Organisationnel des Traitements - le modèle E-A-P 5) Conclusion - le modèle relationnel - les réseaux de PETRI - les modèles de traitement de Merise Diapositive n° 3 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. Cours magistral 1) Introduction 4) Modèle Organisationnel des Traitements 2) Les différents modèles 4.1) Création 4.2) Adaptations 2.1) Graphes de flux 2.2) Diagrammes des flux 2.3) Modèle des flux 2.4) Diagrammes divers 2.5) Synthèse 3) Modèle Conceptuel des Traitements 3.1) Notions de base 3.2) Extensions 3.3) Dynamique des MCT 3.4) Normalisation 3.5) Utilisation 3.6) Erreurs à éviter PLAN 5) Conclusion 5) Conclusion Diapositive n° 4 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 0) Rappels non normalisés, hélas ! La méthode Merise comporte deux « volets », un premier concernant la structuration des données et un second abordant la description des traitements. Il s’agit ici du second. « modèles » anciens, assez peu utilisés… quoique utiles ! description des fonctions d’un système - un grand flou sur les notations, - une certaine cacophonie dans les appellations. Diapositive n° 5 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation Comme dans tout langage, celui qui est utilisé pour décrire les modèles conceptuels des traitements respecte des règles, des normes. Celles-ci sont au nombre de onze : - six pour les synchronisations, - deux pour les règles d’émission, - trois pour les messages associés aux événements. Diapositive n° 6 IUP MIAGE - Université de NANTES Alain VAILLY

INTERDIT 3) Modèle Conceptuel des Traitements M.E.D.A.L. 3.4) Normalisation synchronisation R1 Lorsqu’une synchronisation compte n (avec n ≥ 2) événements, la proposition logique ne peut être vraie du seul fait de l’arrivée d’un et d’un seul événement. a OPERXY b S1 : a ou b S1 INTERDIT TRES RAREMENT VERIFIEE Diapositive n° 7 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation synchronisation R2 Lorsqu’une synchronisation compte n (avec n ≥ 2) événements, la proposition logique ne peut pas être toujours fausse. [5] OPERXY 10 INTERDIT R3 La participation d’un événement à une synchronisation est toujours inférieure à la capacité de l’événement. le poids Diapositive n° 8 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation synchronisation R4 Tout événement contribuant à une synchronisation avec une durée limite doit nécessairement contribuer à une autre synchronisation, pour qu’il puisse être consommé au delà de la durée limite. OPERXY OPERYZ [DL = 1 jour] Diapositive n° 9 IUP MIAGE - Université de NANTES Alain VAILLY

INTERDIT 3) Modèle Conceptuel des Traitements M.E.D.A.L. 3.4) Normalisation synchronisation R5 Une synchronisation ne peut avoir qu’un seul événement contributif avec une durée limite de participation égale à 0. OPERYZ Un, ça va ; deux, bonjour les dégâts ! [DL = 0] [DL = 0] INTERDIT Diapositive n° 10 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation synchronisation R6 Les conditions locales ne peuvent porter que sur des propriétés appartenant au message associé à l’un des événements contributifs, à l’exclusion de toute autre donnée mémorisée. Si les participations des événements sont toutes égales à 1, ces conditions portent sur des comparaisons entre propriétés associées, chacune, à un événement différent. Si l’une des participations est supérieure à 1, les conditions pourront impliquer plusieurs occurrences d’un même type d’événement. Diapositive n° 11 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation émission R7 La cardinalité d’un événement en sortie est nécessairement inférieure ou égale à la capacité de l’événement. OPERXY C1 C2 C3 E1 E2 E3 INTERDIT 10 [5] Diapositive n° 12 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation émission R8 L’expression booléenne fournie par la disjonction de toutes les règles d’émission d’une opération doit nécessairement être vraie. OPERXY C1 C2 C3 E1 E2 E3 [5] 10 INTERDIT C1 et C2 et C3 = 1 Diapositive n° 13 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. C’est quoi, un « modèle externe » ? 3) Modèle Conceptuel des Traitements 3.4) Normalisation émission R9 Toute propriété véhiculée par un message associé à un événement doit appartenir au modèle externe. R11 Toute combinaison d’événements rendant déclenchable une synchronisation doit constituer un modèle externe valide en mise à jour pour les actions élémentaires de mise à jour de la base de données. R10 Tout événement en sortie d’une opération doit constituer un modèle externe valide par rapport au MCD. Diapositive n° 14 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation Un modèle externe (ME), dans la méthode Merise, c’est un morceau du MCD qui correspond à une vue du système d’information. A chaque modèle externe correspond un traitement précis. Ce sont les données du MCD qui sont impliquées dans le traitement. ME n° 1 MCD ME n° 3 ME n° 2 Diapositive n° 15 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation Il y a une autre règle à vérifier : un MCT doit être bien formé pour tous les états initiaux prévisibles. Il n’est pas nécessaire qu’il soit déterministe ; il pourra être parallèle. Ce sont des propriétés (vérifiables) d’un MCT. C’est quoi, ce binzz ?? Diapositive n° 16 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation Un MCT est bien formé pour un état initial E0 si et seulement si : - il est borné, vivant et ré-initialisable ; - il existe un événement Er défini comme suit : - Er ne contribue qu’à une seule synchronisation S0 ; - Er n’est le résultat que d’une seule opération Of ; - Er n’est marqué qu’à l’état initial E0. C’est comme pour les réseaux de PETRI, alors ? Diapositive n° 17 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation Un MCT est borné à partir d’un état initial E0 si et seulement si la capacité maximale des différents événements n’est jamais dépassée, après un nombre quelconque d’activations à partir de E0. Cette notion de bornitude diffère légèrement de celle en usage dans les réseaux de PETRI. Il y a en effet autant de bornes que d’événements dans un MCT. Diapositive n° 18 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation MCT non borné Diapositive n° 19 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation Un MCT est vivant pour un état initial E0 si et seulement si, pour toute synchronisation S et tout état E obtenu à partir de E0, il est possible d’activer S dans une séquence d’activation à partir de E. Une telle propriété est une garantie d’absence de blocage. Diapositive n° 20 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation MCT non vivant Diapositive n° 21 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation Un MCT est ré-initialisable pour un état initial E0 si et seulement si, pour tout état E obtenu à partir de E0, il existe une séquence d’activation depuis E qui « ramène » à E0. Diapositive n° 22 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation MCT non ré-initialisable Diapositive n° 23 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation MCT ré-initialisable Diapositive n° 24 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation Un MCT est déterministe si et seulement si tous les conflits sont résolus. OPERXY OPERYZ S1 S2 - il y a assez de jetons - les conditions de participation aux synchronisations S1 et S2 sont exclusives. Diapositive n° 25 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation Un MCT est parallèle s’il existe un état E, obtenu à partir de l’état initial E0, tel que deux synchronisations au moins sont activables simultanément, sans pour autant être en conflit. Diapositive n° 26 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation Tout ceci repose sur la notion d’état (une distribution de jetons dans les événements) : a OPERXY E1 E2 E3 b c • un marquage RdP {5, 2, 0…} Diapositive n° 27 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.4) Normalisation [1, 1, 0, 0, 0] OP1 OP2 R1 R2 [1, 0, 0, 0, 1] [0, 1, 1, 0, 0] OP1 R1 OP2 [0, 1, 0, 1, 0] R2 OP2 [0, 0, 1, 0, 1] [0, 0, 0, 1, 1] OP3 OP4 [1, 0, 0, 0, 0] [0, 1, 0, 0, 0] OP1 R1 OP2 R2 [0, 0, 0, 0, 1] [0, 0, 1, 0, 0] [0, 0, 0, 1, 0] Diapositive n° 28 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.5) Utilisation La définition des modèles conceptuels des traitements s’effectue en deux étapes : 1) il y a d’abord ordonnancement des différentes fonctions composant l’application ; 2) une fois le graphe obtenu, les éléments spécifiques (événements, synchro…) sont incorporés. analyse « automatique » Diapositive n° 29 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.5) Utilisation Le point de départ est le graphe d’enchaînement des opérations : OP1 OP3 OP4 OP2 Diapositive n° 30 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.5) Utilisation Chaque opération est ensuite reprise et modélisée en utilisant la notation adéquate : OP1 OP2 OP3 OP4 Diapositive n° 31 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.5) Utilisation Les conditions d’émission sont ensuite ajoutées : OP1 OP2 OP3 OP4 Diapositive n° 32 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.5) Utilisation Avant-dernière transformation, les événements sont mis en place, y compris ceux, externes, qui ne figurent pas dans le graphe : OP1 OP2 OP3 OP4 Diapositive n° 33 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.5) Utilisation Avant-dernière transformation, les événements sont mis en place, y compris ceux, externes, qui ne figurent pas dans le graphe : OP1 OP2 OP3 OP4 Diapositive n° 34 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.5) Utilisation La dernière opération consiste à ajouter les fonctions de synchronisation aux bons « endroits » : OP1 OP2 OP3 OP4 S2 S1 Diapositive n° 35 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.5) Utilisation Tout découle donc du graphe d’enchaînement des opérations. Si celui-ci est faux, le MCT obtenu par traduction sera également faux. S’il est correct, le MCT résultat sera correct. Il ne faut donc pas « rater » le graphe. Sa définition nécessite une analyse minutieuses du fonctionnement du service, de l’organisation et de l’entreprise. Il y a cependant deux façons de procéder pour définir ce graphe, une individuelle et une globale. Diapositive n° 36 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. Quelle que soit l’approche choisie, il faut s’y tenir. 3) Modèle Conceptuel des Traitements 3.5) Utilisation Approche individuelle : on ne s’occupe que d’UNE occurrence et on décrit sa vie et les opérations subies par elle. Approche globale : on traite TOUTES les occurrences en même temps et on décrit les opérations à effectuer sur cet ensemble. Les liens de causalité correspondent aux enchaînements, la cohérence globale étant garantie grâce aux enchaînements. Les liens de causalité sont mémorisés dans les enchaînements (un peu) et dans la base de données (beaucoup). Diapositive n° 37 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.5) Utilisation Contexte : Gestion des personnes adhérentes d’une bibliothèque, comprenant quatre opérations : op1 Inscrire une personne Ranger le chèque de caution op2 Enregistrer le changement d’adresse op3 Enregistrer la demande d’annulation Consulter l’état des emprunts en cours op4 Annuler l’inscription Diapositive n° 38 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.5) Utilisation Ces opérations peuvent être structurées comme suit : Diapositive n° 39 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. approche individuelle 3.5) Utilisation approche individuelle (partie I) Diapositive n° 40 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. approche individuelle 3.5) Utilisation approche individuelle (partie II) Diapositive n° 41 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.5) Utilisation approche globale (partie I) Diapositive n° 42 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.5) Utilisation approche globale (partie II) Diapositive n° 43 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.5) Utilisation approche globale La cohérence est assurée par une variable Etat-Personne qui prend cinq valeurs, une par statut (pré-adhérent, bloqué, normal, post-adhérent, ancien). Diapositive n° 44 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.5) Utilisation S1 : a et b et c CL1 : a.nom = c.client E1 E2 E3 E4 E5 E6 E7 E8 E9 C1 C2 C3 OPERATION Pré-condition Opération Post-condition Diapositive n° 45 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.5) Utilisation - constitution du graphe d’enchaînement, - traduction sous forme de MCT, - « complétion », en incorporant les éléments manquants, - normalisation du MCT, - contrôle, - documentation du MCT. Diapositive n° 46 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Tous les niveaux (synchronisations, opérations…) sont concernés par défauts et erreurs. - synchronisations fausses (selon logique des propositions), - synchronisations fausses (selon logique RdP), - synchronisations fausses (non respect règles émission), - opérations vagues. Diapositive n° 47 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Synchronisation fausse Diapositive n° 48 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Synchronisation fausse Cette proposition est simplifiable en (a ou b). Diapositive n° 49 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Synchronisation fausse correcte Diapositive n° 50 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Synchronisation fausse Diapositive n° 51 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Synchronisation fausse Cette proposition se réduit à A. Diapositive n° 52 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Synchronisation fausse correcte Diapositive n° 53 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Synchronisation fausse correcte Que se passe-t-il si la modification n’est pas « acceptable » ? Diapositive n° 54 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Synchronisation fausse Diapositive n° 55 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. L’événement e est inutile ! 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Synchronisation fausse Diapositive n° 56 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Synchronisation fausse correcte On n’a plus besoin de l’accord du client ! Diapositive n° 57 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Synchronisation fausse Diapositive n° 58 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Synchronisation fausse S’il y a un jeton dans Panne, il sera consommé par OP1 OU par OP2. impossible Diapositive n° 59 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Synchronisation fausse correcte Diapositive n° 60 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Synchronisation fausse Diapositive n° 61 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Synchronisation fausse R3 L’événement R3 est inutile. R5 R2 Diapositive n° 62 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Synchronisation fausse correcte Diapositive n° 63 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Opération vague Diapositive n° 64 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Opération vague A quoi correspondent J, J*…? Diapositive n° 65 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Opération vague Diapositive n° 66 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Opération vague C’est quoi la location ? Diapositive n° 67 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Opération fausse Diapositive n° 68 IUP MIAGE - Université de NANTES Alain VAILLY

3) Modèle Conceptuel des Traitements M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Opération fausse Le calcul ne devrait pas se faire en cas d’indisponibilité. Diapositive n° 69 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Opération fausse correcte Solution n° 1 Diapositive n° 70 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes Opération fausse correcte Solution n° 2 Diapositive n° 71 IUP MIAGE - Université de NANTES Alain VAILLY

IUP MIAGE - Université de NANTES M.E.D.A.L. A suivre : - prise en compte du temps, du lieu, - nature des opérations, - modèle organisationnel des traitements (MOT), - passage MCT --> MOT, - ... entracte Diapositive n° 72 IUP MIAGE - Université de NANTES Alain VAILLY

Bibliographie (sommaire) M.E.D.A.L. Bibliographie (sommaire) la référence :-) P. ANDRE, A. VAILLY, « Conception des systèmes d’information ; Panorama des méthodes et des techniques », Editions Ellipses, janvier 2001, ISBN 2-7298-0479-X H. TARDIEU, A. ROCHFELD et R. COLETTI, « La méthode Merise, tome 1 : principes et outils », Editions d’Organisation, 1991, ISBN 2-7081-1106-X Pour compléter la formation ... Diapositive n° 73 IUP MIAGE - Université de NANTES Alain VAILLY