e p i l o g - Fakultät für Informatik, TU Wien - Technische Universität ...

Arbeitsbereich Theoretische Informatik und Logik
Andreas Bernthaler
Reconstruction of Functional Context from Heterogenous Data Networks
Studium: Masterstudium Software Engineering and Internet Computing
BetreuerIn: Ao.Univ.Prof. Dr. Rudolf Freund
Aneta Binder
Applications of Membrane Systems for Distributed Systems
Studium: Diplomstudium Informatik, Masterstudium Informatikmanagement
BetreuerIn: Ao.Univ.Prof. Dr. Rudolf Freund
Abstrakt: Mit dem Hintergrund von bekannten biologisch theoretischen
Modellen befassen wir uns damit, diese im Bereich der informatischen
Fragestellung anzuwenden. Eines dieser Modelle, präsentiert von A.
Rustom, R. Saffrich, I. Markovic, P. Walther und HH. Gerdes in
[Nanotubular highways for inter-cellular organelle transport, Science 303
(2004), 1007–1010] hat sich als sehr geeignet erwiesen, um
Kommunikationsprozesse in verteilten Systemen zu modellieren. In dieser
Arbeit beschreiben wir diese mittels eines speziellen Modells von
Membransystemen, welche erstmals 1998 von Gheorge Paun in
[Computing with membranes, Journal of Computer and System Sciences
61, 1 (2000), 108–14] vorgestellt wurden. Der erste Entwurf des Modells
P system with dynamic channels transporting membrane vesicles wurde
2005 von Rudolf Freund und Marion Oswald in [P systems with dynamic
channels transporting membrane vesicles, Proceedings AROB 2005 ]
publiziert. In unserer Arbeit erweitern wir dieses Modell mit Hilfe einiger
neuer Regeln und weiterer neuer Eigenschaften, die sich für die
Modellierung von verteilten Systemen als notwendig erwiesen haben. Diese
Erweiterungen machen es uns möglich, verschiedene Architekturen und
Kommunikationsabläufe in Abhängigkeit von den unterschiedlichen
Netzwerktopologien zu modellieren. Die Funktionsweise unseres Modells
demonstrieren wir an Hand einiger Beispiele unter Anwendung der im
Modell definierten Regeln. Schließlich fügen wir zu den bestehenden
Definitionen weitere neue Eigenschaften hinzu, um auch dynamische
Prozesse, wie Adressenzuteilung und Resourcenverwaltung, darstellen zu
können.
Karl GMEINER
Transformation of Conditional Term Rewriting Systems
Studium: Diplomstudium Informatik
BetreuerIn: Ao.Univ.Prof.Dr. Bernhard Gramlich
29
30
Abstrakt: Termersetzungssysteme sind einfache Systeme, die in vielen
Gebieten der theoretischen Informatik wie gleichungsbasiertem Schließen
oder deduktiver Programmierung eingesetzt werden. In der Vergangenheit
wurden viele ihrer Eigenschaften genau untersucht, sodass diese Systeme
gut verstanden werden. Bedingte Termersetzungssysteme stellen eine
intuitive Erweiterung dar, die die Möglichkeit zu einer kompakteren Definition
von Funktionen bietet. Durch das Einführen von Bedingungen sind diese
Systeme jedoch schwerer zu analysieren. Aus diesem Grund versucht man,
durch geeignete Transformationen bedingte Termersetzungssysteme in
Unbedingte umzuwandeln, um Eigenschaften und Methoden unbedingter
Systeme anwenden zu können. Diese Diplomarbeit bietet einen Überblick
über generelle Ansätze und vergleicht konkrete Transformationen bzw.
schlägt Verbesserungen vor.
Georg Lojka
Applications of Membrane Systems for Distributed Systems
Studium: Diplomstudium Informatik, Masterstudium Informatikmanagement
BetreuerIn: Ao.Univ.Prof. Dr. Rudolf Freund
Abstrakt: siehe Aneta Binder
Felix Schernhammer
On Context-Sensitive Term Rewriting
Studium: Masterstudium Computational Intelligence
BetreuerIn: Ao.Univ.Prof. Dr. Bernhard Gramlich
Abstrakt: Termersetzungssysteme bilden die formale Basis für funktionale
und funktional-logische Programmiersprachen. Unglücklicherweise hängen
die Effizienz und das Terminierungsverhalten von Reduktionen, die durch
Termersetzungssysteme induziert werden, in hohem Maße von der
verwendeten Evaluierungsstrategie ab, bei deren Wahl oft ein Kompromiss
zwischen Effizienz und gutem Terminierungsverhalten getroffen werden
muss. Mit Hilfe von Einschränkungen der Termersetzungsrelation kann
dieses Problem teilweise gelöst werden. In dieser Arbeit werden drei
Formalismen vorgestellt, die solche Einschränkungen vornehmen: Beim
sogenannten Context-Sensitive Rewriting gibt die Replacement Map für jedes
Funktionssymbol an welche Argumente reduziert werden sollen und welche
nicht. Im Lazy Rewriting dürfen Argumente von Funktionen nur dann
ausgewertet werden, wenn ihre Auswertung für das Berechnen der Funktion
unbedingt notwendig ist. Beim Rewriting with Strategy Annotations wird für
jede Funktion eine Reihenfolge festgelegt, mit der ihre Argumente evaluiert
werden. Ziel dieser Arbeit ist es einen Überblick und Vergleich bestehender
Ansätze zu geben, und weitere Anwendungsgebiete der Termersetzung mit