La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

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:

1 Module d’Enseignement à Distance pour l’Architecture Logicielle
M.E.D.A.L. IUP-MIAGE 2ème année Les diagrammes de flots de données Module d’Enseignement à Distance pour l’Architecture Logicielle Diapositive n° 1 IUP MIAGE - Université de NANTES Alain VAILLY

2 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

3 IUP MIAGE - Université de NANTES
M.E.D.A.L. informations fonctions PLAN comportements 1) Introduction 2) Les DFD, une définition Cours magistral 3) Les DFD, ailleurs 4) Les DFD, un essai de synthèse 5) Conclusion - les automates - les arbres JSD D.F.D. - les diagrammes de flots de données Diapositive n° 3 IUP MIAGE - Université de NANTES Alain VAILLY

4 IUP MIAGE - Université de NANTES
M.E.D.A.L. PLAN 1) Introduction 2) Les DFD, une définition Cours magistral 3) Les DFD, ailleurs 4) Les DFD, un essai de synthèse 5) Conclusion Diapositive n° 4 IUP MIAGE - Université de NANTES Alain VAILLY

5 IUP MIAGE - Université de NANTES
M.E.D.A.L. Cours magistral PLAN 1) Introduction 2) Les DFD, une définition 3) Les DFD, ailleurs 4) Les DFD, un essai de synthèse 5) Conclusion Diapositive n° 5 IUP MIAGE - Université de NANTES Alain VAILLY

6 IUP MIAGE - Université de NANTES
M.E.D.A.L. Cours magistral 1) Introduction 2) Les DFD, une définition 3) Les DFD, ailleurs 4) Les DFD, un essai de synthèse 5) Conclusion PLAN Diapositive n° 6 IUP MIAGE - Université de NANTES Alain VAILLY

7 IUP MIAGE - Université de NANTES
M.E.D.A.L. Cours magistral 1) Introduction 2) Les DFD, une définition 3) Les DFD, ailleurs 4) Les DFD, un essai de synthèse 5) Conclusion PLAN Diapositive n° 7 IUP MIAGE - Université de NANTES Alain VAILLY

8 IUP MIAGE - Université de NANTES
M.E.D.A.L. Cours magistral 1) Introduction 2) Les DFD, une définition 3) Les DFD, ailleurs 4) Les DFD, un essai de synthèse 5) Conclusion PLAN Diapositive n° 8 IUP MIAGE - Université de NANTES Alain VAILLY

9 IUP MIAGE - Université de NANTES
M.E.D.A.L. Cours magistral 1) Introduction 2) Les DFD, une définition 3) Les DFD, ailleurs 4) Les DFD, un essai de synthèse 5) Conclusion PLAN Diapositive n° 9 IUP MIAGE - Université de NANTES Alain VAILLY

10 IUP MIAGE - Université de NANTES
M.E.D.A.L. Cours magistral 1) Introduction 2) Les DFD, une définition 4) Les DFD, un essai de synthèse 3) Les DFD, ailleurs 5) Conclusion PLAN Diapositive n° 10 IUP MIAGE - Université de NANTES Alain VAILLY

11 IUP MIAGE - Université de NANTES
M.E.D.A.L. Cours magistral 1) Introduction 2) Les DFD, une définition 4) Les DFD, un essai de synthèse 3) Les DFD, ailleurs PLAN 5) Conclusion Diapositive n° 11 IUP MIAGE - Université de NANTES Alain VAILLY

12 IUP MIAGE - Université de NANTES
M.E.D.A.L. Cours magistral 1) Introduction 2) Les DFD, une définition 4) Les DFD, un essai de synthèse 2.1) Les DFD, une définition 2.2) Les DFD dans la méthode SSADM 2.2.1) Utilisation des DFD 2.2.2) Démarche de création des DFD 4.1) Ce que sont les DFD 4.2) Ce qu’il faudrait qu’ils soient 4.3) Ce qu’en fait R. FRANCE 4.4) Ce qu’en fait G. RANDELL 3) Les DFD, ailleurs 3.1) Dans la méthode SA de DE MARCO 3.2) Dans la méthode SA-RT de HATLEY-PIRBHAI 3.3) Dans la méthode de SHLAER-MELLOR 3.4) Dans la méthode Merise 3.5) Les DFD et la méthode SADT 3.6) Les DFD et les SSD de JACKSON PLAN 5) Conclusion Diapositive n° 12 IUP MIAGE - Université de NANTES Alain VAILLY

