Studentische Arbeiten
Implementierung eines Monitors der Spezifikationen im MPN-Format interpretiert
Type of thesis:
Bachelor-Thesis,
Studienarbeit
State: Abgeschlossene Arbeiten
Possible start of thesis: sofort
Thesis closed on: 31.01.2011
Tutor: Dr.-Ing. Sven Patzina
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.
Task
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.
Preconditions
Benötigt werden Kenntnisse in:
- UML
- Java
- Eclipse
- ggf. Petri Netze
