1

ProjetsLogiciels
IntroductionlamodlisationfonctionnelleSADT

1.Cycle de vie d'un logiciel

La production d'un logiciel comprend plusieurs tapes et s'tend sur une longue priode de temps.
Le cycle de vie d'un logiciel correspond la priode de temps qui dbute au moment de la prise de
dcision du dveloppement et qui se termine lorsque le produit logiciel n'est plus maintenu.
Un cycle de vie est donc une reprsentation idalise des principales activits durant le processus de
dveloppement. Il existe diffrents types de cycle de vie mais chacun de ces types :

vise tablir un paradigme de dveloppement (une faon de faire) ;

dfinit les activits et produits du projet ;

fournit un vocabulaire commun entre tous les intervenants ;

rend le processus de dveloppement visible et contrlable en fournissant des jalons de repre ;

aide mieux voir les relations entre les diffrents aspects de ce processus.

En L2, nous nous appuierons sur le cycle de vie suivant (nomm cycle en cascade) :
1. Dfinitions des besoins.
2. Analyse fonctionnelle
3. Conception et implmentation.
4. Livraison.
5. Maintenance et / ou volutions.

2.Analyse fonctionnelle : la mthode SADT

La suite du cours n'est pas une description complte de la mthode SADT. Il s'agit de prsenter les
points intressants pour les projets de programmation en L2.

1 La mthode SADT
La mthode SADT (Structured Analysis Design Technic) est une mthode d'analyse hirarchique et
descendante apparue en 1977 au sien de la socit Sof'Tech Inc. Elle a t introduite en Europe
partir de 1982. Les auteurs la prsentent comme une mthode pour communiquer des
problmes .
La mthode SADT est fonde sur un formalisme graphique et textuel facile apprendre. Elle
permet d'une part de modliser le problme pos (informatique, automatique ou autre), avant de
chercher en extraire une solution, et d'autre part d'assurer une communication efficace entre les
diffrents intervenants concerns par le systme analyser.
La mthode SADT est l'origine conue pour s'appliquer des systmes automatiss. Elle est
cependant suffisamment gnrale pour tre applique des logiciels bien spcifis comme c'est le
T. Lemeunier (IUP MIME, Le Mans), E. Delozanne (Universit Paris 5)

Introduction la modlisation fonctionnelle

SADT

2
cas dans le projet que vous avez raliser.

