Module d’Enseignement à Distance pour l’Architecture Logicielle

Slides:



Advertisements
Présentations similaires
Module d’Enseignement à Distance pour l’Architecture Logicielle
Advertisements

Module d’Enseignement à Distance pour l’Architecture Logicielle
Module d’Enseignement à Distance pour l’Architecture Logicielle
SRT 2 NTP. Nécessité ● Les ordinateurs utilisent des horloges à quartz – Peu de précision – Tendance à dériver – Parfois plusieurs secondes par jour.
Logiciel Assistant Gestion d’Événement Rémi Papillie (Chef d’équipe) Maxime Brodeur Xavier Pajani Gabriel Rolland David St-Jean.
DUT INFORMATIQUE ET GÉNIE INFORMATIQUE UE2 CONNAISSANCES ET COMPÉTENCES COMPLÉMENTAIRES EGO 4 ORGANISATION et GESTION LA CAPITALISATION ET L’ACTUALISATION.
Plan Présentation de 2TUP 2TUP, un processus UP 2TUP et UML Les apports de 2TUP 2TUP en détail 2TUP dans la pratique.
DIAGRAMME DE DEPLOIEMENT Exposé de: MBALLA MEKONGO Michèle MBOUNA FEUZE William SIEYADJEU Alex Lionel CHOPGWE Leonard NDUMATE Landry TIDJON Lionel.
MINISTERE DE L’ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE Université d’Adrar Diagramme d’états-transitions Présenté par Sbai Omar Benothman.
AMUE – SIFAC Gestion des services fait sur SIFAC WEB
L’évaluation concerne toutes les phases de l’enseignement, avant, pendant et après la situation d’apprentissage. Les objectifs de chaque séance, clairement.
temporelle – fréquentielle –Stabilité diagrammes de Bode / Nyquist
épreuve E6 questionnement possible
Comment Sécuriser Le Système d’information de son entreprise
Projet de programme et recommandations
La gestion des co-produits (niveau de version : C)
Version (S60) Lien entre le Document unique (DAU) et la banque de données des autorisations MASP pour la procédure de domiciliation et l’allégement.
Google analytics.
Comprendre la définition de bit par seconde à partir
Algorithme et programmation
Séminaire Novembre 2006 Zephir : Déploiement et supervision des serveurs Eole.
Algorithmique demander jeu du pendu.
MOT Éditeur de modèles de connaissances par objets typés
Initiation aux bases de données et à la programmation événementielle
Principes de programmation (suite)
Activités algorithmiques
Les « observables » ! Situation A de CCF : de la prise d’information à la constitution d’un profil.
Plans d’expériences: Plans factoriels
Cyber-Sphinx Séance 2.
INRODUCTION a la comptabilité générale
Journée nationale : Réforme des rythmes scolaires
Semaine #4 INF130 par Frédérick Henri.
Tableau de bord des risques
1ers pas des utilisateurs migrés
Algorithmique & Langage C IUT GEII S1 Notes de cours (deuxième partie)
Stabilité des porteurs horizontaux (Poutres)
Notion De Gestion De Bases De Données
Création Et Modification De La Structure De La Base De Données
Base de Données, RFID et Langage SQL
PROGRAMMATION ET ENSEIGNEMENT
Formation sur les bases de données relationnelles.
Les conditions d'efficacité de la formation
Integrated Business intelligence
Diagrammes UML 420-KE2-LG.
Chapitre 3 : Caractéristiques de tendance centrale
Module d’Enseignement à Distance pour l’Architecture Logicielle
Diagramme d’activité.
Adaptive Neuro Fuzzy Inference System (ANFIS)
Co-produits Management (Version Level: C)
Programme financé par l’Union européenne
NUMERATION et REPRESENTATION DES NOMBRES
Information sur survies des patients en dialyse péritonéale, en France métropolitaine dans le RDPLF Année 2016.
Module 13 : Implémentation de la protection contre les sinistres
„La plate-forme EAI “ Initiation à WBI
Épreuve écrite E4.1 BTS CG Session /02/2017.
Difficultés d’apprentissage
Université de la méditerranée
Langages de programmation TP11
03- Evaluation Access 2003 Cette évaluation comporte des QCM (1 seule réponse) et des Zones à déterminer dans des copies d’écran.
Présentation 9 : Calcul de précision des estimateurs complexes
EPITECH 2009 UML EPITECH 2009
Les contrats et leurs conditions de validité
Opérateurs et fonctions arithmétiques Opérateurs de relation Opérateurs logiques Cours 02.
L’analyse de la valeur des projets informatiques
Design, innovation et créativité
Merise le modèle de traitement
Modélisation des SI et de la connaissance
UC : Diagramme des cas d’utilisation Req : Diagramme d’exigence
I. Aouichak, I. Elfeki, Y. Raingeaud, J.-C. Le Bunetel
MOT Éditeur de modèles de connaissances par objets typés
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