Format:
1 Online-Ressource (X, 143 S.)
ISBN:
9783662059302
,
9783540545460
Series Statement:
Informatik-Fachberichte 284
Note:
Das Buch behandelt die Spezifikation von Directory-Systemen unter Anwendung von Konzepten der logischen Programmierung. Ausgehend von der Definition derArchitektur eines Directory-Systems wird eine Spezifikationsmethode zur Beschreibung solcher Architekturen vorgestellt. Als Spezifikationssprache dient die Sprache der Hornklausel-Logik, erweitert um Negation. Im Buch werden eine von D.B. Terry bei Xerox PARC entworfene Architektur und ein Ausschnitt aus der Architektur des internationalen Standards f}r Directory-Systeme (X.500) spezifiziert. Daran lassen sich die Vorteile der vorgeschlagenen Methode aufzeigen: Die Spezifikationen sind kompakt, gut lesbar und besitzen eine deklarative und eine prozedurale Semantik. Die erstellten Spezifikationen lassen sich auf einem Prolog-System ausf}hren. Die Ausf}hrbarkeit der Spezifikationen erweist sich als vielseitig anwendbare Eigenschaft, welche beispielsweise die Simulation eines Directory-Systems bei gegebener Konfiguration erm|glicht oder die ]berpr}fung (Verifikation, Validierung) einer Spezifikation erleichtert
Language:
German
Keywords:
Mikrocomputersystem
;
Verteiltes System
;
Formale Sprache
;
Verzeichnisdienst
;
Architektur
;
Spezifikation
;
Verteiltes System
;
Computerarchitektur
;
Directory-System
;
Spezifikationssprache
;
Hochschulschrift
;
Electronic books.
DOI:
10.1007/978-3-662-05930-2
URL:
https://ebookcentral.proquest.com/lib/th-brandenburg/detail.action?docID=6873330
Bookmarklink