Einladung zum Oberseminar Methoden und Theorie der Software-Entwicklung

Datum und Zeit: Dienstag, 07. Dezember 2010 - 14 Uhr c.t.

Raum: 057, Oettingenstraße 67

Studentenvorträge zu Projekt- und Abschlussarbeiten:

Annabelle Klarl: An evaluation of LEGO MINDSTORMS for collaborative swarm robotics with regard to the possibility of applying smart agents

Diplomarbeit - betreut von Dr. Matthias Hölzl

Swarm robotics tries to apply swarm intelligence known from social insects such as ants, termites and bees to robots: while each robot is relatively simple, intelligent behaviour emerges from local interactions among robots without any kind of centralized control. As these simple individuals are not aware of their environment, their goals or even themselves and cannot reason or plan their actions the tasks they can perform are rather limited. To extend the application areas, current research tries to extend swarm robotics with intelligent agents. Intelligent agents should extend simple reflexive robots to smart robots that are able to think and communicate in order to reach solutions depending on knowledge gained over a longer period of time. In this master thesis, we have explored the suitability of LEGO MINDSTORMS for swarm robotics in general and later on for the incorporation of learning, reasoning and planning. We have evaluated the overall performance of LEGO MINDSTORMS in precision of motors and sensors, durability of power supply, computational power and capabilities for communication and physical interaction. Based on this assessment we have defined and implemented some preliminary work for collective transportation such as single and distributed line-following and heading following. For collective transportation a swarm of robots should push an object too heavy or big for a single one according to a specific course, e.g. a black line on the floor. Since collective transportation requires further exploration of areas like distributed intelligence, we have focused on the sub-tasks mentioned above. A single line-follower thereby recognizes a black line a white surface and follows this line. Distributed line-following extends this principle to pushing an object by several robots along this line. In the last application of heading following, some robots try to align their heading according to a heading given by a line-follower. Overall, we appreciate LEGO MINDSTORMS as an inexpensive platform powerful and extendible enough for prototyping new approaches in swarm robotics, even with the possibility for the inclusion of intelligent agents.

---------------------------------------

Konstantin Matuschek: Generierung von Java-Code aus FSP-Prozessausdrücken

Diplomarbeit - betreut von Prof. Rolf Hennicker, Philip Mayer

Diese Diplomarbeit behandelt die maschinelle Übersetzung von FSP-Prozessausdrücken, die zur Modellierung paralleler Prozesse eingesetzt werden, in die objektorientierte Programmiersprache Java. Die Übersetzung erfolgt anhand von Mustern, wobei insbesondere auf ein Muster für Monitore eingegangen wird, da Monitore die von Java verwendete Methode zur Synchronisation und Prozesskooperation sind. Für die Modellierungssprache FSP werden ein Metamodell und ein Parser vorgestellt, die auf der Bibliothek xtext für Domain Specific Languages basieren. Außerdem werden, in Hinblick auf die maschinelle Übersetzung, nötige Anpassungen der Entwicklungsmethodik für parallele Programme diskutiert. Desweiteren wird ein Plugin für die integrierte Entwicklungsumgebung Eclipse vorgestellt, welches die maschinelle Übersetzung implementiert. Dieses Übersetzungsplugin verwendet das vorgestellte Metamodell und den Parser.

---------------------------------------

Sergej Kozuruba: Modellbasierte Anforderungsanalyse für die Entwicklung von adaptiven RIAs

Diplomarbeit - betreut von Dr. Nora Koch

In dieser Arbeit wurden sowohl die Anwendungsfalldiagramme, als auch die dazugehörigen Aktivitätsdiagramme der Anforderungsanalyse um geeignete Stereotypen erweitert, um die wichtigsten Informationen aus dem Inhalts-, Navigations-, Prozess- und Präsentationsmodell einer Webanwendung bereits zu dieser Phase modellieren zu können. Außerdem ermöglicht die Erweiterung nun im Besonderen die Modellierung von Adaptivität und von Eigenschaften einer RIA während der Anforderungsanalyse. Die so entstandenen Veränderungen wurden anhand einer RIA zur Darstellung eines soziales Netzes namens Philoponella validiert. Schließlich wurden Modelltransformationen definiert, welche zum einen aus den erweiterten Modellen der Anforderungsanalyse das automatische Erzeugen weiterer Modelle ermöglichen und zum anderen dem Entwickler die Möglichkeit geben auch bestehende Diagramme der vier Modelle um einzelne aus der Anforderungsanalyse gewonnene Elemente zu erweitern.

---------------------------------------

Alle Interessierten sind herzlich eingeladen!