Module d’Enseignement à Distance pour l’Architecture Logicielle

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 X H. TARDIEU, A. ROCHFELD et R. COLETTI, « La méthode Merise, tome 1 : principes et outils », Editions d’Organisation, 1991, ISBN X Pour compléter la formation ... Diapositive n° 73 IUP MIAGE - Université de NANTES Alain VAILLY

Module d’Enseignement à Distance pour l’Architecture Logicielle

Présentations similaires

Présentation au sujet: "Module d’Enseignement à Distance pour l’Architecture Logicielle"— Transcription de la présentation:

Présentations similaires

Notre projet

Feed-back

Entrer

S'autoriser via un réseau social:

Module d’Enseignement à Distance pour l’Architecture Logicielle

Présentations similaires

Présentation au sujet: "Module d’Enseignement à Distance pour l’Architecture Logicielle"— Transcription de la présentation:

Présentations similaires

Notre projet

Feed-back