[ Index ]
Abbildungsverzeichnis
VDM WWW Help
VDM WWW Help
Inhalt
Abbildungsverzeichnis
Tabellenverzeichnis
Einleitung
Überblick
Aufgabenstellung
Teilaufgaben
Allgemeine Anforderungen
Grundlagen der Arbeit
Tool Command Language - TCL
Techniken des World Wide Web
Historie
HTTP-Protokoll und Server
Das Hypertext Transfer Protocol
Common Gateway Interface - CGI
Hypertext Markup Language - HTML
Multipurpose Internet Mail Extensions Protocol MIME
Ursprung von MIME
Bedeutung von MIME für das Internet
Kommunikation im Internet
Analyse der VDM Klassenbibliotek
Klassenbibliothek
Preprozessor
Domaincompiler
Datenbankmanager
Struktur des Datenbankmanagers
Modelle des Datenbankmanagers
Bibliotheksmanager und -browser
Projektmanagement und -planung
Anforderungen
Ableitung und Definition der Teilziele aus grundlegenden Problemen
Zwingende Notwendigkeit einer Client-Server Lösung
Einführung von Multisessionfähigkeit
Schaffung von Remote-Procedure Calls
Bewahrung der (Abwärts)-Kompatiblität zum bestehenden System
Benutzerfreundlichkeit des Hilfesystems
Gliederung der Projektphasen
Systemdefinition
Definition des Client / Server Modells
Entwicklung nach OSI
Transportschicht TCP
Definition eines OSI-Dienstes
Definition der Sitzungsschicht
Implementationen nach OSI
Definition von Sitzungen
Problematik von OSI mit RPC
Anlehnung an die Darstellungsschicht
Definition des Kontext
VDM-Spezifikation
DSL-Spezifikation
Definition von Benutzeragenten
Definition der HTML-Generierungsprozesse
Definition der Ein- und Ausgaben
Spezifikation der Lösung
Erweiterung der VDM-Klassenbibliothek
Integration des Hypertext
Design der Hytertextreferenzen
Trennende Zerlegung der Server- und Clientaufgaben
Festlegung und Definition der Kommunikationsprotokolle
VDMDBM und VDMHELP zu VDM Datenbankmanager
VDMDBM und VDMHELP zu VDM Client zu VDM Server
VDMDBM und VDMHELP zu VDM Client
VDM Client zu VDM Server
Erweiterungen für MIME
Implementierung
Programmierung der Sitzungsschicht mit TCL
TCP-Sockets als Basis
Eventverarbeitung
Zugriff auf die Sitzungschicht
Distributed-Processing
Remote-Procedure Calls mit TCL
Kommunikationsprotokoll
Fehlerbehandlung
VDM Datenbankserver
Server-Kommandozeile
Steuerung der Mehrfachverarbeitung
Das Transaktionskonzept
Beschreibung der Verarbeitungs-Threads
HTML als Benutzeroberfläche
Design der Oberfläche
Platzoptimierte Tabelle
Dynamische Erzeugung der Oberfläche
VDM Serverclient
Aufgabe und Funktion
Anwendungsmodi
Kompatibilitätsmodus
HTML-Modus
Online-Modus
Test des Systems
Kritische Betrachtung des Systems
Vollständigkeit
Zuverlässigkeit
Effizienz
Benutzerfreundlichkeit
Sicherheit
Portabilität
Online-Dokumentation der Diplomarbeit
Aktuelle Textprozessorprojekte
Vorgehensweise der Texterstellung
Integration von VDM Anwendungsbeispielen
Interaktiver Test der Beispiele über HTML-Browser
Vorhandene Beispiele
Beispielskelett
Erweiterung der Beispiele
Referenzteil
Installation
(Auto-)konfiguration der Makefiles
Konfiguration des Servers
Statische Einbettung des Konfigurationscodes
Besonderheiten der Konfigurationsdatei
Durchführung der Konfiguration
Verzeichnisoptionen
Allgemeine Logfunktionen
Agent-Logfunktionen
Server Optionen
VDM-spezifische Optionen
Verschiedene Optionen
HTML-Optionen
Start und Beenden des VDM Servers
Steuerung und Fernsteuerung des Servers
Funktionen des Servers
Neue TCL Kommandos des VDM-Datenbankmanagers
directimport
exportformat
session
TCL-Kommandoerweiterungen des VDM-Servers
daemon und vt
debug
dup und pipe
fork
getgid, getuid, setpgrp und ppid
reopen
signal und kill
wait und waitpid
Vorausschau auf mögliche Weiterentwicklungen
Literatur
Index
VDM Class Library