13 M.E.D.A.L. 1) Introduction SSADM début des années 1970 SA SA-RT Outil de modélisation des fonctions d’un système SADT Principe de base : décomposition en niveaux …. Modèle ancien UML Modèle très utilisé dans le monde anglo-saxon Modèle simple (voire simpliste) ... processus acteur … qui repose sur 4 notions seulement lieu de stockage flot de données Diapositive n° 13 IUP MIAGE - Université de NANTES Alain VAILLY

14 2) Les DFD, une définition
M.E.D.A.L. 2) Les DFD, une définition 2.1) Les DFD, une définition Les diagrammes de flots de données sont une technique de représentation des flots d’information d’un système largement répandu dans le monde anglo-saxon. SSADM processus entité externe stockage flot de données Diapositive n° 14 IUP MIAGE - Université de NANTES Alain VAILLY

15 2) Les DFD, une définition 2) Les DFD, une définition
M.E.D.A.L. 2) Les DFD, une définition 2) Les DFD, une définition 2.1) Les DFD, une définition Les diagrammes de flots de données sont une technique de représentation des flots d’information d’un système largement répandu dans le monde anglo-saxon. SSADM processus entité externe stockage flot de données Diapositive n° 15 IUP MIAGE - Université de NANTES Alain VAILLY

16 2) Les DFD, une définition 2) Les DFD, une définition
M.E.D.A.L. 2) Les DFD, une définition 2) Les DFD, une définition 2.1) Les DFD, une définition Les diagrammes de flots de données sont une technique de représentation des flots d’information d’un système largement répandu dans le monde anglo-saxon. SSADM processus entité externe stockage flot de données Diapositive n° 16 IUP MIAGE - Université de NANTES Alain VAILLY

17 2) Les DFD, une définition 2) Les DFD, une définition
M.E.D.A.L. 2) Les DFD, une définition 2) Les DFD, une définition 2.1) Les DFD, une définition Les diagrammes de flots de données sont une technique de représentation des flots d’information d’un système largement répandu dans le monde anglo-saxon. SSADM processus entité externe stockage flot de données Diapositive n° 17 IUP MIAGE - Université de NANTES Alain VAILLY

18 2) Les DFD, une définition 2) Les DFD, une définition
M.E.D.A.L. 2) Les DFD, une définition 2) Les DFD, une définition 2.1) Les DFD, une définition Les diagrammes de flots de données sont une technique de représentation des flots d’information d’un système largement répandu dans le monde anglo-saxon. SSADM processus entité externe stockage flot de données Diapositive n° 18 IUP MIAGE - Université de NANTES Alain VAILLY

19 2) Les DFD, une définition 2) Les DFD, une définition entité externe
M.E.D.A.L. 2) Les DFD, une définition 2) Les DFD, une définition 2.1) Les DFD, une définition entité externe Entité située en dehors des frontières de l’application, fournissant des données au système ou en recevant de lui. Son fonctionnement interne n’est pas étudié. Nom x Nom x si un seul exemplaire si plusieurs copies Identificateur (toujours en minuscule) Diapositive n° 19 IUP MIAGE - Université de NANTES Alain VAILLY

20 2) Les DFD, une définition 2) Les DFD, une définition processus
M.E.D.A.L. 2) Les DFD, une définition 2) Les DFD, une définition 2.1) Les DFD, une définition processus Elément qui transforme un ensemble de données (les entrées) en un autre (les sorties). Ces processus correspondent aux fonctions du système. x Localisation Identificateur (par convention, un nombre) Nom Seulement si DFD au niveau physique (nom de la personne qui exécute ou nom du système dans lequel le traitement est réalisé) Nom du processus (toujours sous forme « verbe-complément ») Diapositive n° 20 IUP MIAGE - Université de NANTES Alain VAILLY

