Background for the header
To the home page of the University of Antwerp

 

 

Logic Based Specifications - Z

Doelstellingen

  • De studenten kennen de syntax van Z
  • De studenten kunnen eenvoudige systemen specifiëren in Z

Opgaves

Opgave 1

Bestudeer de beschrijving in Z van een online boekenwinkel en gebruik de documenten over de Z-syntax als naslagwerk om volgende vragen te beantwoorden:
  • Wat is de structuur van een specificatie?
  • Wat zijn de belangrijke componenten?
  • Welke operatoren worden er gebruikt?
  • Wat betekent elk element in de specificatie?

Opgave 2

father, mother, brother, cousin, grandfather: Person ↔ Person

  • x ⇒ y ∈ father ⇔ y is the father of x
  • x ⇒ y ∈ brother ⇔ x and y are brothers

  • Definieer broer in termen van vader en moeder. Doe het zowel met als zonder quantifiers en variabelen.
  • Definieer neef (1ste graad) in termen van vader en moeder.
  • Definieer grootvader in termen van vader en moeder. Gebruik geen quantifiers.
  • Wat zijn de sets grandfather(|{x}|) en grandfather-1(|{x}|)?
  • Geef een expressie die de verzameling van alle voorouders van een individu x karakteriseert.

Opgave 3

Definieer

  • Het toevoegen van een gebruiker
  • Het toevoegen van een boek
  • Het ontlenen van een boek door een gebruiker

Documenten

Je kan hier een beschrijving in Z van een online boekenwinkel vinden.

Je kan hier de reference manual over de syntax van Z vinden (auteur: J.M. Spivey).

Je kan hier de internationale standaard over de syntax van Z vinden (ISO/IEC).

Oplossingen

Valid HTML 4.01! Valid CSS!

 Lab On REengineering - Antwerpen, last modified 13:39:02 15 November 2016