SOLL- und MUSS-Anforderungen zur CSP-Aufgabe:
Spezifikation und Verifikation einer vereinfachten NFS-Version
      (am 27.06.2002, in der Vorlesung)

SOLL

- Mount
  . Export
  . Mount-Operation
  . Filehandler
  . inode

- Caching
  . delayed-write
  . Zeitstempel
  . Verwaltung der Datein im Cache

- File-Server
  . Zeitstempel
  . Datenreplikation/Konsistenz
  . Zugriffsrecht

MUSS

- Mount
  . Export
  . Mount-Operation (statischer Mount)
  . Filehandler (weg lassen)
  . inode

- Caching
  . write-through 

- File-Server
  . Zugriffsrecht (03.07.)
  . Operationen: lesen, schreiben(, erzeugen, löschen (KANN))

  . Spezifikation eines Clients (03.07.)


Festlegen
  . Anzahl der File-Sever und Client
  . Anzahl der gemounteten Verzeichnisse eines Clients
  . Anzahl der User
  . Anzahl der Verzeichnisse eines File-Servers
  . Anzahl der expotierten Verzeichnisse
  . Struktur einer Datei (einfache Struktur)
  . Zustände einer Datei