Westfälische Wilhelms-Universität Münster
Forschungsbericht 2001-2002
 
Institut für Informatik

Einsteinstr. 62
48149 Münster
Direktoren: Prof. Dr. Achim Clausing, Klaus Hinrichs, Xiaoyi Jiang,
Herbert Kuchen, Wolfram-M. Lippe, Gottfried Vossen, Guido Wirtz

 
Tel. (0251) 83-33796
Fax: (0251) 83-33755
e-mail: ifi-sekretariat@uni-muenster.de
www: http://wwwmath.uni-muenster.de/info/index.html
[Startseite (Rektorat)] [Inhaltsverzeichnis] [vorherige Seite] [nächste Seite]
     

[Pfeile  braun]

Forschungsschwerpunkte 2001 - 2002

Fachbereich 10 - Mathematik und Informatik
Institut für Informatik
Prof. Dr. Guido Wirtz


Graphische und visuelle Programmier- und Designsprachen für parallele und verteilte Systeme

Die Bereitstellung korrekter und effizienter Programmsysteme für Multiprozessoren und Cluster von Workstations stellt auch heute noch eine wichtige Herausforderung im Bereich Softwareentwicklung dar. Insbesondere im Bereich der Multiprozessoren mit verteiltem Speicher und den damit verwandten Berechnungsmodellen in Arbeitsplatzrechner-Netzwerken, die in der Regel mit message-passing-Sprachen (z.B. PVM oder MPI-Versionen) programmiert werden, haben sich rein textuelle Sprachen als ungeeignet erwiesen, parallele Abläufe adäquat zu formulieren.
Im Rahmen des MEANDER Projekts wurde eine graphische Programmiersprache auf der Basis von ANSI-C entwickelt, die es ermöglicht, parallele Programme graphisch zu beschreiben und die gleiche Darstellung auch für die Ablaufvisualisierung und Fehlersuche zu benutzen. Die Sprache wird durch zusätzliche Werkzeuge zur graphischen Definition von Hardwarekonfigurationen und zur Spezifikation des Prozeß-Prozessor-Mappings unterstützt.
Weitergehende Arbeiten beschäftigen sich allgemein mit dem Einsatz visueller Beschreibungsmethoden im Kontext paralleler und verteilter Programme, geeigneter Werkzeugunterstützung und der Entwicklung möglichst einheitlicher Sprachformalismen, die auch den heute in modernen Sprachen üblichen Prinzipien der Objektorientierung genügen.

Beteiligte Wissenschaftler:

Prof. Dr. rer. nat. G. Wirtz, Prof. Dr. K. Zhang (Univ. Of Texas at Dallas, freie Kooperation)

Veröffentlichungen:

G. Wirtz, K. Zhang: Visual Methods for Parallel and Distributed Programming, International Journal of Visual Languages and Computing, JVLC Vol. 12 Nr. 2, April 2001, Academic Press

G. Wirtz: Application of Petri Nets in Modelling Distributed Software Systems, Invited talk at MOCA01, Aarhus, Denmark, 2001.

Amir-Houschang Jafarpour: Visualisierung verteilter Algorithmen in Java, Bachelorarbeit, Inst. f. Informatik, 2001

Nicole Randerath: Scheduling in Betriebssystemen, Staatsexamensarbeit, Inst. f. Informatik, 2001

 
 

Hans-Joachim Peter
EMail: vdv12@uni-muenster.de
HTML-Einrichtung: Izabela Klak
Informationskennung: FO10FG04
Datum: 2003-07-02