Abgeschlossene Arbeiten

Studentische Arbeiten

Transformation von Life Sequence Charts zu Monitor-Petri-Netzen

Typ der Arbeit: Bachelor-Thesis, Studienarbeit
Bearbeitungsstand: Abgeschlossene Arbeiten
Möglicher Beginn der Arbeit: sofort
Arbeit abgeschlossen am: 31.01.2011
Betreuer*in: Dr.-Ing. Sven Patzina

Zurück zur Übersicht

Motivation

Im Rahmen der Forschung an einem „Durchgängigen, modellbasierten Software-Entwicklungsprozess, zur Generierung von Monitoren unter Berücksichtigung von Security-Aspekten“ sollen die Spezifikationen als Life Sequence Charts (LSCs) modelliert werden.

Da diese Analyse der LSCs zur Generierung der Monitore relativ komplex ist, sollen diese zunächst in eine Zwischensprache - Monitor Petri Netze (MPNs) - übersetzt werden. Bei MPNs handelt es sich um einen Petrinetzdialekt, der einfacher zu interpretieren ist.

Aufgabenstellung

Die Transformation soll mit Hilfe des Metamodellierungswerkzeugs MOFLON spezifiziert werden. Gestellt wird ein erstes Metamodell für Monitor Petri Netze. Ziel der Arbeit ist der Aufbau eines Metamodells für Life Sequence Charts sowie die Beschreibung der Transformation zwischen den Metamodellen als Story Diagramme.

Voraussetzungen

Kenntnisse in:

  • Java
  • UML

Zurück zur Übersicht