Gegenstand dieses Papieres ist eine Software-Entwicklungs-Umgebung für Verteilte Systeme. Dazu wird zunächst 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 Komplexität derartiger Systeme beherrschbar und deren Qualität gesteigert. Auf der Basis von Definitionsobjekten wird eine statische Analyse vorgestellt, die dann auf Inkarnationen von Systemkomponenten ausgedehnt zur dynamischen Anlayse führt. Sowohl das Systemmodell als auch die Werkzeuge werden anhand eines Beispiels vorgestellt.     «

Gegenstand dieses Papieres ist eine Software-Entwicklungs-Umgebung für Verteilte Systeme. Dazu wird zunächst 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 Komplexität derartiger Systeme beherrschbar und deren Qualität gesteigert. Auf der Basis von Definitionsobjekte...     »