Das Buch behandelt die Spezifikation von Directory-Systemenunter Anwendung von Konzepten der logischen Programmierung.Ausgehend von der Definition der Architektur eines Directory-Systems wird eine Spezifikationsmethode zur Beschreibung solcher Architekturen vorgestellt. Als Spezifikationssprache dient die Sprache der Hornklausel-Logik, erweitert um Negation. Im Buch werdeneine von D.B. Terry bei Xerox PARC entworfene Architekturund ein Ausschnitt aus der Architektur des internationalen Standards f}r Directory-Systeme (X.500) spezifiziert. Daranlassen sich die Vorteile der vorgeschlagenen Methodeaufzeigen: Die Spezifikationen sind kompakt, gut lesbar undbesitzen 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|glichtoder die ]berpr}fung (Verifikation, Validierung) einer Spezifikation erleichtert.
来自同一作者的更多电子书 / 编辑
3,689 此类电子书
