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

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 ’