Advertisement

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

  • Rolf Stadler

Part of the Informatik-Fachberichte book series (INFORMATIK, volume 284)

Table of contents

  1. Front Matter
    Pages N2-X
  2. Rolf Stadler
    Pages 1-13
  3. Rolf Stadler
    Pages 14-44
  4. Rolf Stadler
    Pages 52-90
  5. Rolf Stadler
    Pages 91-97
  6. Rolf Stadler
    Pages 98-105
  7. Rolf Stadler
    Pages 106-125
  8. Rolf Stadler
    Pages 126-133
  9. Back Matter
    Pages 134-143

About this book

Introduction

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.

Keywords

Logische Programmierung Methode Programmierung Rechnernetz Rechnernetze und Kommunikationssyseme Semantik Simula Standards Verifikation formale Spezifikation verteilte Systeme

Authors and affiliations

  • Rolf Stadler
    • 1
  1. 1.Institut für InformatikUniversität Zürich-IrchelZürichSchweiz

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-05930-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-54546-0
  • Online ISBN 978-3-662-05930-2
  • Series Print ISSN 0343-3005
  • Buy this book on publisher's site