Professional Documents
Culture Documents
Prsenter par :
Professeure :
Mme:F,Z,Zahra
La mthode Z
La mthode Z
Pant du travail
Introduction
Dfinition de la mthode Z
Structure du schma Z
Les Prdicats
Rsume symbole au Z
Raffinement
Exemples dapplications
Variante Z-objets
Bilan et extensions
Conclusion
Reference
La mthode Z
Introduction
Introduction
Mthodes informelles
Mthodes semi-formelles
Mthodes formelles
La mthode Z
introduction
La mthode Z
introduction
La mthode Z
introduction
La mthode Z
Dfinition de la mthode Z
Dfinition de la mthode Z
La mthode Z
Schma Z
Il y a Deux type daspects a considr
Aspects Statiques
Aspects Dynamiques
les oprations
La mthode Z
Schma Z
10
Syntaxe
Nom
Dclarations
Prdicats
La mthode Z
Structure du schma Z
Structure du schma Z
11
La mthode Z
Structure du schma Z
12
La mthode Z
Structure du schma Z
Les Types
Les Types
Un
type en Z est interprt comme un ensemble
types simples :
Types composites:
Ensembles densembles
Produit cartsienne
Schmas
13
La mthode Z
Structure du schma Z
Les Prdicats
Les Prdicats
Syntaxe:
Connecteurs,quantificateurs: ,,,etc,
14
La mthode Z
Structure du schma Z
Les Prdicats
Syntaxe:
composition (Q R),image (X Y)
restrictions:
domaine (Q R),
co-domaine (R Q),
surcharge (Q R),
15
La mthode Z
Structure du schma Z
Rsume symbole
Dfrence de ensemble S et X,
ensemple vide,
cardinalit de ensemble X,
16
La mthode Z
Structure du schma Z
Rsume symbole
Logique
17
La mthode Z
Raffinement
Raffinement
18
La mthode Z
Exemples
Nom
Allais
Ou/comment utilis,
Description de continue,
Information supplmentaire ,
Date de cration,
19
La mthode Z
Exemples
Ajouter
liminer
Fouiller
Remplacer
20
La mthode Z
Exemples
[ensemble1,ensemble2]
21
La mthode Z
Exemples dapplications exemple de dectionner
Nom,TXT et date
sont des ensembles
donne ,leurs
dfinition exacte
seront tablies plus
tard
Les invariant de
schma il sont
vrai peu import
tat des
variables
Nom:[NOM]
Alias:[NOM]
Ou_comment:[TEXTE]
Description:seq char
Information:[DATE]
#description
#information
22
La mthode Z
Exemples dapplications exemple de dectionner
Le dictionnaire de donne
est dfini comme une
fonction partielle.
23
DonneentresdIctionaire
dictionnaire : [NOM] {Donneentresdesctionaire}
La mthode Z
Exemples dapplications exemple de dectionner
Nous exprimons
linitialisation du dictionnaire
:
La notion X (x dcor)
signifie ltat de x aprs une
opration si x est un schma
Z alors tout ses variable sont
aussi dcries,
dicitionnaire=
24
La mthode Z
Exemples
25
La mthode Z
Exemples dapplications exemple de dectionner
Finalement ,lopration
spcifie est la combinaison
ces deux parties ,
Ajouter_Ok
DictionnaireDonnee
nom?:NOM
Entre?:DonneeEntreeDictionnair
e
Nom? dictionnaire
dictionnaire =dictionnaire {nom?
entre?}
26
La mthode Z
Exemples dapplications exemple de dictionnaire
Ajouter
Ajouter_OK Ajouter_Erreur
Ajouter_Erreur
DictionnaireDonnee
nom?:NOM
erreur!: seq char
nom? dictionnaire
erreur! = donnes dj dans le
dictionnaire
27
La mthode Z
Exemples
28
La mthode Z
Exemples dapplications exemple de dectionner
Finalement ,lopration
spcifie est la combinaison
ces deux parties ,
Cherche_Ok
DictionnaireDonnee
nom?:NOM
entre?:DonneeEntreeDictionnair
e
Nom? dictionnaire
Entre! = dictionnaire(nom?)
29
La mthode Z
Exemples dapplications exemple de dictionnaire
recherche_Erreur
DictionnaireDonnee
nom?:NOM
erreur!: seq char
nom? dictionnaire
erreur! = donnes nest pas
dans la dictionnaire
30
La mthode Z
Exemples dapplications
31
Dcrire les aspects statiques :
La mthode Z
Exemples dapplications
32
Dcrire les aspects dynamiques :
La mthode Z
Exemples dapplications
33
Dcrire les aspects dynamiques :
La mthode Z
Exemples dapplications
34
Dcrire les aspects dynamiques :
La mthode Z
Exemples dapplications
35
Dcrire les aspects dynamiques :
La mthode Z
Variant Object-Z
Variant Object-Z
36
La mthode Z
Variant Object-Z
un schma detat.
37
La mthode Z
Variant Object-Z
Hritage :
Lhritage permet a une classe de considrer les dfinitions
dune autre classe, (type, constante et les schmas).
Instanciation :
Linstanciation permet de renommer les variables, les types et
les constantes dune classe.
38
La mthode Z
Variant Object-Z
Exemple :
Une classe Queue[T] qui
dfinit une file dattente
de type FIFO
39
La mthode Z
Bilan et extensions
Bilan et extensions
Bilan
Documentation rigoureuse
Preuve de programmes
40
La mthode Z
Bilan et extensions
Bilan et extensions
Extensions
Outils
Orientation objet
41
La mthode Z
Conclusion
Conclusion
42
43
La mthode Z
Reference
Reference
[SOMM96] Sommerville,I,,software
ebgineering,Harlow,England:Addision-Wesley,1996,
[PRES97] Pressman,R,S,Software Engineering-A partionners
approch,New York:McGraw-Hill,1997,
[HTTP01] www,cs,herts,ac,uk/jean/algspec/pr,html
[MONO92] Monarchi,D,E,,G,I,Puhr,A research topology for OO
Analys
Communication of the ACM,vol,35,no 9,pp,35-45,spt 1992
44