Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache / Informatik-Fachberichte Bd.284 (PDF)
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...
unter Anwendung von Konzepten der logischen Programmierung.
Ausgehend von der Definition derArchitektur eines
Directory-Systems wird eine Spezifikationsmethode zur
Beschreibung solcher...
Leider schon ausverkauft
eBook (pdf)
44.20 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache / Informatik-Fachberichte Bd.284 (PDF)“
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.
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.
Bibliographische Angaben
- Autor: Rolf Stadler
- 2013, 1991, 143 Seiten, Deutsch
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3662059304
- ISBN-13: 9783662059302
- Erscheinungsdatum: 14.03.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 13 MB
- Ohne Kopierschutz
- Vorlesefunktion
Kommentar zu "Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache / Informatik-Fachberichte Bd.284"
Schreiben Sie einen Kommentar zu "Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache / Informatik-Fachberichte Bd.284".
Kommentar verfassen