Noch Fragen? 0800 / 33 82 637

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

Produktform: Buch / Einband - flex.(Paperback)

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.weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Deutsch

ISBN: 978-3-540-54546-0 / 978-3540545460 / 9783540545460

Verlag: Springer Berlin

Erscheinungsdatum: 16.09.1991

Seiten: 143

Auflage: 1

Autor(en): Rolf Stadler

54,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück