Navigation

Skiplinks

Kontakt

Liebe Studentinnen und Studenten,

Themen für Abschlussarbeiten werden im Normalfall direkt auf den Studierenden zugeschnitten. Vereinbart dazu einen Termin mit uns in dem wir mögliche Themen besprechen können.

Ein Bespiel dafür wie ein Thema für eine Abschlussarbeit aussehen könnte folgt:

Beispielthema

Spezifikation von regelbasierten Systemen: Eine Fallstudie

TypBachelorarbeit (4 Monate)
KontaktpersonAnnegret Habel
Startzeitpunktab sofort
KurzbeschreibungBei der Modellierung eines Systems aus der realen Welt werden häufig Systemzustände durch Graphen, das dynamische Verhalten des Systems durch ein Graphtransformationssystem und die erwünschten Systemeigenschaften durch eine Graphbedingung beschrieben werden.
Für den Fall der geschachtelten Graphbedingungen [HP09] lassen sich in Anwendungsbedingungen für das Graphtransformationssystem transformieren, so dass mit dem modifizierten System nur Transformationen in Zustände, die die Systembedingung erfüllen, möglich sind. Für allgemeinere Graphbedingungen [HR10] wäre eine entsprechende Transformation wünschenswert.
Ziel dieser Arbeit ist die Entwicklung und Präsentation eines Beispiels (Darstellung der Systemzustände durch Graphen, Beschreibung des dynamische Verhaltens durch ein Graphtransformationssystem, Beschreibung der erwünschten Systemeigenschaften durch eine Graphbedingung), die Klassifikation der verwendeten Graphbedingungen und die Transformation der Bedingungen in geeignete Anwendungdbedingungen.
VoraussetzungenGute Kenntnisse über Graphersetzungssysteme.
Literatur[HP09] [HR10] [Rad13]

http://formale-sprachen.informatik.uni-oldenburg.de/pub/bib-new/lit-topics.bib bibtex file not found
FS-Webmaster6t8hx (h.radke@uol.de) (Stand: 10.09.2018)