21 2) Les DFD, une définition 2) Les DFD, une définition stockage
M.E.D.A.L. 2) Les DFD, une définition 2) Les DFD, une définition 2.1) Les DFD, une définition stockage Lieu où les données sont stockées. Leur contenu n’est accessible QUE par l’intermédiaire d’un processus. x Nom x Nom si un seul exemplaire si plusieurs copies Identificateur D : valeur par défaut M : manuel C : automatisé Diapositive n° 21 IUP MIAGE - Université de NANTES Alain VAILLY

22 Interdit Interdit Interdit Interdit Interdit
M.E.D.A.L. 2) Les DFD, une définition 2) Les DFD, une définition 2.1) Les DFD, une définition flot de données Déplacement des données dans le système Interdit Nom Ensemble de données C1 : un flot ne peut pas partir d’un élément et y arriver. C2 : un flot doit soit arriver à un processus, soit en partir. Interdit Interdit Interdit Interdit Diapositive n° 22 IUP MIAGE - Université de NANTES Alain VAILLY

23 IUP MIAGE - Université de NANTES
M.E.D.A.L. SSADM 2) Les DFD, une définition 2) Les DFD, une définition 2.1) Les DFD, une définition stockage Employé banque d Directeur b N° compte entité externe 01 D2 Comptes bancaires Retrait Nom client, N° compte Inscrire les Nouveaux clients Solde Total 02 Nom client flot de données Enregistrer les Dépôts et retraits Client a D1 Clients Salaire D2 Comptes bancaires Notification clôture Ex compte Employeur c Ex compte Dépôt 03 Directeur b Fermer les comptes Notification clôture Client a processus Diapositive n° 23 IUP MIAGE - Université de NANTES Alain VAILLY

24 IUP MIAGE - Université de NANTES
M.E.D.A.L. SSADM 2) Les DFD, une définition 2) Les DFD, une définition 2.1) Les DFD, une définition stockage Employé banque d Directeur b N° compte entité externe 01 D2 Comptes bancaires Retrait Nom client, N° compte Inscrire les Nouveaux clients Solde Total 02 Nom client flot de données Enregistrer les Dépôts et retraits Client a D1 Clients Salaire D2 Comptes bancaires Notification clôture Ex compte Employeur c Ex compte Dépôt 03 Directeur b Fermer les comptes Notification clôture Client a processus Diapositive n° 24 IUP MIAGE - Université de NANTES Alain VAILLY

25 IUP MIAGE - Université de NANTES
M.E.D.A.L. 2) Les DFD, une définition 2.1) Les DFD dans la méthode SSADM Les DFD sont un des 3 ingrédients de base de la méthode SSADM. Ils sont utilisés à au moins quatre reprises, pour décrire : 1) le système physique actuel, 1 3 2) le système logique actuel, 2 3) les solutions possibles, 4) la solution retenue. 4 Ces diagrammes doivent être étroitement liés aux autres, qu’il s’agisse de la structure de données ou des arbres JSD. Diapositive n° 25 IUP MIAGE - Université de NANTES Alain VAILLY

26 2) Les DFD, une définition
M.E.D.A.L. 2) Les DFD, une définition 2.1) Les DFD dans la méthode SSADM La démarche préconisée par SSADM est la suivante : 1) définition du premier DFD, On peut aborder ce problème par les documents, par une étude des ressources physiques et de leur évolution, par une étude de la structure hiérarchique de l’entreprise... 2) simplification, 3) définition des niveaux bas. Il existe une démarche et une « norme ». Diapositive n° 26 IUP MIAGE - Université de NANTES Alain VAILLY

