{"product_id":"ausfuhrbare-spezifikation-von-directory-systemen-in-einer-logischen-sprache-9783540545460","title":"Ausführbare Spezifikation Von Directory-Systemen in Einer Logischen Sprache","description":"\u003cp\u003e • Author(s): Rolf Stadler\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Networking - Hardware\u003c\/p\u003e\u003cp\u003eDas 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 ermglicht oder die ]berpr}fung (Verifikation, Validierung) einer Spezifikation erleichtert.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":46893664764055,"sku":"9783540545460","price":3776.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540545460.webp?v=1770317978","url":"https:\/\/atlanticbooks.com\/products\/ausfuhrbare-spezifikation-von-directory-systemen-in-einer-logischen-sprache-9783540545460","provider":"Atlantic Books","version":"1.0","type":"link"}