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
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
descendre
avancer
1
2
3
4 monter reculer
GRAFCET
Action A
Action B
2
3
Variablesd ’entrée Variables
de sortie
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
Verbe (actigramme)Nom (datagramme)
entrées sorties
contrôle
mécanismes
SADT
pondre
casser
oeuf
omelette
omelette
manger
pondre
oeuf
casser
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.
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.
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
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 !
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
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.
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.
alternativeséquence
séquence itérative
Composition par :- séquencement- nichage
Notation de LCP (J.D. Warnier)
LCP
Séquence d ’unealternative suivied ’une itérative
LCPNichage d ’uneitérative dans unebranche d ’alternative
Notation de Jackson (JSP)
*
Séquence
Itérative
Aternative
JSP
* Un des éléments dela séquence est uneitération d ’alternative
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
LCS
structure
clients
Donnéesgénérales
fournisseurs
interne
externe
DG
interne
externe
DG
De produits finis
DG
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
Diagrammes de Nassi-Shneidermann
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
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
Diagrammes de séquence
Synchrones
Les flèches sont horizontales
c1
c2
c3
c4
p1 p2 p3
Ordonnancement
50 30 40 10
50
30
40
10
2 1 0 3
Ordonnancement
1 2 3
40
30
50
10
Tableau synoptique
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
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
HOS
(y1, y2) = f0 (a, b)
Co-include
y1 = f2 (a, b) y2 = f1 (b)
f1
f2
b
a
y2
y1
(y1, y2)
Arêtes d ’Ischikawa
Qualité totale
processus
produit
exploitabilité
maintenabilité
Capacité à prévoir
Capacité à réaliser
Capacité à contrôler
« 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
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
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
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.
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 ’
Schéma d ’opération
données
Opération
HIPO
2-1 2-2 2-2
Donnéesde base
mouvts
process outputinput
1-
2-
3-
-4
Diagramme de Gantt
ti tjth
ti ’ tj ’
temps
ti
tj
tj ’étape
titj
tj ’