27 IUP MIAGE - Université de NANTES
M.E.D.A.L. Emetteur x 2) Les DFD, une définition 2.1) Les DFD dans la méthode SSADM Traiter Une approche par les documents peut être tentée, en suivant la démarche suivante : y Stockage 1) recenser les principaux documents, leurs émetteurs et leurs destinataires, 2) dessiner le chemin parcouru par ces documents, Destinataire 3) définir les limites de l’application, 4) identifier les processus à l’intérieur du système, chacun correspondant à l’émission ou à la réception d’un ou de plusieurs documents. Lorsque des documents sont conservés dans des fichiers, des stockages sont ajoutés. Diapositive n° 27 IUP MIAGE - Université de NANTES Alain VAILLY

28 2) Les DFD, une définition
M.E.D.A.L. Diagramme A-0 de SADT 2) Les DFD, une définition 2.1) Les DFD dans la méthode SSADM 1 2 Pour simplifier le premier DFD, forcément compliqué : 1) on commence par dessiner un diagramme de contexte 2) on regroupe, tout en introduisant des niveaux. système entre 2 et 8 flots par processus 1.1 1.2 2.1 2.2 1.2.1 1.2.2 2.3 Diapositive n° 28 IUP MIAGE - Université de NANTES Alain VAILLY

29 2) Les DFD, une définition
M.E.D.A.L. 2) Les DFD, une définition 2.1) Les DFD dans la méthode SSADM Evénement déclencheur : réception du flot Demande-résa (Nom, Livre, …) Evénement résultat : émission en direction du lecteur du flot Réponse demande La définition des niveaux les plus bas se fait en fournissant les algorithmes des processus-feuilles. Descriptif : Lire D1 : Fichier des lecteurs Si nom du demandeur est inconnu alors Réponse demande := « refusée ; demandeur inconnu » sinon Lire D3.1 : Prêts Si livre disponible alors Réponse demande := « refusée ; livre disponible » Lire D3.2 : Réservations Si réservation déjà déposée par ce demandeur, pour ce livre alors Réponse demande := « refusée ; réservation déjà faite » Réponse demande := « acceptée » Enregistrer réservation dans D3.2 : Réservations Finsi Fin-descriptif P-SPEC de SA-RT Diapositive n° 29 IUP MIAGE - Université de NANTES Alain VAILLY

30 3) Les DFD, ailleurs M.E.D.A.L.
3.1) Dans la méthode SA de DE MARCO un des plus anciens Selon DE MARCO, « un diagramme de flots de données est une représentation réseau d’un système. Le système peut être automatisé, manuel ou les deux. Le diagramme de flots de données décrit le système en termes de ses composants et d’interfaces entre ceux-ci. » Nom Nom Nom processus producteur-consommateur fichier 1 schéma = 1 page A4 maxi Décomposition possible Feuilles décrites par mini-spécifications flot de données Nom Diapositive n° 30 IUP MIAGE - Université de NANTES Alain VAILLY

31 IUP MIAGE - Université de NANTES
M.E.D.A.L. 3) Les DFD, ailleurs 3.1) Dans la méthode SA de DE MARCO Le flot X arrive de la source S et est transformé en Y par le processus P1 (qui a besoin d’accéder au fichier F pour faire son travail). Y, à son tour, est transformé en Z par le processus P2. P1 P2 S X Y Z F Diapositive n° 31 IUP MIAGE - Université de NANTES Alain VAILLY

32 3) Les DFD, ailleurs M.E.D.A.L. pas encouragé par l’auteur ! W ou Z
3.1) Dans la méthode SA de DE MARCO pas encouragé par l’auteur ! W ou Z Y W * + P1 X Z X et Y Diapositive n° 32 IUP MIAGE - Université de NANTES Alain VAILLY

33 3) Les DFD, ailleurs M.E.D.A.L.
3.2) Dans la méthode SA-RT de HATLEY-PIRBHAI Le diagramme de flots de données est l’outil de base pour la description des besoins du système, dans la méthode SA-RT. « Le modèle peut être vu comme un réseau géant de processus terminaux reliés entre eux au travers de leurs flots de données, un réseau dans lequel chaque processus est un processeur arbitrairement rapide, indépendant et déclenché par les données. » Nom Nom processus producteur-consommateur stockage Nom flot de données Diapositive n° 33 IUP MIAGE - Université de NANTES Alain VAILLY

