ABBILDUNGVON STOCHARTS NACH MODEST - ERGEBNISSE
Inhalt

In dieser Arbeit wurde eine automatische Abbildung von StoCharts Spezifikationen auf MoDeST entwickelt und implementiert. MoDeST [ARG01] ist eine Spezifikationssprache für verteilte Systeme. StoCharts hingegen [JAN03] ist eine Erweiterung von UML-Statechart Diagrammen, um Wahrscheinlichkeiten und Echtzeit-Eigenschaften auszudrücken.

 


Betreut wurde ich von Prof. Dr.-Ing. Holger Hermanns und Dr. David Jansen.

 

Das FoPra hatte folgende Aufgabenstellung.

Slides zu einem Vortrag während eines Treffens der MoDeST Entwickler.

Die fertige Ausarbeitung als PDF und als PS.

 

In diesem Paket sind die Sourcen sowie ein fertiges Binary für Linux zu finden. Auf Anfrage kann

daraus bestimmt auch ein Windows Paket gemacht werden.

Um P-Pseudonodes in TCM einzubinden wird folgender Patch benötigt.