2 Le langage SADT
Le langage SADT est compos de diagrammes (datagrammes et actigrammes) obtenus par
raffinements successifs et organiss en hirarchie. Plus concrtement, il s'agit de botes et de flches
utilises pour reprsenter les notions suivantes :
Les entres : ce sont les flches horizontales entrant dans les botes.
Les sorties : ce sont les flches horizontales sortant des botes.
Les mcanismes : ce sont les flches venant du bas du schma vers le bas des botes.
Les contrles : les flches venant du haut du schma et pointant vers le haut des botes.
Les actigrammes :
La bote reprsente une action (indique par un verbe l'infinitif).
Les entres sont transformes en sorties par l'action ou servent alimenter laction. Elles ne
sont donc pas forcment modifies mais sont necessaires au fonctionnement de laction. Elles
sont interprtes comme tant des donnes.
Le mcanisme effectue la transformation (nous pouvons interprter ainsi : le mcanisme est le
processeur , l'action tant le processus ).
Le contrle n'est pas transform par l'action mais permet la transformation. Le contrle peut
tre vu soit comme des paramtres ou soit comme un dclencheur.
Donnes
de contrle

Donnes
d'entre

Donnes
de sortie

AGIR

Unit de traitement

Les datagrammes :
La bote reprsente les donnes (indiques par un nom).
Les entres reprsentent les actions qui produisent les donnes de la bote.
Les sorties reprsentent les actions qui utilisent les donnes de la bote.
Le mcanisme est le support des donnes.
On peut ajouter des tiquettes aux flches en les reliant par un zigzag. En outre, les flches qui
relient les botes reprsentent les contraintes fonctionnelles qui existent entre les botes, mais ne
reprsentent en aucun cas un flux de commande et n'ont pas de signification squentielle
(n'impliquent pas de notion d'ordre d'excution dans le temps).
T. Lemeunier (IUP MIME, Le Mans), E. Delozanne (Universit Paris 5)

Introduction la modlisation fonctionnelle

SADT

3
Activits
de contrle

Activits
productrices

Activits
consommatrices

DONNEE

Unit de stockage

3 Analyse descendante
La mthode d'analyse descendante permet de comprendre pourquoi un systme existe ou doit tre
conu, quelles fonctions il doit remplir et enfin, comment elles sont ralises. La mthode procde
par approche descendante en ce sens que l'on va du plus gnral au plus dtaill en s'intressant aux
activits du systme.
Plusieurs modles SADT correspondant diffrents points de vue du systme sont souvent tablis
pour une meilleure comprhension. En particulier, la perception d'un systme n'est pas la mme
pour l'utilisateur, le concepteur ou le programmeur. De la mme manire, plusieurs modles SADT
diffrents peuvent tre conus pour rpondre une mme demande.
C2

C1

A-0

BOITE
MERE

Plus gnral

C1
E

C2

1
2

A0
S

Plus
dtaille

C2

A3
S

T. Lemeunier (IUP MIME, Le Mans), E. Delozanne (Universit Paris 5)

Introduction la modlisation fonctionnelle

SADT

4
Dmarche
1. On commence par le diagramme de plus haut niveau A-0 (A moins zro) reprsentant la finalit
du systme.
2. Ensuite, on descend dans les niveaux en traant le diagramme de niveau A0 (A zro) puis A1 et
ainsi-de-suite en respectant la hirarchie des niveaux. On dcrit de cette manire les sousfonctions du systme ce qui permet d'en affiner la perception et la structure.
Si le niveau de dcomposition ne permet pas une totale comprhension du systme, on procde
une nouvelle construction d'actigrammes.
Enfin, il est fondamental que le modle circule entre les partenaires du projet afin qu'un consensus
soit clairement tabli avant de passer au dbut de la phase de conception et dimplmentation.
Rgles d'critures des diagrammes

Chaque flche entrant ou sortant de sa bote-mre doit se retrouver sur le diagramme enfant.

Les flches sont affectes d'un label indiquant leur nature.

Les supports peuvent ne pas tre mentionns si cela n'claire pas la comprhension.

Il est recommand de dcomposer une bote en trois botes au minimum et sept botes au
maximum.

Il est recommand de prsenter les botes suivant une mme diagonale.

Les flches parenthses, galement appeles flches tunnel , indiquent qu'un flux de
donnes est prsent dans une partie du modle bien qu'il ne soit pas dessin. On trouve deux
types de flches tunnel :
La flche tunnel dont les parenthses entourent l'extrmit de la flche qui est connecte
une bote, qui signifie que cette flche existe implicitement dans toutes les botes rsultant
de la dcomposition de celle-ci.
(

La flche tunnel dont les parenthses se trouvent l'autre extrmit, donc prs des
frontires du diagramme, qui signifie que cette flche existe implicitement dans toutes les
botes qui sont hirarchiquement au dessus de la bote concerne ; c'est--dire sa bote mre,
grand-mre, ... jusqu' A0 compris.
( )

T. Lemeunier (IUP MIME, Le Mans), E. Delozanne (Universit Paris 5)

Introduction la modlisation fonctionnelle

SADT

3. Exemple d'actigramme

T. Lemeunier (IUP MIME, Le Mans), E. Delozanne (Universit Paris 5)

Introduction la modlisation fonctionnelle

SADT

4. Exemple de dcomposition
Dico
Entres
utilisateur

Lire et
prparer
Dico
A1

Dico

Dico enrichi

Analyser
la syntaxe

Affichage
cran

Dico prpar

Traiter info et
complter
Dico
A2

Entres utilisateur

Afficher cran
Dico enrichi
Sauver
Dico
A3

Dico enrichi et sauv

A0

Dico
(Sous forme texte)

Lire
le Dico
A11

catgories

Transformer
catgories
en liste
A12
expression
s

Transformer
en liste
de listes
A13

Dico prpar
(en liste de listes)

A1

5. Bibliographie
http://www.cyber.uhp-nancy.fr/demos/MAIN-002/chap_deux/pourq.html
http://philippe.berger2.free.fr/automatique/cours/sadt/sadt.htm
http://www.univ-pau.fr/~nancy/sadt/
Michel Lissandre, "Matriser SADT", Armand Colin, 1990, 219 pages, ISBN 2200420226
T. Lemeunier (IUP MIME, Le Mans), E. Delozanne (Universit Paris 5)

Introduction la modlisation fonctionnelle

SADT

7
"SADT, un langage pour communiquer", IGL Technology, Eyrolles, 1989, 336 pages, ISBN 2212081855

T. Lemeunier (IUP MIME, Le Mans), E. Delozanne (Universit Paris 5)

Introduction la modlisation fonctionnelle

SADT