Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
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...
Leider schon ausverkauft
Buch
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache “
Klappentext zu „Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache “
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.
Inhaltsverzeichnis zu „Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache “
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.
Bibliographische Angaben
- Autor: Rolf Stadler
- 1991, 1991., 143 Seiten, 15 Abbildungen, Maße: 24,4 cm, Kartoniert (TB), Deutsch
- Verlag: Springer
- ISBN-10: 3540545468
- ISBN-13: 9783540545460
Kommentar zu "Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache"
0 Gebrauchte Artikel zu „Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache".
Kommentar verfassen