Services in Timed Input/Output Automata

Zusammenfassung:

Das Projekt RAJA ist ein vom Bayrischen Wirtschaftsministerium gefördertes Projekt mit dem Ziel der Implementierung einer komponentenbasierten, universell einsetzbaren Autorisierungsplattform. Dazu wurde am Lehrstuhl ein eigenes Komponentenframework entwickelt, das es ermöglicht, Services in Komponenten auszuführen.

Ziel der Diplomarbeit ist die formale Spezifikation von Services mit Timed Input/Output Automata (TIOA) unter Berücksichtigung der Rahmenbedingungen des RAJA Komponentenframeworks. Anhand dieser Spezifikation erfolgt eine exemplarische Untersuchung von Input- und Output-Kompatibilität sowie eine Implementierung von Spezifikation unter Verwendung des RAJA Komponentenframeworks.

Download:
N/A