34 IUP MIAGE - Université de NANTES
M.E.D.A.L. 3) Les DFD, ailleurs 3.2) Dans la méthode SA-RT de HATLEY-PIRBHAI Objet PIECES Pièces rendues Obtenir paiement client 1 Rendre la monnaie 2 Paiement Fausses pièces Valider le paiement 3 Monnaie à rendre TABLE DES PRIX Distribuer le produit 6 Prix Produit Sélection valide Obtenir le prix du produit 4 Obtenir une bonne sélection 5 PRODUITS Sélection client Diapositive n° 34 IUP MIAGE - Université de NANTES Alain VAILLY

35 IUP MIAGE - Université de NANTES
M.E.D.A.L. 3) Les DFD, ailleurs 3.2) Dans la méthode SA-RT de HATLEY-PIRBHAI Ces flots sont des flots de CONTRÔLE, qui relèvent d’un autre schéma, le DFC. Paiement suffisant ?? Monnaie à rendre ?? Paiement Valider le paiement 3 PSPEC3 : Valider le paiement Entrées : Prix, Paiement Sorties : Paiement suffisant, Monnaie à rendre Si Paiement ≥ Prix alors Paiement suffisant := Oui Monnaie à rendre := Paiement - Prix sinon Paiement suffisant := Non Finsi Fin-PSPEC3 Prix La spécification de chaque processus terminal fait l’objet d’une description séparée (P-SPEC). Diapositive n° 35 IUP MIAGE - Université de NANTES Alain VAILLY

36 3) Les DFD, ailleurs M.E.D.A.L. Diagramme de flots de contrôle (DFC)
3.2) Dans la méthode SA-RT de HATLEY-PIRBHAI Demande de retour pièces Obtenir paiement client 1 Rendre la monnaie 2 Pièce détectée Paiement suffisant Valider le paiement 3 Barre de contrôle Distribuer le produit 6 Produit distribué Obtenir le prix du produit 4 Obtenir une bonne sélection 5 Produit disponible Entité externe Diapositive n° 36 IUP MIAGE - Université de NANTES Alain VAILLY

37 3) Les DFD, ailleurs M.E.D.A.L.
3.2) Dans la méthode SA-RT de HATLEY-PIRBHAI Ces barres de contrôle matérialisent un processus de prise de décision (un seul par niveau de DFD) qui reçoit des données de contrôle (des sortes de variables booléennes), les traite, les stocke éventuellement dans un stockage et qui en envoie d’autres - soit à un autre DFC, - soit à un DFD. DFC = DFD traitant des données de contrôle Les processus de bas niveau sont décrits, comme dans les DFD, par des mini-spécifications (les C-SPEC). Diapositive n° 37 IUP MIAGE - Université de NANTES Alain VAILLY

38 3) Les DFD, ailleurs M.E.D.A.L.
3.2) Dans la méthode SA-RT de HATLEY-PIRBHAI On peut exprimer ces C-SPEC de plusieurs façons. Demande de retour pièces Rendre le paiement Attente de pièces Pièce détectée Accepter sélection Produit disponible = Faux Rendre paiement Attente de sélection Paiement suffisant Distribuer produit Produit distribué Accepter nouvelle pièce Automate de MEALY Distribution produit Diapositive n° 38 IUP MIAGE - Université de NANTES Alain VAILLY

39 3) Les DFD, ailleurs M.E.D.A.L. Processus activé Table de décision 1 1
3.2) Dans la méthode SA-RT de HATLEY-PIRBHAI Processus activé Table de décision Rendre la monnaie Distribuer le produit Obtenir une bonne sélection Accepter sélection 1 Rendre paiement 1 Accepter nouvelle pièce Distribuer produit 1 1 Action à exécuter Diapositive n° 39 IUP MIAGE - Université de NANTES Alain VAILLY

