Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

Virtualisierung und Compilation

 
  • Veranstalter: Prof. Dr. Bernhard Steffen
  • Basismodul (4 SWS)
  • Ort: OH 14, Raum 104
  • Zeit: wöchentlich jeweils  Mittwoch 12-14 und Freitag 12-14 Uhr
  • Start: Mittwoch, 16.10. 2013

 

Kommentar

Compilation hat zum Ziel, sogenannte WAS-Beschreibungen in WIE- Beschreibungen umzuwandeln. Klassisch ist hier das WIE mit direkt auf  Maschinen ausführbaren Beschreibungen assoziiert (z.B. Bytecode oder Assembler), und das WAS eine möglichst nutzerfreundliche, typischerweise algorithmische Beschreibung (z.B. in Java). Das zur Compilation duale Konzept (von einer WIE- zu einer WAS-Beschreibung)  ist "Virtualisierung". Diese bezeichnet die Abstraktion von technischen Details, wie etwa die einem System zu Grunde liegende Hardware- oder Softwareplattform, hin zu einer benutzernahen, fachlichen Sicht.

Der hier zu überbrückende WAS/WIE-Graben ist in den letzten Jahrzehnten immens gewachsen. Immer höhere Programmiersprachen machten die üblichen WAS-Beschreibungen immer komfortabler. Der Anspruch  wächst aber noch weiter: WAS-Beschreibungen in Form von Geschäftsprozessmodellen sollen auch übersetzbar werden. Das wirft die Frage auf, wie die Ebene der System-/Prozessentwicklung so von den Details etwaiger Plattformen abgekoppelt werden kann, dass einerseits eine problem- und zielorientierte Entwicklung/Modellierung, andererseits aber auch immer noch eine automatische Übersetzung in ausführbaren Code möglich ist.

Nach einem Rückblick auf die Techniken des klassischen Compilerbaus werden darüber hinaus gehende Techniken vorgestellt, die es erlauben, ausführbaren Code für immer abstrakter spezifizierte Merkmale und Funktionalitäten zu erzeugen. Dabei werden wir unterscheiden, inwieweit der erzeugte Code spezielle Rahmenbedingungen in Form spezifischer Laufzeitsysteme oder sogenannter "execution engines" erfordert, wie sie insbesondere zur Ausführung langlebiger Geschäftsprozesse eingesetzt werden.

Die in der Vorlesung vorgestellten Techniken werden sowohl theoretisch beleuchtet als auch anhand konkreter Anwendungsszenarien im Rahmen der Übungen erprobt. Dazu gehört der Einsatz unterschiedlicher Softwaretools wie beispielsweise ANTLR, jABC und Xtext in Form kleinerer Praxisprojekte.Die weiterführende Veranstaltung "Virtualisierungskonzepte in der Praxis" vertieft den Themenbereich der Virtualisierung weiter.

Aktuelles

Wegen Vorlesungsvertretung MafI entfällt die Dienstags-Übung vom 12.11. Alternativ kann der Mittwochstermin (Mittwoch 13.11., 14.00 - 15.30 Uhr, R 105, OH 14) wahrgenommen werden.

Infos zum Schwerpunkt (für Diplom-Studierende)

Die Vorlesung wird den Schwerpunkten 1 (Software-Konstruktion), 3 (Verteilte Systeme) und 4 (Algorithmen, Komplexität und formale Modelle) zugeordnet.

 

Übungsinfos

In den Übungen (2 SWS/ Woche) wird durch konkrete Aufgabenstellungen die Möglichkeit gegeben, das in der Vorlesung "Virtualisierung und Compilation" theoretisch erworbene Wissen anzuwenden und zu festigen. Als Übungstermin ist Dienstag, 16-18 Uhr, Raum 104 OH 14 vorgesehen (Start 29.10.2013).  Alternativ wird Mittwoch,14-16 Uhr, R 105 ein Zusatztermin angeboten  (Start 30.10.2013) .

 

Materialien

Die Materialien (Folien, Übungsaufgaben) werden rechtzeitig in einem EWS-Arbeitsraum  zur Verfügung gestellt.



Nebeninhalt

Kontakt

Tel. (0231) 755-5801
Fax (0231) 755-5802