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.

Présentation au sujet: "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."— Transcription de la présentation:

1

2 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

3 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"

4 GRAFCET 1 2 descendre 3 avancer 4 monter reculer

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

6

7

8

9

10 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.

11

12

13 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.

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

15 SADT pondre oeuf casser omelette pondre oeuf casser omelette manger

16 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.

17 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.

18 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.

19 SADT

20 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 !

21 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

22 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.

23 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.

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

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

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

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

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

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

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

31 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

32 Diagrammes de Nassi-Shneidermann

33 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

34 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

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

36 Ordonnancement 50 30 40 10 2 1 3

37 Ordonnancement 1 2 3 40 30 50 10 Tableau synoptique

38 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

39 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 )

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

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

42 « 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

43 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

44 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

45 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.

46 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)

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

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

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