40 3) Les DFD, ailleurs M.E.D.A.L.
1 objet = 1 ADFD !!! Action Data Flow Diagrams 3) Les DFD, ailleurs 3.3) Dans la méthode de SHLAER-MELLOR = objet !!! Une version (très) retouchée de ces DFD existe dans la méthode OOA, de SHLAER et MELLOR. En OOA, ces diagrammes fournissent une représentation graphique des processus, de leurs actions et des communications établies entre eux. Ils sont appelés ADFD. ADFD = DFD avec flots conditionnels et flots de contrôle Nom Nom processus producteur-consommateur stockage Nom Nom flot de données flot de contrôle Diapositive n° 40 IUP MIAGE - Université de NANTES Alain VAILLY

41 IUP MIAGE - Université de NANTES
M.E.D.A.L. 3) Les DFD, ailleurs 3.3) Dans la méthode de SHLAER-MELLOR TR12 : température four OK Générer TR12 TR11 N° four Regarder les param. de temps TR12 Temp. Four OK Temp. Four non OK Test pour savoir si le four est plein TR07 Trouvée une coulée pour ce four TR05 Condition N° Four Temps actuel Temps actuel Calcul de la temp. nécessaire TR08 HORLOGE Diapositive n° 41 IUP MIAGE - Université de NANTES Alain VAILLY

42 3) Les DFD, ailleurs M.E.D.A.L.
Modèle Conceptuel de Communication 3) Les DFD, ailleurs 3.4) Dans la méthode Merise Modèle Conceptuel d’Activité Les diagrammes de flots de données n’ont été que tardivement introduit dans Merise (à partir de la version 2), où ils sont tolérés. Ils sont, en effet, présents, sous des noms d’emprunts, à plusieurs « endroits » : Nom activité Nom opération Nom acteur activités opérations partenaires acteurs Nom Nom mémorisation stockage (??) Nom flux de données flot de données Diapositive n° 42 IUP MIAGE - Université de NANTES Alain VAILLY

43 3) Les DFD, ailleurs M.E.D.A.L. Modèle Conceptuel de Communication
3.4) Dans la méthode Merise Commande Administrer les ventes E02 E01 E05 CLIENT E03 E06 Gérer les stocks Et transport E04 Article E08 TRANSPORTEUR Stocker physiquement E08 Diapositive n° 43 IUP MIAGE - Université de NANTES Alain VAILLY

44 3) Les DFD, ailleurs M.E.D.A.L. 3.4) Dans la méthode Merise
Modèle Conceptuel d’Activité Acheter Catalogue Centrale achat Commandes Cdes centrale achat Réassortiment Réceptionner Marchandises Fournisseur Articles reçus Retours Réapprovisionner Etat ventes Invendus Art. en rupture Art.disponibles Articles en vente normale Client Vendre Articles en solde Achats normaux Historique des ventes Achats en solde Articles rendus Diapositive n° 44 IUP MIAGE - Université de NANTES Alain VAILLY

45 3) Les DFD, ailleurs M.E.D.A.L.
3.5) Les DFD et la méthode SADT Actigramme = processus Même si, officiellement, SADT n’utilise pas de diagrammes de flots de données, il y a des ressemblances entre un actigramme et un DFD. Un actigramme sert à modéliser un processus, avec toutes ses composantes : Contrôles Entrées : données à transformer par l’activité Sorties : données transformées par l’activité Sorties Mécanismes : moyens nécessaires pour mettre en œuvre l’activité Activité Contrôles : données dont l’utilisation influe sur le processus Entrées actigramme = DFD avec des données de contrôle et des mécanismes et sans les stockages. Mécanismes Diapositive n° 45 IUP MIAGE - Université de NANTES Alain VAILLY

46 3) Les DFD, ailleurs M.E.D.A.L. 3.5) Les DFD et la méthode SADT
Statistiques de vente Mode Commandes Concevoir Patrons Matières premières Fabriquer Robes Vendre Pas plus de 7 processus par niveau Factures Diapositive n° 46 IUP MIAGE - Université de NANTES Alain VAILLY

