Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache

Das Buch behandelt die Spezifikation von Directory-Systemenunter Anwendung von Konzepten der logischen Programmierung.Ausgehend von der Definition derArchitektur einesDirectory-Systems wird eine Spezifikationsmethode zurBeschreibung solcher Architekturen vorgestellt. AlsSpezifikationssprache dient die Sprache derHornklausel-Logik, erweitert um Negation. Im Buch...