rdp à prédicats estpèrede : {(andré, paul), (paul, jean), (claude, jules)} jean paul x y y est...
TRANSCRIPT
![Page 1: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/1.jpg)
![Page 2: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/2.jpg)
RDP à prédicatsestPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)}
JeanPaul
x
y
y est le père de x
Jean
André
x
y
y est le père de x
RDP à prédicats
![Page 3: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/3.jpg)
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"
![Page 4: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/4.jpg)
GRAFCET
descendre
avancer
1
2
3
4 monter reculer
![Page 5: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/5.jpg)
GRAFCET
Action A
Action B
2
3
Variablesd ’entrée Variables
de sortie
![Page 6: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/6.jpg)
![Page 7: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/7.jpg)
![Page 8: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/8.jpg)
![Page 9: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/9.jpg)
![Page 10: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/10.jpg)
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.
![Page 11: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/11.jpg)
![Page 12: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/12.jpg)
![Page 13: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/13.jpg)
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.
![Page 14: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/14.jpg)
SADT
Verbe (actigramme)Nom (datagramme)
entrées sorties
contrôle
mécanismes
![Page 15: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/15.jpg)
SADT
pondre
casser
oeuf
omelette
omelette
manger
pondre
oeuf
casser
![Page 16: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/16.jpg)
SADTConsidé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.
![Page 17: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/17.jpg)
SADTConsidé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.
![Page 18: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/18.jpg)
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.
![Page 19: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/19.jpg)
SADT
![Page 20: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/20.jpg)
SADTLa 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 !
![Page 21: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/21.jpg)
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
![Page 22: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/22.jpg)
SADTLa 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.
![Page 23: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/23.jpg)
SADT5) 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-leCe qui est écrit doit être relu. Le relecteur doit faire part de ses remarques par écrit.
7) Les écrivains et les lecteursTout 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.
![Page 24: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/24.jpg)
alternativeséquence
séquence itérative
Composition par :- séquencement- nichage
Notation de LCP (J.D. Warnier)
![Page 25: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/25.jpg)
LCP
Séquence d ’unealternative suivied ’une itérative
![Page 26: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/26.jpg)
LCPNichage d ’uneitérative dans unebranche d ’alternative
![Page 27: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/27.jpg)
Notation de Jackson (JSP)
*
Séquence
Itérative
Aternative
![Page 28: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/28.jpg)
JSP
* Un des éléments dela séquence est uneitération d ’alternative
![Page 29: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/29.jpg)
LCP
Date réception
Cde(c)
N° cde
N°Client
Prod(p)
N° produit
Quantité cdée
Cde(c)
N°cde
N°Client
Grossiste
Détaillant
![Page 30: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/30.jpg)
LCS
structure
clients
Donnéesgénérales
fournisseurs
interne
externe
DG
interne
externe
DG
De produits finis
DG
![Page 31: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/31.jpg)
LCS
Base
Clients
Produits
DG
échanges
DG
échanges
DG
régions
Cdes
Factures
Cdes
Factures
N°client
N° cde
N° fact
N° prod
N°cde, N°prod
N° fac, N° prod
N°rég
N° rég
N° client
N° cde
N° Cde
identification application
![Page 32: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/32.jpg)
Diagrammes de Nassi-Shneidermann
![Page 33: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/33.jpg)
Diagrammes de séquenceAsynchronesDeux diagrammes sont équivalents si l ’ordre des actions pour chaqueprocessus est le même.
p1 p2 p3 p4 p1 p2 p3 p4
c1
c2
c3
c4
c2
c3
c1
c4Diagrammeséquivalents
![Page 34: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/34.jpg)
Diagrammes de séquence
p1 p2 p3c1
c2
c3c4
c1
c2
c3
c4
p1 p2 p3
c1
c2
c3
c4
p1 p2 p3 p4
3 diagrammes asynchrones mutuellement distincts
![Page 35: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/35.jpg)
Diagrammes de séquence
Synchrones
Les flèches sont horizontales
c1
c2
c3
c4
p1 p2 p3
![Page 36: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/36.jpg)
Ordonnancement
50 30 40 10
50
30
40
10
2 1 0 3
![Page 37: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/37.jpg)
Ordonnancement
1 2 3
40
30
50
10
Tableau synoptique
![Page 38: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/38.jpg)
HOS (Hamilton, Zeldin)
y = f0 (x)
y = f2 (g) g = f1 (x)
join
(y1, y2) = f0 (x1, x2)
include
y1 = f1 (x1) y2 = f2 (x2)
y = f0 (x)
or
y = f2 (x)si C
y = f1 (x)si non C
![Page 39: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/39.jpg)
HOS
Tabouret = faire un tabouret (pieds, dessus)
Tabouret =assembler(dessus, pied)
Pieds, dessus = faire parties (bois de dessus, bois de pieds )
Dessus = faire dessus(bois de dessus)
Pieds = faire pieds (bois de pieds )
join
include
Pieds = sculpter(bois de pieds )
Pieds = découper(bois de pieds )
or
Bois de pied dur Bois de pied tendre
![Page 40: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/40.jpg)
HOS
(y1, y2) = f0 (a, b)
Co-include
y1 = f2 (a, b) y2 = f1 (b)
f1
f2
b
a
y2
y1
(y1, y2)
![Page 41: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/41.jpg)
Arêtes d ’Ischikawa
Qualité totale
processus
produit
exploitabilité
maintenabilité
Capacité à prévoir
Capacité à réaliser
Capacité à contrôler
![Page 42: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/42.jpg)
« flots de données » et automates
1
2
CTRL
3
X
Y
Signal X
Activer t 2
Signal Y
Activer t3
État 1
Etat 2
Etat 3
![Page 43: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/43.jpg)
Analyse transactionnelle
décision biosis mitosis
jonction absorption conjugaison
Choix 1
Choix 2
parent
parent
fille
fille
fille
Chemin 1
Chemin 2
suite
prédateur
projet
prédateur
parent
fille
parent
![Page 44: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/44.jpg)
Analyse transactionnelle
décision biosis mitosis
Choix 1
Choix 2
parent
fille fille
parent filleDivergences
Biosis : la transaction parent peut donner naissance à une nouvelletransaction fille, mais seule la transaction parent conserve son identité
Mitosis : une transaction parent donne naissance à des transactions filles
![Page 45: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/45.jpg)
Analyse transactionnelle
jonction absorption conjugaison
suite
prédateur
projet
prédateur
parent
fille
parent
Convergences
Chemin 1
Chemin 2
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 donnernaissance à une transaction fille.
![Page 46: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/46.jpg)
Graphe de transition/ CCS
Din
Out0 ’
Out1 ’
D def in . (out0 ’ . D) + out1 ’ . D)
in . (out0 ’ . D) + out1 ’ . D)
(out0 ’ . D) + out1 ’ . D)
Out0 ’
in
Out1 ’
![Page 47: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/47.jpg)
Schéma d ’opération
données
Opération
![Page 48: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/48.jpg)
HIPO
2-1 2-2 2-2
Donnéesde base
mouvts
process outputinput
1-
2-
3-
-4
![Page 49: RDP à prédicats estPèreDe : {(André, Paul), (Paul, Jean), (Claude, Jules)} Jean Paul x y y est le père de x Jean André x y y est le père de x RDP à prédicats](https://reader035.vdocuments.site/reader035/viewer/2022062621/551d9d8e497959293b8c3f30/html5/thumbnails/49.jpg)
Diagramme de Gantt
ti tjth
ti ’ tj ’
temps
ti
tj
tj ’étape
titj
tj ’