Hintergrund der Arbeit
Zur formalen Modellierung des Verhaltens verteilter Systeme sind vor einiger Zeit so genannte Interaktionssysteme (IS) vorgeschlagen worden. Die Grundidee der IS besteht darin, aus der expliziten Darstellung lokaler Einflüsse deren lokalen und globalen Effekte abzuleiten - durch nur zwei Typen bilateraler Interaktionsbeziehungen. Zur Modellierung bestimmter Systemeigenschaften ist das IS-Grundmodell am Lehrstuhl um Transformationen erweitert worden.
Ziel der Arbeit
Im Kontext der Modellierung inter-organisational verteilter Systemes (zum Beispiel Grids) ist das Ziel der Arbeit die Entwicklung eines Web-basierten Systems zur Visualisierung der Struktur solcher Modelle und zur Simulation deren Dynamik. Die Implementierung des Systems soll möglichst auf Ajax-Technologien beruhen.
Aufgabensteller:
Prof. Dr. D. Kranzlmüller
Anforderungen:
lineare Algebra, Grundkenntnisse in Web Services, fortgeschrittene Kenntnisse
in Java; im Idealfall Grundkenntnisse in Petri-Netzen
Dauer des Fopras bzw. der Bachelorarbeit: gemäß Studienordnung
Anzahl Bearbeiter: 1-3 (je mehr desto besser)
Betreuer:
Dr. Michael Schiffers, Oettingenstr. 67, Raum D 0.3 (Erdgeschoß), Tel. 2180-9164