Seminar: Software Engineering verteilter Systeme Hauptseminar im WS 2010/2011 Programmierung verteilter Systeme Institut für Informatik Universität Augsburg 86135 Augsburg Tel.: +49 821 598-2118 Fax: +49 821 598-2175 Web: www.ds-lab.org
Thema: Semantic Representations of Natural Language Text Betreuer: Wolf Fischer Overview History What are semantic representations of text? How does it work? State of the Art Look into two specific components (e.g. Boxer from C&C Tools, SPIN, etc.) Theoretic approach Demonstration Bernhard Bauer, all rights reserved 2008 2
Thema: Anaphor and Coreference Resolution Betreuer: Wolf Fischer Anaphors and Coreferences What are Anaphors? What are Coreferences? Difference Methods for Resolution State of the Art approaches Component Demonstration Bernhard Bauer, all rights reserved 2008 3
Thema: Model Transformation Betreuer: Raphael Romeikat Context of model transformation Essential for model-driven software development Abstraction levels and MDA Approaches to model transformation Model-to-model transformation (M2M) Model-to-text transformation (M2T) Features of model transformation Transformation rules Source-target relationship Rule application and scheduling Traceability Directionality Incrementality Bernhard Bauer, all rights reserved 2008 4
Thema: Model Transformation Languages Betreuer: Raphael Romeikat Focus on M2M transformations Model transformation language comparison ATL, Epsilon, QVT, Xpand/Xtend Comparison of features Application area, examples Implementation, availability Personal experience Bernhard Bauer, all rights reserved 2008 5
Topic: Visual Model Validation Specification Tutor: Benjamin Honke Focus: Graphical representation for Model Validation Languages What are Model Validation Languages? What can be expressed with Model Validation Languages? How to represent this graphically? State of the Art analysis of graphical constraint representations Object Constraint Language (OCL) <-> Visual OCL Epsilon Validation Language (EVL) <->??? Evaluation Evaluation of the relationship between textual and graphical concrete syntax Provide tooling concept Personal experience Bernhard Bauer, all rights reserved 2008 6
Topic: Domain Specific Languages with Xtext Tutor: Benjamin Honke Focus: Xtext 1.0 capabilities What are Domain Specific Languages? What is Xtext? How to use Xtext? State of the Art analysis of DSL development DSL Development approaches around Xtext Relationship to conventional parser generators Evaluation of Xtext capabilities Features of Xtext Methodology for Xtext projects Example implementation Personal experience Bernhard Bauer, all rights reserved 2008 7
Topic: Model Evolution Tutor: Christian Saad Focus: Evolution of (Meta)Models Introduction to modeling languages What are the reasons for model evolution? Which problems may occur if modeling languages change? Evaluation of state-of-the-art tooling COPE (Eclipse edapt) Features, techniques and methodology Bernhard Bauer, all rights reserved 2008 8
Topic: Metrics in Modeling Tutor: Christian Saad Focus: Metrics for good models What are metrics, why are they useful? How can metrics be devised/evaluated? What metrics exist for UML BPMN Development of own set of metrics Proof-of-concept implementation Bernhard Bauer, all rights reserved 2008 9
Organisatorisches Bewerbung E-mail an Betreuer (http://www.informatik.uni-augsburg.de/lehrstuehle/swt/vs/mitarbeiter/) Name, Matrikelnummer, Studiengang, Semester Bereits gehörte Vorlesungen und Seminare im Hauptstudium Gegebenenfalls weitere qualifizierende Vorkenntnisse Drei priorisierte Themenwünsche STUDIS Zusätzliche Anmeldung in STUDIS ist zwingend erforderlich Seminararbeit Formatvorlage auf PvS-Website (Springer LNCS, LaTeX) Umfang: 15-20 Seiten (exkl. Anhang) Abgabe aller für die Kompilierung notwendigen Ressourcen + Arbeit im pdf- Format Seminarvortrag Formatvorlage auf PvS-Website (PowerPoint, andere Programme erlaubt) Dauer: ca. 45 min / Person (35-40 min Vortrag, 5-10 min Diskussion) Anrechung des Seminars Alle Themen können in den Software Engineering Bereich eingebracht werden Bernhard Bauer, all rights reserved 2008 10
Termine Kickoff-Meeting: 02.11.2010 Bewerbungsschluss: 18.11.2010 Verteilung der Themen: 19.11.2010 Versand von Literaturhinweisen Anmeldung in STUDIS: 1. Besprechung: Literaturüberblick abgeschlossen Grobgliederung erstellt 2. Besprechung: Feingliederung erstellt Seminararbeit ~90% geschrieben Abgabe der Seminararbeiten: Abgabe der Foliensätze: offizieller Zeitraum 10.12.2010 (spätestens) 24.01.2011 (spätestens) 28.02.2011 (spätestens) 04.03.2011 (spätestens) Seminarvorträge: 07.-11.03.2011 Bernhard Bauer, all rights reserved 2008 11