47 3) Les DFD, ailleurs M.E.D.A.L. 3.5) Les DFD et la méthode SADT
E1 (dont qualité = fausse) E2 C1 (non C3) M1 S1 S2 (non E1) (non E2) 3) Les DFD, ailleurs 3.5) Les DFD et la méthode SADT Si C1 est vraie et si C3 est fausse et si M1 disponible alors Si qualité (E1) = bonne alors S1, S2 = f(E1, E2) E1 et E2 disparaissent Finsi Préférences Recette Régime Avec des légumes de mauvaise qualité et de la viande, en utilisant le four, et en suivant une recette et sans régime, on produit un plat principal et des épluchures, en faisant disparaître viande et légumes. Viande Epluchures Préparer un plat Légumes Plat principal Fruits Dessert Farine Pâtée du chien Avec des légumes et de la viande, en utilisant le four, et en suivant une recette, on produit un plat principal et des épluchures. Four Cuisinière Robot Si C1 est vraie et si M1 disponible alors S1, S2 = f(E1, E2) Finsi E1 E2 C1 M1 S1 S2 Diapositive n° 47 IUP MIAGE - Université de NANTES Alain VAILLY

48 3) Les DFD, ailleurs M.E.D.A.L.
System Specification Diagram 3) Les DFD, ailleurs 3.6) Les DFD et les SSD de JACKSON La description des traitements, dans la méthode JSD, fait appel aux SSD. Ces SSD sont des DFD bien plus complets et bien moins ambigus. Il y a deux types de processus, des « ordinaires » et d’autres de synchronisation, des flots de données et des vecteurs d’états. P processus entités externes D vecteur état D flot de données flot de données = file d’attente infinie vecteur état = un par processus Diapositive n° 48 IUP MIAGE - Université de NANTES Alain VAILLY

49 IUP MIAGE - Université de NANTES
M.E.D.A.L. dimension N 3) Les DFD, ailleurs 3.6) Les DFD et les SSD de JACKSON P1 D P2 P1 D P2 Plusieurs processus P1 sont connectés à plusieurs processus P2 par un flot D de données, produites par les P1 et consommées par les P2. Le processus P1 est connecté à un processus P2 par un flot D de données produites par P1 et consommées par P2. P1 D P2 P1 D P2 Le processus P2 est connecté à un processus P1 par le vecteur d’état D de P1, P2 lisant directement dans le vecteur de P1. Le processus P2 est connecté à des processus P1 par leur vecteur d’état D, P2 lisant directement dans le vecteur des P1. Diapositive n° 49 IUP MIAGE - Université de NANTES Alain VAILLY

50 3) Les DFD, ailleurs M.E.D.A.L. 3.6) Les DFD et les SSD de JACKSON
La LOI est précisée dans la spécification du processus P3. P1 D P3 P2 E P1 D P3 P2 E Le processus P3 est connecté à deux processus, P1 et P2, par des flots de données D et E. Les flots sont consommés de façon aléatoire. Le processus P3 est connecté à deux processus P1 et P2, par des flots de données D et E. Les flots sont consommés en suivant une loi précise. Diapositive n° 50 IUP MIAGE - Université de NANTES Alain VAILLY

51 IUP MIAGE - Université de NANTES
M.E.D.A.L. 3) Les DFD, ailleurs 3.6) Les DFD et les SSD de JACKSON (schéma dû à M. JACKSON) processus KO Clients Commandes C CO CV OV flot de données vecteur d’état Fonction F3 E F3 Diapositive n° 51 IUP MIAGE - Université de NANTES Alain VAILLY

52 IUP MIAGE - Université de NANTES
M.E.D.A.L. 4) Les DFD, un essai de synthèse 4.1) Ce que sont les DFD processus entité externe Les DFD sont : stockage flot de données - un formalisme largement répandu, - qui correspond à un besoin, - qui souffre d’un certain nombre de défauts : R. FRANCE + ambigu, + non formel, G.P. RANDELL + sans ref. à un modèle qcq de communication Diapositive n° 52 IUP MIAGE - Université de NANTES Alain VAILLY

