3D-graphische Werkzeuge zur Analyse komplexer CSP-basierter Modelle

Die Modellierung komplexer informationsverarbeitender Systeme erfolgt typischerweise durch Gliederung in voneinander unabhaengigen Einheiten, die ueber ihre Schnittstellen Meldungen austauschen. Deren Beschreibung wird heute hauptsaechlich mit 2D-graphischen Werkzeugen durchgefuehrt. In diesem Beitrag identifizieren wir Probleme, wie sie bei der Modellierung solcher Systeme als Systeme kommunizierender sequentieller Prozesse (CSP) auftreten. CSP selbst, sowie GRAPES und Occam als CSP-Abkoemmlinge sind dabei die Ausgangsbasis der Problemanalyse. Als Problemloesung schlagen wir eine 2D-graphische Prozesssprache vor. Es wird ausserdem das Werkzeug GRADE-3D beschrieben, welches die Diagramme der Prozesssprache raeumlich darstellt. Es verfuegt ueber Funktionalitaet zur Interaktion mit der Darstellung, zur Analyse und Anzeige von Kommunikationsstrukturen sowie zur Modellbearbeitung. Es werden ferner Loesungen fuer typische Probleme von 3D-Werkzeugen vorgestellt. Den Abschluss bildet eine Bew ertung der 3D-Werkzeuge unter den Aspekten Text vs. 2D vs. 3D sowie aus der Sicht von GRAPES-Modellierern.