Power Search
Low Price Guarantee
We Take School POs
Ausführbare Spezifikation Von Directory-Systemen in Einer Logischen Sprache 1991 Edition
Contributor(s): Stadler, Rolf (Author)

View larger image

 ISBN: 3540545468     ISBN-13: 9783540545460
Publisher: Springer
OUR PRICE: $56.99  

Binding Type: Paperback
Language: German
Published: September 1991
Qty:

Click for more in this series: Informatik-Fachberichte
Additional Information
BISAC Categories:
- Computers | Networking - Hardware
- Computers | Programming - Object Oriented
Dewey: 005.115
LCCN: 92123306
Series: Informatik-Fachberichte
Physical Information: 0.33" H x 6.69" W x 9.61" L (0.57 lbs) 143 pages
Features: Bibliography, Illustrated, Index
 
Descriptions, Reviews, Etc.
Publisher Description:
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.
 
Customer ReviewsSubmit your own review
 
To tell a friend about this book, you must Sign In First!