Institute of Computer Languages
Compilers and Languages Group

Talks 2014 - Wolf Zimmermann

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zu folgendem Vortrag ein:

Wolf Zimmermann

Martin-Luther-Universität Halle-Wittenberg

über

Was haben Compiler mit Pumpen zu tun? Entwurf und Implementierung Domänen-spezifischer Sprachen zur Pumpenentwicklung

Datum: Donnerstag, 5. Juni 2014
Zeit: 15:00 Uhr s.t. (Tee: 14:30 Uhr)
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

Zusammenfassung:

Mit Domänen-spezifischen Sprachen lassen sich Modelle einer Anwendungsdomäne spezifizieren. Die semantische Prüfung solcher Modelle, im Gegensatz zu rein syntaktischer Prüfung, ist zunehmend erforderlich. Dies zeigt sich an Pumpen, die mit einem Anteil von ca. 50% einen der Hauptenergieverbraucher in industriellen Prozessen stellen. Durch die iterative und Fachrichtungs übergreifende Entwicklungsweise von Pumpen gibt es viele mögliche Stellen an denen eine Domänen-spezifische Sprache Entwickler mit einer semantischen Prüfung unterstützen kann. In den klassischen Werkzeugen der Modell-basierten Welt kann solch eine Prüfung durch OCL spezifiziert werden. Dem gegenüber können im Übersetzerbau attributierte Grammatiken herangezogen werden. In diesem Vortrag werden diese Möglichkeiten und deren Performanz zum Auffinden von Inkonsistenzen sowie die Qualität der Fehlermeldungen an Beispielen aus der Domäne der Pumpenentwicklung gegenüber gestellt. Weiterhin stellt der Vortrag die durch uns getroffenen Entwurfsentscheidungen für eine Sprache in der Pumpendomäne vor.

Kurzbiographie

Wolf Zimmermann graduated (1987) and obtained a PhD in Computer Science (1990) from the University of Karlsruhe (D). Then he was Research Fellow at the International Computer Science Institute in Berkeley. After returning to Karlsruhe (1991) he became 1992 lecturer at the University of Karlsruhe where he habilitated 1998. He became 1998 visiting professor at the Martin-Luther University Halle-Wittenberg (D) and 1999 at the Institute National Polytechnique Grenoble (F). In 2000 he became professor at the Martin-Luther University Halle- Wittenberg (D) where he holds the chair of Software-Engineering and Programming Languages. Wolf Zimmermann is member of the editorial board of the Journal of Universal Computer Science and the International Journal on Cloud Computing. He was co-chair on several conferences and workshops and founded together with Jens Knoop the Workshop series on Compiler Optimization meets Compiler Verification. (http://swt.informatik.uni-halle.de/mitarbeiter/zimmermann/)

Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.

Complang
   About Us
   Research
   Lehre
   Service
      Robotics
      Library
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Sitemap
Contact
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | Datenschutzerklärung | last update: 2018-05-25 (Webmaster)