UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:      Semester:   
 
 Darstellung
 
Druckansicht

 
 
 Außerdem im UnivIS
 
Vorlesungsverzeichnis

 
 
Veranstaltungskalender

 
 
Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Informatik >> Lehrstuhl für Praktische Informatik >>
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.
Projektleitung:
Prof. Dr. rer. nat. Guido Wirtz

Beteiligte:
Kang Zhang, University of Texas, Austin, Holger Giese, Universität Paderborn

Stichwörter:
parallel, programming language, message-passing, visual

Beginn: 1.10.1992

Kontakt:
Wirtz, Guido
Telefon 0951 863-2810, Fax 0951 863 5528, E-Mail: guido.wirtz@uni-bamberg.de
Publikationen
Wirtz, Guido: A Visual Approach for Developing, Understanding and Analyzing Parallel Programs. Proc. IEEE/CS Symposium on Visual Languages VL-93. 24.-27. August, Bergen (Norway) . In: IEEE Computer Society Press (1993)
Wirtz, Guido: Developing Parallel Programs in a Graph-Based Environment . In: PARCO-93 (Hrsg.) : Proc. Int. Conf. on Parallel Computing PARCO-93 (PARCO-93 Grenoble (France) 07.-10.09.1993). xxx : Elsevier Science Publ., 1993, S. xxx. (Advances in Parallel Computing)
Wirtz, Guido: Die Meander Projektgruppe: Erfahrungsbericht und Dokumentation der ersten Projektgruppe . Uni-GHS-Siegen : Uni-GHS- Siegen, 1993 (Technical Report, FG Programmiersprachen, FB Elektrotechnik und Informatik, Uni-GHS Siegen)
Wirtz, Guido: Graph-Based Parallel Programming in GRAPH+C. Lessach-Workshop über Parallelverarbeitung, 21.-25.Sept. 1991, Lessach (Austria) . In: Informatik-Bericht der TU Clausthal Nr. 93/5 (1993), Nr. 93/5
Wirtz, Guido: Graph-Based Software Construction in an Explicit Parallel, Message Passing Paradigm . In: WTC'93 (Veranst.) : Proc. Workshop on Software Engineering for Parallel Systems (WTC '93 Aachen Sept. 1993). 1993, S. xxxx.
Wirtz, Guido: Hybride Programmiersprachen als Grundlage eines Programmiersystems für Parallelrechner. 3. PASA-Workshop Parallele Systeme und Algorithmen. GI April 1993 . In: GI/ITG-Pars-Mitteilungen (1993), Nr. 11
Wirtz, Guido: The Meander Language and System — Overview . In: Technical Report, FG Programmiersprachen, FB Elektrotechnik und Informatik, Uni-GHS Siegen, Sept. 1993 (1993)
Wirtz, Guido: The Meander Language Version 1.0 . In: Technical Report, FG Programmiersprachen, FB Elektrotechnik und Informatik, (1993)
Wirtz, Guido: Graph-Based Software Construction for Parallel Message-Passing Programs . In: Information and Software Technology. Butterworth-Heinemann Ltd., Oxford (UK) 36 (1994), Nr. 5
Wirtz, Guido: Ein Graph-basierter Ansatz zur Unterstützung der Konstruktion explizit paralleler Programme . Siegen, Universitaet-GHS Siegen, Habil-Schr., 1995
Wirtz, Guido: Modularization, Re-Use and Testing for Parallel Message-Passing Programs . In: IEEE (Veranst.) : Mini-Symposium: Software Engineering for Parallel Systems (IEEE HICSS-28 Software Track Maui, Hawaii (USA) 03.-06.01.1995). 1995, S. xxxx.
Wirtz, Guido: The Meander Language and Programming Environment. Programming and Computer Software . In: Consultants Bureau, New York (USA) 21 (1995), Nr. 1
Wirtz, Guido: A Visual Toolset for Message-Passing Parallel Programming . In: PDPTA-96 (Veranst.) : Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA-96 Sunnyvale, CA (USA) 09.-11.08.1996). XXX : CSREA Press 1996, 1996, S. xxx.
Wirtz, Guido: Extracting and Testing the Externally Observable Behaviour of Parallel Modules . In: PARCO-95 (Veranst.) : xxx (Proc. Int. Conf. on Parallel Computing PARCO–95 Gent (Belgium) 07.09.-10.09.1995). xxx : Esevier Science Publ., 1996, S. xxx. (Advances in Parallel Computing)
Wirtz, Guido: On the Benefits of Visual Formalisms in Parallel Programming . In: IASTED (Veranst.) : Proc. 14-th IASTED Int. Conf. on Applied Informatics (IASTED Innsbruck (Austria) 20.-22.02.1996). 1996, S. XXX.
Giese, H. ; Wirtz, Guido: Modular Development of Correct Meander Programs . In: PDPTA-97 (Veranst.) : xxx (Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications, PDPTA-97 Las Vegas (USA) 30.06.-03.07.1997). xxx : xxx, 1997, S. xxx.
Wirtz, Guido ; Zhang, K.: Are Visual Methods Especially Useful for Parallel and Distributed Systems? In: IEEE/CS VL-2000 (Veranst.) : Workshop Visual Methods for Parallel/Distributed Programming (IEEE/CS VL-2000 Seattle (USA) September 2000). xxx : xxx, 2000, S. xxx.
Giese, H., ; Wirtz, Guido: Visual Methods for Parallel and Distributed Programming . In: International Journal of Visual Languages and Computing. JVLC, Academic Press 12 (2001), Nr. 2
Wirtz, Guido ; Zhang, K.: Visual Methods for Parallel and Distributed Programming . In: International Journal of Visual Languages and Computing, JVLC 12 (2001), Nr. 2
UnivIS ist ein Produkt der Config eG, Buckenhof