Informatik-Fachberichte

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

Authors: Stadler, Rolf

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-662-05930-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-540-54546-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (8 chapters)

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-662-05930-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-540-54546-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Authors
Series Title
Informatik-Fachberichte
Series Volume
284
Copyright
1991
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-662-05930-2
DOI
10.1007/978-3-662-05930-2
Softcover ISBN
978-3-540-54546-0
Series ISSN
0343-3005
Edition Number
1
Number of Pages
X, 143
Number of Illustrations
15 b/w illustrations
Topics