Werkzeuge zur Entwicklung verteilter Systeme

Gegenstand dieses Papieres ist eine Software-Entwicklungs-Umgebung fur Verteilte Systeme. Dazu wird zunachst ein Systemmodell vorgestellt, auf dessen Grundlage die aufzuzeigenden Werkzeuge arbeiten. Die Werkzeuge werden im Groben vorgestellt und eingeordnet. Der Schwerpunkt liegt dann auf den interaktiven Werkzeugen zur Analyse abstrakt verteilter Systeme. Dadurch wird die strukturelle Komplexitat derartiger Systeme beherrschbar und deren Qualitat gesteigert. Auf der Basis von Definitionsobjekten wird eine statische Analyse vorgestellt, die dann auf Inkarnationen von Systemkomponenten ausgedehnt zur dynamischen Anlayse fuhrt.