1 / 73

M.E.D.A.L.

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

alika-tyler
Download Presentation

M.E.D.A.L.

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


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

  2. Cours magistral M.E.D.A.L. Evaluation Références Contexte Exercices MEDAL Corrigés des exercices Etudes de cas Auto-évaluation Diapositive n° 2 IUP MIAGE - Université de NANTES AlainVAILLY

  3. informations M.E.D.A.L. 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 AlainVAILLY

  4. 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.1) Notions de base 3.2) Extensions 3.3) Dynamique des MCT 3.4) Normalisation 3.5) Utilisation 3.6) Erreurs à éviter Cours magistral 1) Introduction M.E.D.A.L. 4) Modèle Organisationnel des Traitements 2) Les différents modèles 3) Modèle Conceptuel des Traitements PLAN 5) Conclusion 5) Conclusion Diapositive n° 4 IUP MIAGE - Université de NANTES AlainVAILLY

  5. 0) Rappels M.E.D.A.L. 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 AlainVAILLY

  6. 3) Modèle Conceptuel des Traitements 3.4) Normalisation M.E.D.A.L. 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 AlainVAILLY

  7. b a S1 S1 : a ou b OPERXY 3) Modèle Conceptuel des Traitements 3.4) Normalisation M.E.D.A.L. 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. INTERDIT TRES RAREMENT VERIFIEE Diapositive n° 7 IUP MIAGE - Université de NANTES AlainVAILLY

  8. [5] 10 OPERXY 3) Modèle Conceptuel des Traitements 3.4) Normalisation M.E.D.A.L. synchronisation R2 Lorsqu’une synchronisation compte n (avec n ≥ 2) événements, la proposition logique ne peut pas être toujours fausse. 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 AlainVAILLY

  9. OPERXY OPERYZ 3) Modèle Conceptuel des Traitements 3.4) Normalisation M.E.D.A.L. 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. [DL = 1 jour] Diapositive n° 9 IUP MIAGE - Université de NANTES AlainVAILLY

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

  11. 3) Modèle Conceptuel des Traitements 3.4) Normalisation M.E.D.A.L. 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 AlainVAILLY

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

  13. OPERXY C1 C2 C3 10 E3 E1 E2 [5] 3) Modèle Conceptuel des Traitements 3.4) Normalisation M.E.D.A.L. é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. INTERDIT C1 et C2 et C3 = 1 Diapositive n° 13 IUP MIAGE - Université de NANTES AlainVAILLY

  14. C’est quoi, un « modèle externe » ? 3) Modèle Conceptuel des Traitements 3.4) Normalisation M.E.D.A.L. é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 AlainVAILLY

  15. ME n° 1 ME n° 3 ME n° 2 MCD 3) Modèle Conceptuel des Traitements 3.4) Normalisation M.E.D.A.L. 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. Diapositive n° 15 IUP MIAGE - Université de NANTES AlainVAILLY

  16. 3) Modèle Conceptuel des Traitements 3.4) Normalisation M.E.D.A.L. 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 AlainVAILLY

  17. 3) Modèle Conceptuel des Traitements 3.4) Normalisation M.E.D.A.L. 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 AlainVAILLY

  18. 3) Modèle Conceptuel des Traitements 3.4) Normalisation M.E.D.A.L. 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 AlainVAILLY

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

  20. 3) Modèle Conceptuel des Traitements 3.4) Normalisation M.E.D.A.L. 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 AlainVAILLY

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

  22. 3) Modèle Conceptuel des Traitements 3.4) Normalisation M.E.D.A.L. 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 AlainVAILLY

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

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

  25. S1 S2 OPERXY OPERYZ 3) Modèle Conceptuel des Traitements 3.4) Normalisation M.E.D.A.L. Un MCT est déterministe si et seulement si tous les conflits sont résolus. - 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 AlainVAILLY

  26. 3) Modèle Conceptuel des Traitements 3.4) Normalisation M.E.D.A.L. 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 AlainVAILLY

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

  28. 3) Modèle Conceptuel des Traitements 3.4) Normalisation M.E.D.A.L. [1, 1, 0, 0, 0] OP1 OP2 R1 [1, 0, 0, 0, 1] R2 [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 OP2 R1 R2 [0, 0, 0, 0, 1] [0, 0, 1, 0, 0] [0, 0, 0, 1, 0] Diapositive n° 28 IUP MIAGE - Université de NANTES AlainVAILLY

  29. 3) Modèle Conceptuel des Traitements 3.5) Utilisation M.E.D.A.L. 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 AlainVAILLY

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

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

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

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

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

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

  36. 3) Modèle Conceptuel des Traitements 3.5) Utilisation M.E.D.A.L. 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 AlainVAILLY

  37. Quelle que soit l’approche choisie, il faut s’y tenir. 3) Modèle Conceptuel des Traitements 3.5) Utilisation M.E.D.A.L. 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 AlainVAILLY

  38. 3) Modèle Conceptuel des Traitements 3.5) Utilisation M.E.D.A.L. 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 AlainVAILLY

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

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

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

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

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

  44. 3) Modèle Conceptuel des Traitements 3.5) Utilisation M.E.D.A.L. 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 AlainVAILLY

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

  46. 3) Modèle Conceptuel des Traitements 3.5) Utilisation M.E.D.A.L. - 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 AlainVAILLY

  47. 3) Modèle Conceptuel des Traitements 3.6) Erreurs les plus fréquentes M.E.D.A.L. 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 AlainVAILLY

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

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

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

More Related