Formale Sprachen

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]

 

  • H. Radke, "HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas," Electronic Communications of the EASST, vol. 61, 2013.
    @article{Radke13,
      author = {Radke, Hendrik},
      title = {{HR}* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas},
      booktitle = {Selected Revised Papers from the 4th International Workshop on Graph Computation Models (GCM 2012)},
      journal = {Electronic Communications of the EASST},
      volume = {61},
      year = {2013},
      alturl = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/Radk13.pdf},
      url = {http://journal.ub.tu-berlin.de/eceasst/issue/view/69/},
      publists = {mmgg,topics} }
  • A. Habel und H. Radke, "Expressiveness of Graph Conditions with Variables," Electronic Communications of the EASST, vol. 30, iss. \emphInt. Colloquium on Graph and Model Transformation on the occasion of the 65th birthday of Hartmut Ehrig, 2010.
    @article{Habel-Radke10a,
      author = {Habel, Annegret and Radke, Hendrik},
      title = {Expressiveness of Graph Conditions with Variables},
      number = {\emph{Int. Colloquium on Graph and Model Transformation on the occasion of the 65th birthday of {H}artmut {E}hrig}},
      journal = {Electronic Communications of the EASST},
      volume = {30},
      year = {2010},
      publists = {topics},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/HaRa10a.pdf},
      url = {http://journal.ub.tu-berlin.de/index.php/eceasst/issue/view/40} }
  • A. Habel und K. Pennemann, "Correctness of high-level transformation systems relative to nested conditions," Mathematical Structures in Computer Science, vol. 19, pp. 1-52, 2009.
    @article{Habel-Pennemann09a,
      author = {Habel, Annegret and Pennemann, Karl-Heinz},
      title = {Correctness of high-level transformation systems relative to nested conditions},
      journal = {Mathematical Structures in Computer Science},
      volume = {19},
      pages = {1-52},
      year = {2009},
      publists = {dcgts,selected,topics},
      url = {http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/mscs-HP09.pdf},
      url = {http://journals.cambridge.org/action/displayFulltext?type=1&fid=5376264&jid=MSC&volumeId=19&issueId=02&aid=5376256} }