Projektarbeit: Modellkonstruktion für Komponentensysteme und Webservices
Projektarbeit: Modellkonstruktion für Komponentensysteme und Webservices
Entwickelt werden soll eine grafische Benutzeroberfläche (GUI), welche in die Lehre und Forschung bezüglich der Modellprüfung von Komponentensystemen und Web Services integriert werden kann. Diese GUI soll es erlauben, anhand intuitiver grafischer Repräsentation die Komposition (das Zusammensetzen) von Komponentensystemen aus Teilen durchzuspielen und dabei parallel die Verifikation der zusammengesetzen Teile zu betreiben.
Dazu sollen einzelne Bausteine (grafisch) definiert werden können, für welche Verträge und Schnittstellen angegeben werden. Die Schnittstellen der Bausteine sollen sich graphisch verbinden lassen (ein Verifikation der Schnittstellen ist im Rahmen der Projektarbeit nicht zu implementieren).
Ziel ist die Entwicklung einer flexiblen, intuitiven Benutzeroberfläche, welche als Frontend für verschiedene Modellprüfungswerkzeuge dienen kann.
Betreuer der Projektarbeit
| Dipl.-Inform. Andreas Both | andreas.both@informatik.uni-halle.de | Raum 3.21, Tel. 0345-55-24723 |
| Prof. Dr. Wolf Zimmermann | wolf.zimmermann@informatik.uni-halle.de | Raum 3.22, Tel. 0345-55-24712 |
Weitere Projekt- oder Diplomarbeitsthemen des Lehrstuhls können jederzeit bei einem der Mitarbeiter erfragt werden. Ebenso können Themen, das Forschungsgebiet betreffend, von Studenten vorgeschlagen werden.