RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Jean Paul x x y est le père de x y est le père de x y y André RDP à prédicats

GRAFCET 1) Décrit l'algorithme de la partie commande d'un automatisme 2) Niveaux de description Attention au vocabulaire : ici est une action physique est ici du niveau "fonction"

GRAFCET 1 2 descendre 3 avancer 4 monter reculer

GRAFCET 2 Action A Variables d ’entrée Variables de sortie 3 Action B

Les règles de franchissement du GRAFCET Règle 1 : Toute transition franchissable est immédiatement franchie Règle 2 : Plusieurs transitions simultanément franchissables sont simultanément franchies Règle 3 : Lorsqu'une étape doit être simultanément activée et désactivée, elle reste active.

SADT 1) Des boîtes et des flèches "entrées" les flèches horizontales entrant dans la boîte ; "sorties" les flèches horizontales sortant de la boîte. Les flèches venant du bas du schéma vers le bas de la boîte sont des "mécanismes". Celles venant du haut du schéma et pointant vers le haut de la boîte sont des flèches de "contrôle". 2) Les Actigrammes et les datagrammes Si dans la boîte on met comme étiquette un verbe, on a un actigramme. Si on met un nom, on a un datagramme.

SADT contrôle sorties entrées Verbe (actigramme) Nom (datagramme) mécanismes

SADT pondre oeuf casser omelette pondre oeuf casser omelette manger

SADT Considérons les actigrammes : - la boîte représente une action - les entrées sont transformées en sorties par l'action. Elles sont interprétées comme étant des données. - le mécanisme effectue la transformation (nous pouvons interpréter ainsi : "le mécanisme est le processeur", l'action étant "le processus") - il nous est dit que le "contrôle" est comme le catalyseur, il n'est pas transformé par l'opération mais permet la transformation. Certains interprètent cette phrase en considérant les flèches de contrôle comme représentant des consignes, un algorithmes... D'autres l'interprètent comme un déclencheur.

SADT Considérons les datagrammes : - la boîte représente des données - les entrées représente les actions qui produisent les données de la boîte - les sorties représente les actions qui utilisent les données de la boîte - le mécanisme est le support des données - en ce qui concerne les flèches de contrôle, il est difficile de leur donner une interprétation. Point de méthode : Il est demandé de faire des actigrammes et des datagrammes et de vérifier la cohérence entre les deux représentations. Nous n'avons jamais vu quelqu'un faire cela dans la pratique.

SADT 3) On ouvre la boîte Une boîte est décomposée en d'autres boîtes. On applique une décomposition hiérarchique : une boîte est à l'intérieur au plus d'une seule boîte de niveau immédiatement supérieur. Il faut qu'une flèche en entrée d'une boîte B1 se trouve en entrée d'une des boîtes qui composent B1. Il faut qu'une flèche en sortie d'une boîte B1 se trouve en sortie d'une des boîtes qui composent B1.

SADT

SADT La première boîte On fait un premier schéma qui s'appelle "diagramme de niveau 0". C'est le système vu d'avion. On voit la boîte, ses entrées et ses sorties, son "mécanisme" et son "contrôle". Une fois entré dans la boîte, on ne voit plus que des "ports" (des portes). Point de méthode Il est demandé de décomposer une boîte en au moins trois boîtes et en pas plus de 7 boîtes (le fameux nombre 7 !). Notons que déjà, avec trois boîtes, on n'y voit plus grand chose !

SADT 4) SADT , notation formelle ? Une syntaxe formelle, oui (et encore, on trouve en pratique un peu de tout). Il faut respecter le sens des flèches relativement aux boîtes et respecter la règle qui veut que la décomposition soit hiérarchique et que une flèche entrant dans une boîte entre dans une des boîtes de la boîte... Une sémantique formelle, non. On ne sait trop ce que sont les entrées, les sorties, les mécanismes, les contrôles

SADT La notion de transformation n'est pas claire. Si j'ai une action qui est une addition, cette action ne transforme pas des entrées (par exemple 5 et 2) en sortie (7) ! En informatique, les entrées ne sont pas des flots de matière. Il ne faut pas confondre physique et information. Il est à noter que le livre de base sur SADT ne donne que des exemples relatifs à des systèmes physiques.