53 4) Les DFD, un essai de synthèse
M.E.D.A.L. a S P1 X U P2 P3 P4 Y Z T b 4) Les DFD, un essai de synthèse 4.2) Ce qu’il faudrait qu’ils soient Deux questions sans réponse : - X = f (a, b) ou bien X = f (a) ?? - synchrone ou asynchrone ?? Que se passe-t-il à l’entrée ?? Comment passer des entrées aux sorties ?? Les messages arrivés mais pas encore « lus » sont-ils conservés ou bien détruits ? Les DFD doivent « traiter » ces deux problèmes. Diapositive n° 53 IUP MIAGE - Université de NANTES Alain VAILLY

54 IUP MIAGE - Université de NANTES
M.E.D.A.L. 4) Les DFD, un essai de synthèse 4.3) Ce qu’en fait R. FRANCE DFD selon R. FRANCE = formalisme de DE MARCO + notion de flot de contrôle + automates de MEALY !! + notion de file d’attente + ... + notion de paquet de messages flot synchrone flot asynchrone avec variable flot asynchrone avec file d’attente (infinie) Diapositive n° 54 IUP MIAGE - Université de NANTES Alain VAILLY

55 4) Les DFD, un essai de synthèse
M.E.D.A.L. 4) Les DFD, un essai de synthèse 4.3) Ce qu’en fait R. FRANCE i1 Le flot synchrone o1 est composé des flots i1 et i2. o1 i2 i1 Le flot asynchrone avec variable o1 est composé des deux flots i1 et i2. o1 i2 o1 Le flot asynchrone avec file d’attente infinie i1 est éclaté en trois flots o1, o2 et o3. i1 o2 o3 Diapositive n° 55 IUP MIAGE - Université de NANTES Alain VAILLY

56 IUP MIAGE - Université de NANTES
M.E.D.A.L. 4) Les DFD, un essai de synthèse 4.4) Ce qu’en fait G.P. RANDELL DFD selon G.P. RANDELL = formalisme de DE MARCO + nommage des flots relativement aux processus + lien entre entrées (ou sorties) i1 flot nommé flots liés Diapositive n° 56 IUP MIAGE - Université de NANTES Alain VAILLY

57 4) Les DFD, un essai de synthèse
M.E.D.A.L. 4) Les DFD, un essai de synthèse 4.4) Ce qu’en fait G.P. RANDELL P i1 i1 ou i2 suffit à déclencher le processus P. o1 i2 i1 et i2 sont nécessaires pour déclencher le processus P. i1 P o1 i2 a b P La prise en compte par P de i1 produira o2 ; celle de i2 donnera o1. i1 o1 i2 a o2 b Diapositive n° 57 IUP MIAGE - Université de NANTES Alain VAILLY

58 IUP MIAGE - Université de NANTES
M.E.D.A.L. 4) Les DFD, un essai de synthèse 4.4) Ce qu’en fait G.P. RANDELL o1 b No Comment ! P a o2 i2 i3 i1 b a avec extensions D o1 P i2 o2 i3 i1 sans extensions D Diapositive n° 58 IUP MIAGE - Université de NANTES Alain VAILLY

59 IUP MIAGE - Université de NANTES
M.E.D.A.L. 5) Conclusion Formalisme utile … à la condition que l’on ajoute les extensions proposées par : G. P. RANDELL indispensable R. FRANCE souhaitable Diapositive n° 59 IUP MIAGE - Université de NANTES Alain VAILLY

60 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 C. ASHWORTH, M. GOODLAND, « SSADM, a practical approach », Mc Graw Hill Book Company Europe, 1990, ISBN Pour compléter la formation ... Diapositive n° 60 IUP MIAGE - Université de NANTES Alain VAILLY

61 IUP MIAGE - Université de NANTES
M.E.D.A.L. Fin Diapositive n° 61 IUP MIAGE - Université de NANTES Alain VAILLY


Télécharger ppt "Module d’Enseignement à Distance pour l’Architecture Logicielle"

Présentations similaires


Annonces Google