Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Seiten
1991
|
1991
Springer Berlin (Verlag)
978-3-540-54546-0 (ISBN)
Springer Berlin (Verlag)
978-3-540-54546-0 (ISBN)
Das Buch behandelt die Spezifikation von Directory-Systemenunter Anwendung von Konzepten der logischen Programmierung.Ausgehend von der Definition derArchitektur einesDirectory-Systems wird eine Spezifikationsmethode zurBeschreibung solcher Architekturen vorgestellt. AlsSpezifikationssprache dient die Sprache derHornklausel-Logik, erweitert um Negation. Im Buch werdeneine von D.B. Terry bei Xerox PARC entworfene Architekturund ein Ausschnitt aus der Architektur des internationalenStandards f}r Directory-Systeme (X.500) spezifiziert. Daranlassen sich die Vorteile der vorgeschlagenen Methodeaufzeigen: Die Spezifikationen sind kompakt, gut lesbar undbesitzen eine deklarative und eine prozedurale Semantik.Die erstellten Spezifikationen lassen sich auf einemProlog-System ausf}hren. Die Ausf}hrbarkeit derSpezifikationen erweist sich als vielseitig anwendbareEigenschaft, welche beispielsweise die Simulation einesDirectory-Systems bei gegebener Konfiguration erm|glichtoder die ]berpr}fung (Verifikation, Validierung) einerSpezifikation erleichtert.
1 Einführung.- 2 Die Architektur von Directory-Systemen.- 3 Eine Prolog-basierte Spezifikationssprache.- 4 Eine Architektur nach Terry.- 5 Die Spezifikationsmethode.- 6 Die Simulation eines Directory-Systems.- 7 Die Architektur von X.500.- 8 Schlussfolgerungen.- Literatur.
Erscheint lt. Verlag | 16.9.1991 |
---|---|
Reihe/Serie | Informatik-Fachberichte |
Zusatzinfo | X, 143 S. 15 Abb. |
Verlagsort | Berlin |
Sprache | deutsch |
Maße | 170 x 244 mm |
Gewicht | 270 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Netzwerke |
Informatik ► Software Entwicklung ► Objektorientierung | |
Schlagworte | Formale Spezifikation • Logische Programmierung • Methode • Programmierung • Rechnernetz • Rechnernetze und Kommunikationssyseme • Semantik • simula • Standards • Verifikation • Verteilte Systeme |
ISBN-10 | 3-540-54546-8 / 3540545468 |
ISBN-13 | 978-3-540-54546-0 / 9783540545460 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Entwicklung von GUIs für verschiedene Betriebssysteme
Buch (2023)
Hanser, Carl (Verlag)
39,99 €
objektorientierte Entwicklung modularer Maschinen für die digitale …
Buch | Hardcover (2024)
Hanser (Verlag)
44,99 €
Grundlagen, Objektorientierung und fortgeschrittene Konzepte
Buch (2023)
Carl Hanser (Verlag)
39,99 €