SADT 5) Principes de présentation Il est demandé de mettre la diagonale des boîtes d'une boîte sur la diagonale de cette dernière boîte. Ainsi la lecture est facilité. On met des étiquettes aux flèches. Les étiquettes sont reliées aux flèches par un zig zag. 6) Vous voulez le dire, alors écrivez-le Ce qui est écrit doit être relu. Le relecteur doit faire part de ses remarques par écrit. 7) Les écrivains et les lecteurs Tout ce qui est écrit doit être relu. Celui qui relit doit faire part de ses remarques par écrit. Celui qui reçoit les remarques doit y répondre par écrit, etc. jusqu'à ce qu'il y ait consensus sur le contenu du document.

Notation de LCP (J.D. Warnier) séquence alternative séquence itérative Composition par : - séquencement - nichage

LCP Séquence d ’une alternative suivie d ’une itérative

LCP Nichage d ’une itérative dans une branche d ’alternative

Notation de Jackson (JSP) Aternative Séquence Itérative *

JSP Un des éléments de la séquence est une itération d ’alternative *

LCP Date réception N°cde N° cde Grossiste N° produit Prod Cde Cde (p) Quantité cdée N°Client Détaillant N°Client

LCS interne fournisseurs externe DG interne structure De produits finis clients externe DG DG Données générales

LCS N°client N° rég DG Cdes N° cde N° client Clients échanges N° fact Factures DG N° prod Base Cdes N°cde, N°prod Produits échanges Factures N° fac, N° prod N° Cde DG N°rég régions identification application

Diagrammes de Nassi-Shneidermann

Diagrammes de séquence Asynchrones Deux diagrammes sont équivalents si l ’ordre des actions pour chaque processus est le même. p1 p2 p3 p4 p1 p2 p3 p4 c2 c1 c1 c2 c3 c3 c4 Diagrammes équivalents c4

Diagrammes de séquence 3 diagrammes asynchrones mutuellement distincts p1 p2 p3 p1 p2 p3 p1 p2 p3 p4 c1 c1 c1 c2 c2 c2 c3 c3 c3 c4 c4 c4

Diagrammes de séquence Synchrones Les flèches sont horizontales p1 p2 p3 c1 c2 c3 c4

Ordonnancement 50 30 40 10 50 30 40 10 2 1 3

Ordonnancement 1 2 3 40 30 50 10 Tableau synoptique

HOS (Hamilton, Zeldin) y = f0 (x) (y1, y2) = f0 (x1, x2) join include y = f2 (g) g = f1 (x) y = f0 (x) or y = f2 (x) si C y = f1 (x) si non C

HOS Tabouret = faire un tabouret (pieds, dessus) join Pieds, dessus = faire parties (bois de dessus, bois de pieds ) Tabouret = assembler (dessus, pied) Pieds = faire pieds (bois de pieds ) Dessus = faire dessus (bois de dessus) include or Bois de pied tendre Bois de pied dur Pieds = sculpter (bois de pieds ) Pieds = découper (bois de pieds )

HOS (y1, y2) = f0 (a, b) f1 y2 (y1, y2) b Co-include y1 a f2 y2 = f1 (b)

Arêtes d ’Ischikawa exploitabilité Qualité totale produit maintenabilité processus Capacité à prévoir Capacité à réaliser Capacité à contrôler

« flots de données » et automates X État 1 1 CTRL Signal X Activer t 2 Y Etat 2 Signal Y 2 3 Activer t3 Etat 3

Analyse transactionnelle parent fille Choix 1 parent fille Choix 2 fille décision biosis mitosis prédateur parent Chemin 1 suite prédateur fille projet parent Chemin 2 jonction absorption conjugaison

Analyse transactionnelle Divergences parent fille Choix 1 parent fille Choix 2 fille décision biosis mitosis Biosis : la transaction parent peut donner naissance à une nouvelle transaction fille, mais seule la transaction parent conserve son identité Mitosis : une transaction parent donne naissance à des transactions filles

Analyse transactionnelle Convergences prédateur parent Chemin 1 suite prédateur fille Chemin 2 projet parent jonction absorption conjugaison Absorption : une transaction prédateur absorbe une proie. Seule l ’identité de la transaction prédateur est conservée Conjugaison : deux transactions parentes s ’assemblent pour donner naissance à une transaction fille.

Graphe de transition/ CCS Out0 ’ in D Out1 ’ in . (out0 ’ . D) + out1 ’ . D) D def in . (out0 ’ . D) + out1 ’ . D) in Out1 ’ Out0 ’ (out0 ’ . D) + out1 ’ . D)

Schéma d ’opération données Opération

HIPO 2-2 2-1 2-2 input process output 1- mouvts 2- Données de base 3- -4

Diagramme de Gantt ti tj th tj ’ ti ’ temps tj tj ti étape ti tj ’