Skip to main content
SpringerLink
Log in

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

  • Book
  • © 1991

Overview

Authors:
  1. Rolf Stadler

    1. Institut für Informatik, Universität Zürich-Irchel, Zürich, Schweiz

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (8 chapters)

  1. Front Matter

    Pages N2-X
    Download chapter PDF

  2. Einführung

    • Rolf Stadler
    Pages 1-13

  3. Die Architektur von Directory-Systemen

    • Rolf Stadler
    Pages 14-44

  4. Eine Prolog-basierte Spezifikationssprache

    • Rolf Stadler
    Pages 45-51

  5. Eine Architektur nach Terry

    • Rolf Stadler
    Pages 52-90

  6. Die Spezifikationsmethode

    • Rolf Stadler
    Pages 91-97

  7. Die Simulation eines Directory-Systems

    • Rolf Stadler
    Pages 98-105

  8. Die Architektur von X.500

    • Rolf Stadler
    Pages 106-125

  9. Schlussfolgerungen

    • Rolf Stadler
    Pages 126-133

  10. Back Matter

    Pages 134-143
    Download chapter PDF
Back to top

Keywords

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.

Authors and Affiliations

  • Institut für Informatik, Universität Zürich-Irchel, Zürich, Schweiz

    Rolf Stadler

Bibliographic Information

  • Book Title: Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache

  • Authors: Rolf Stadler

  • Series Title: Informatik-Fachberichte

  • DOI: https://doi.org/10.1007/978-3-662-05930-2

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1991

  • Softcover ISBN: 978-3-540-54546-0Published: 16 September 1991

  • eBook ISBN: 978-3-662-05930-2Published: 14 March 2013

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: X, 143

  • Number of Illustrations: 15 b/w illustrations

  • Topics: Computer Communication Networks, Programming Techniques

Publish with us

Policies and ethics

Back to top

Search

Navigation