SART OBJECTIF n SART n n CONCEPTS GENERAUX
SA/RT.
OBJECTIF n .
SA/RT n n CONCEPTS GENERAUX DESCRIPTION DETAILLEE
SA/RT n ANALYSE DES SYSTEMES TEMPS REELS
METHODE DE DECOMPOSITION
METHODES PRECEDANTES n UNIQUEMENT FONCTIONNELLES
SA/RT ET LES TROIS AXES D'ANALYSE
SA/RT ET IM n DEUX DIALECTES SA/RT – HATLEY & PIRBHAI – WARD & MELLOR n Systeme Analysis Real Time – SA : GRAPHIQUES FONCTIONNELS – RT : GRAPHIQUES DE LA DYNAMIQUE – DECOMPOSITION DES DONNEES PAR TEXTES n Information Modeling – Entité/Associations de CHEN – GRAPHIQUE DE RELATIONS ENTRE DONNEES
DEUX DIALECTES SA/RT n n HATLEY & PIRBHAI WARD & MELLOR
TROIS FORMALISMES SA/RT n n n SA : GRAPHIQUES FONCTIONNELS RT : GRAPHIQUES DE LA DYNAMIQUE DESCRIPTION TEXTE DES DONNEES
SA/RT DANS LE CYCLE DE VIE
SA/RT USAGE n n SPECIFICATION DES BESOINS DU SYSTEME SPECIFICATION DES BESOINS DU LOGICIEL ARCHITECTURE LOGIQUE DU LOGICIEL ARCHITECTURE DYNAMIQUE DU LOGICIEL
DIAGRAMME DE CONTEXTE
LES OBJETS DU DIAGRAMME DE CONTEXT n n PROCESS / PROCESSUS TERM / TERMINAISON DATA FLOW / FLOT DE DONNEES CONTROL FLOT / FLOT DE CONTROLE
HATLEY PIRBHAI DFD 0
WARD & MEILLOR DFD 0
LES OBJETS DU DFD n n PROCESS / PROCESSUS STORE / RESERVOIR CSPEC DATA FLOW / FLOT DE DONNEES – DISCRET – CONTINU n n CONTROL FLOT / FLOT DE CONTROLE ACTIVATOR / ACTIVATEUR
DIFFERENCES ENTRE DIALECTES n HATLEY & PIRBHAY – CSPEC = BARRE VERTICALE – CONTROLE = DISCRET A PLUSIEURS ETATS – COMMANDES SUR LES FONCTIONS » NON VISUALISEES » ENABLE, DISABLE n WARD & MEILLOR – – CSPEC = BULLE EN POINTILLES CONTROLE = DISCRET MONO ETAT FLOTS DE DONNEES DISCRETS OU CONTINUS COMMANDES SUR LES FONCTIONS » NON VISUALISEES » ENABLE, DISABLE, TRIGGER, ACTIVATE
DFD DECOMPOSITION
PSPECIFICATION DE PROCESSUS @IN = AUTRE FLOT DONNEE @IN = FLOT DE DONNEE EN ENTREE @IN = PARTIE A @OUT = AUTRE INFORMATION @PSPEC F 1. 1 -- AUTRE FLOT DONNEE SI "AUTRE FLOT DONNEE" = "FLOT DE DONNEE EN ENTREE" ALORS ENVOYER "AUTRE INFORMATION" FIN SI @
STORE/RESERVOIR n n CONSTANTE DE PARAMETRAGE ZONE DE COMMUNICATION ASYNCHRONE
SA/RT STRUCTURE
CSPEC EN TROIS PHASES
CSPEC STD COMBINE
LE DICTIONNAIRE n n SYNTAXE BNF ATTRIBUTS PRIMITIF/DECOMPOSE ALIAS
SA/RT et les outils n n n TEAMWORK CARDTOOLS SELECT
LE DICTIONNAIRE n n n FLAG = ["TRUE"|"FALSE"] COUPLE = SITE + GISEMENT VECTEUR = { COORDONNEE } VECTEUR = 2 { COORDONNEE } 3 DONNEE OPTIONNELLE
ECRIRE UNE SPECIFICATION n ECRIRE UNE SPECIFICATION – LA DEMARCHE – LA CONCEPTION – LES OUTILS n (LA METHODE PURE ET DURE)
DEMARCHE I n ACQUERIR LES INFORMATIONS – LISTES » VERBE = PROCESSUS » NOM = FLOT/TERMINAISON – LES TRIER, LES CATALOGUER » TERMINAISON, DONNEES EXTERNES, FONCTIONS PRINCIPALES. . . n DEFINIR LE CONTEXTE – NE PAS DEFINIR TROP TOT LES FLOTS – GROUPER LES FLOTS – TYPER CONTROLE LES DISCRETS QUI RISQUENT DE CHANGER L'ETAT DU SYSTEME
DEMARCHE II n DECOMPOSER LE PREMIER NIVEAU – 3 à 7 FONCTIONS – FAVORISER LA VALIDATION – IGNORER LES DETAILS DE TRAITEMENT DES ENTREES/SORTIES, LA MAINTENACE, L'ERGONOMIE – NE PAS SE DISPERSER – PLACER LES FLOTS DE DONNEES EXTERNES – DECOMPOSER LES FLOTS SUR LE DFD, DANS LE DICTIONNAIRE – (PLACER UNE CSPEC+CONTROLES)
DEMARCHE III n n n AJOUTER LES FLOTS INTERNES, LES RESERVOIRS DEFINIR LA CSPEC DEFINIR LES PSPEC DECOMPOSER LES PROCESSUS TERMINAUX COMPLETER LE MODELE ESSENTIEL – ENTREES/SORTIES – ERGONOMIE – MAINTENANCE n INTEGRER LE MODELE DANS LA SPECIFICATION
DEMARCHE LA CSPEC n PHASE COMBINATOIRE DT – COMBINAISONS COMPLEXES DE CONTROLES n PHASE AUTOMATE STD – ACTIONS DEPENDANT DE L'ETAT ANTERIEUR n PHASE ACTIVATION DE PROCESSUS – PEU D'ETATS – BEAUCOUP D'ACTIONS
PLAN TYPE DE SPECIFICATION n n DIAGRAMME DE CONTEXTE DANS CHAPITRE DESCRIPTION DES INTERFACES DESCRIPTION DES TERMINAISONS DANS LA SOUS-SECTIONS – INTERFACE LOGICIEL, INTERFACE MATERIEL, INTERFACE HOMME/MACHINE) n DICTIONNAIRES EN ANNEXE
PLAN TYPE DE SPECIFICATION n DANS SECTION SPECIFICATIONS FONCTIONNELLES L'ARBRE SA/RT A PARTIR DU DFD 0 X spécifications fonctionnelles DFD 0 + [CSPEC 0] + texte X. 1 DFD 1 + [CSPEC 1] + texte X. 1. 1 DFD 1. 1 + [CSPEC 1. 1] + texte X. 1. 1. 1 PSPEC 1. 1. 1 nom des entrées traitement nom des sorties. . . X. 2 DFD 2 + [CSPEC 2] + texte. .
PLANS-TYPES 2167 A n n DEMARCHE IDENTIQUE SAUF – EN SPECIFICATION SYSTEME CSPEC 1 DANS SECTION "MODES PRINCIPAUX DE FONCTIONNEMENT
DOCUMENTATION SOUS TEAMWORK n n n PLAN GERE SOUS SD TEXTE SAISI SOUS EDITEUR. COMMANDES PARTICULIERES – INSERER UNE FIGURE – D'INSERER UN ARBRE A PARTIR D'UN NOEUD SPECIFIE (EX DFD 0) – INSERER UN DICTIONNAIRE – INSERER LE RESULTAT D'UN EXECUTABLE n n SORTIE VERS FRAMEMAKER OU INTERLEAF ADAPTATION : SORTIE VERS WORD (RTF)
DOCUMENTATION SOUS SELECT n PAR COUPER-COLLER ISOLE VERS WORD – PLANCHE PAR PLANCHE – SANS LIEN n RAPPORT : DICTIONNAIRE
CONSEILS : NE PAS. . . n n n DUPLIQUER LES INFORMATIONS (LES REFERENCER) DISPERSER LES INFORMATIONS ENTRER TROP DANS LES DETAILS ENTRER DANS LA CONCEPTION CHER LA PERFECTION
CONSEILS n ISOLER AILLEURS – LES REGLES GENERALES – LES MODES DEGRADES n n n FAVORISER LA VALIDATION FIXER UNE DUREE LIMITE POUR LA SPECIFICATION SE CONTENTER D'UN PLACEMENT GROSSIER AU DEBUT ET LES FINALISER AVANT LIVRAISON
STRATEGIES D'EMPLOI n n PETITS LOGICIELS : APPLIQUER LA METHODE GROS LOGICIELS : N'APPLIQUER LA METHODE QU'A TRES HAUT NIVEAU
GROS LOGICIELS UTILISATION COMPLETE n n SI FONCTION DE SIMULATION EFFICACE INTEGREE A L'OUTIL POUR MAQUETTAGE. SYNERGIE IMPORTANTE ENTRE SPECIFICATION ET DE CONCEPTION – – CONCEPTION NON OPTIMUM CONCEPTION ECONOMIQUE MOINS D'ERREUR DE CONCEPTION TESTS ECONOMIQUES
STRATEGIE SYNERGIE SPECIFICATION/CONCEPTION n n n NE CONSERVER QUE LES PREMIERS NIVEAUX POUR LA SPECIFICATION. UTILISER LE MODELE ENTIER POUR L'ARCHITECTURE LOGIQUE. ATTRIBUER A CHAQUE BULLE TERMINALE UN SOUS-PROGRAMME DONT LA CONCEPTION DETAILLEE EST CONTENUE DANS LA PSPEC. CALQUER LES BAS NIVEAUX DE L'ARCHITECTURE PHYSIQUE SUR LA STRUCTURE SA/RT. LES HAUTS NIVEAUX PEUVENT ETRE REORGANISES EN FONCTION DES
PASSAGE A LA CONCEPTION n n ARCHITECTURE LOGIQUE ARCHITECTURE DYNAMIQUE METHODE WARD&MEILLOR – DFD PROCESSUS = CPU – DFD PROCESSUS = TACHE – UTILISER ENSUITE LA METHODE SD n n ARCHITECTURE PHYSIQUE : SD CONCEPTION ORIENTEE OBJET
PASSAGE SA/RT SD
PASSAGE SA/RT SD
CONSEIL TEAMWORK. LOGIN # teamwork if ( -f /cadre/tsa/com/teamwork) then setenv PATH $PATH: /cadre/tsa/com: /cadre/tool_kit: /cadre/admin endif n n n /cadre/tsa/com : teamwork /cadre/tool_kit : twkdpi_work /cadre/admin : load_tsa dump_tsa
CONSEIL TEAMWORK n n PLUSIEURS REPRESENTATIONS SONT POSSIBLES CHOISIR TOUJOURS LA PLUS LISIBLE
CONSEIL TEAMWORK DFD PREFIXER LES FLOTS DDE : A = B + C DFD 1 A A. B 1. 1 1 A. C 1. 2
CONSEIL TEAMWORK ALLEGER LES DIAGRAMMES A A+B B
CONSEIL TEAMWORK ANNOTER/COMMENTER LES DFD n n TITRE Information* : avant les planches TITRE Conclude* : après les planches * COMMENTAIRE SUR DFD *
CONSEIL TEAMWORK FLOTS MODIFIEURS DE FLOT n n n <prefixe>flot 1 seule définition dde pour flot <prefixe>distingue une instance de flot d’une autre
CONSEIL TEAMWORK STD n MACHINE DE MEALY
CONSEILS TEAMWORK STD n n n SUR DES AUTOMATES COMPLEXES UTILISER LES Tables de Décision UTILISER LES Tables d’Activation de Process voir UTILISER LES Matrices States Events voir UTILISER PLUSIEURS AUTOMATES TD STD/SEM PAT
CONSEILS TEAMWORK STD n SUR DES AUTOMATES SIMPLES UTILISER DES OPERATEURS BOOLEENS SUR LES CONDITIONS POUR EVITER LES TD TD STD INDIQUER DIRECTEMENT LES PROCESSUS A ACTIVER OU DESACTIVER POUR EVITER LES TAP PAT
CONSEILS TEAMWORK STD UTILISER NE PAS UTILISER n n ACTIVATE (A) DISABLE (D) ENABLE (E) TRIGGER (T) n n n SUSPEND (S) KILL (K) ENABLE_FLUSH (EF) DISABLE_FLUSH (DF) KILL_FLUSH (KF) RESUME (R)
CONSEIL TEAMWORK PSPEC n ARRETER LA DECOMPOSITION DFD – SI LA FONCTION PEUT ETRE DECRITE EN 1 PAGE n n UTILISEZ LA FORME LA PLUS CLAIRE PREFERER LE TEXTE LIBRE AU PSEUDOCODE
CONSEIL TEAMWORK DDE n n NE PAS DECOMPOSER TROP TOT Extended Attributes Template – – Data Flow Data/Control Flow Store * commentaire * définition BNF. -------attribut valeur;
CONSEIL TEAMWORK DOCUMENTATION SPECIFICATION WORD. DOC SD + twkdpi_word INTERFACE CONTEXTE. rtf diagramme de contexte. epf FONCTIONS. rtf ANNEXE. rtf DFD/CSPEC/PSPEC DICTIONNAIRE figures dfd/cspec/dt. epf
CONCLUSION n n n AVANTAGES : COHERENCE ET COMPLETUDE RISQUES : QUALITE UTILISER SA/RT – A HAUT NIVEAU – OU LIER SPECIFICATION ET CONCEPTION
LE MODELE ENTITE ASSOCIATION DE CHEN
EXEMPLE DC
EXEMPLE DFD 0
CONTROLER LA VITESSE
CHOISIR LE MODE
PILOTER L'ACTIVATEUR
CHOISIR MODE ASSERVISSEMENT
SELECTIONNER LA VITESSE
- Slides: 67