Seminar: Software Engineering verteilter Systeme Hauptseminar im Sommersemester 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: Model Transformation Concepts 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) Relational, operational Model-to-text transformation (M2T) Template-based Features of model transformation Transformation rules Source-target relationship Rule application and scheduling Traceability Directionality Incrementality Bernhard Bauer, all rights reserved 2008 3
Thema: Model Transformation Languages Betreuer: Raphael Romeikat Context of model transformation Essential for model-driven software development Abstraction levels and MDA Focus on model-to-model (M2M) transformation languages ATL, Epsilon, QVT, Xpand/Xtend Language comparison Features Application area, examples Implementation, availability Personal experience Bernhard Bauer, all rights reserved 2008 4
Topic: Traceability of MDD Artifacts Tutor: Benjamin Honke Focus What is Traceability? How can Traceability of model-based artifacts be supported? State of the art analysis of existing traceability approaches Application areas Traceability Representations/Notations Tracebaility Analysis Techniques Evaluation Comparison between available approaches Personal experience Bernhard Bauer, all rights reserved 2008 5
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 6
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 7
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 8
Topic: Model-based Testing Tutor: Christian Saad Focus What is model-based testing? What are typical use cases? Critical evaluation Implementation of a small use case 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