Abgeschlossene Arbeiten

Studentische Arbeiten

Implementierung eines Monitors der Spezifikationen im MPN-Format interpretiert

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 modellgetriebenen Entwicklungsprozesses zur Generierung von Security-Monitoren wird eine Repräsentation der Spezifikation des erlaubten und verbotenen Verhaltens als Monitor Petri Netze (MPNs) generiert. Diese MPNs basieren auf Petrinetzen, die syntaktisch und semantisch angepasst wurden. Diese sollen zur Überwachung einer Kommunikation herangezogen werden.

Aufgabenstellung

In dieser Arbeit soll ein Metamodell der Monitor Petrinetze mit dem Metamodellierunswerkzeug MOFLON modelliert werden. Hieraus wird dann ein Repository generiert. Der so generierte Code kann das MPN-Modell einlesen und stellt dieses über JMI-Schnittstellen zur Verfügung.

Es soll ein Monitor (in Java programmiert) auf dieses Modell zugreifen und dieses mit den Ausführungstraces eines Programms abgleichen. Die Kommunikation zwischen Monitor und Programm findet hierbei über Events statt. Für diese Events soll eine wiederverwendbare Schnittstelle (Format) definiert werden.

Voraussetzungen

Benötigt werden Kenntnisse in:

  • UML
  • Java
  • Eclipse
  • ggf. Petri Netze

Zurück zur Übersicht