specifications en langage z n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Specifications en Langage Z PowerPoint Presentation
Download Presentation
Specifications en Langage Z

Loading in 2 Seconds...

play fullscreen
1 / 33

Specifications en Langage Z - PowerPoint PPT Presentation


  • 262 Views
  • Uploaded on

Specifications en Langage Z. Chapitre 7. Langage Z (Zed). Jean Raymond Abrial Annees 70 Oxford University Base sur les ensembles et les relations Largement utilise dans la communaute ‘’methodes formelles’’, EU Langage B Annees 90 Z + Concepts OO Ligne de metro a Paris. Specifier en Z.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Specifications en Langage Z' - britain


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
langage z zed
Langage Z (Zed)

Jean Raymond Abrial

  • Annees 70
  • Oxford University
  • Base sur les ensembles et les relations
  • Largement utilise dans la communaute ‘’methodes formelles’’, EU

Langage B

  • Annees 90
  • Z + Concepts OO
  • Ligne de metro a Paris
specifier en z
Specifier en Z
  • Formuler specs en termes abstraits
  • Ensembles/ relations, sans souci de representation/ programmation
  • What vs How
  • Conception independante du langage
ensembles en z
Ensembles en Z
  • Types de donnes usuels (sans souci de representation)
  • Types de donnees definis par l’usager
    • CITIZEN
    • DRIVER
    • LICENCE_NUMBER
    • REPLY = yes | No
    • STATUS = InUse | Free | OnHold | OutOfOrder
    • LIGHTS = Green | Orange | Red
ensembles en z1
Ensembles en Z
  • MAGHREB = TN | DZ | MA | MU | LY
  • homeland: MAGHREB
  • homeland = TN
slide8
i: integer;
  • i=10;
  • 5<i<15 vrai
  • 15<i<25 faux
  • i = ‘’hello world’’ illegal
symboles d entr e sortie
Symboles d’Entrée/ Sortie
  • Entrée: ? Sortie: !
relations en z
Relations en Z
  • Ensemble des Relations de X vers Y:
  • Declaration d’Une relation de X vers Y:
slide19
X={0,1}
  • Y={a,b}
  • XxY = {(0,a),(0,b),(1,a),(1,b)}
  • P(XxY)=
  • R est deterministe: chaque element de X a au plus une image.
  • R est totale: chaque element de X a au moins une image.
fonctions en z
Fonctions en Z
  • Relations Deterministes:
  • Relations Deterministes et Totales:
exemple de specification en z
Exemple de Specification en Z

Gestion d’une bibliotheque

  • Gestion des ressources bibliographiques
  • Gestion des acquisitions
  • Gestion des suppressions (pertes, etc)
  • Gestion des emprunts
  • Gestion des abonnes
donnees a maintenir
Donnees a maintenir
  • Livres que nous possedons
  • Livres disponibles a l’emprunt
  • Nombre par livre
  • Emprunts
  • Ensemble des abonnes
declaration de l espace
Declaration de l’espace
  • m: ensembles des abonnes,
  • t: date courante,
  • k: possessions de la bibliotheque
  • r: emprunts
  • s: livres disponibles a l’emprunt
slide27
r: PERSON  BOOK
  • q: PERSON  P(BOOK)
  • PERSON = {P1, P2, P3, P4}
  • BOOK = {B1, B2, B3}
  • r = {(P1,B1),(P1,B3),(P3,B1),(P3,B2)}
  • q = ?

Quelle est la relation q qui correspond a la meme situation