Arbeitsbereich
THEORETISCHE GRUNDLAGEN DER INFORMATIK

Betreute und begutachtete Studienarbeiten, Diplomarbeiten sowie Promotionen

DR. DANIEL MOLDT

Stand: Juli 2001

Betreute / mitbetreute Studienarbeiten (Daniel Moldt)
am Fachbereich Informatik der Universiät Hamburg von 1990 bis 2001

1. Olk, Marcus; Schubert, Martin; Schulze-Brüggemann, Ralph: Systemmodellierung mit Methoden der Strukturierten Analyse basierend auf gefärbten Petrinetzen, (Erstbetreuer: R. Valk), Oktober 1992

2. Freund-Breuer, Margret; Fricke, Olaf: Spezifikation mit gefärbten Petrinetzen am Beispiel des Börsenspiels, (Erstbetreuer: R. Valk), September 1993

3. Beckmann, Nicole: Prototyping mit gefärbten Petrinetzen, (Erstbetreuer: R. Valk), November 1993

4. Siegel, Stefan: Objektorientierte Modellierung mit gefärbten Petrinetzen, Februar 1994

5. Kummer, Olaf: Modellierung eines Aufzugsystems mit Petri-Netzen, Juni 1994

6. Yilmaz, Mehmet: Von der Spezifikation direkt zur Implementation am Beispiel der Anwendung eines Tätigkeits- und Informationssystems mittels der Spezifikationsmethode Strukturierte Analyse und des Werkzeugs MS-Access 2.0, (Erstbetreuer: R. Valk), März 1995

7. Rodenhagen, Jörg: Strukturierte Analyse und ihre Anwendung auf ein Frachtverladezentrum, (Erstbetreuer: R. Valk), September 1995

8. Krauss, Tim-Oliver: Das Konzept der Objektorientierung in Petrinetzen, (Erstbetreuer: R. Valk), Mai 1996

9. Maier, Christoph: Darstellung von Konzepten der objektorientierten Modellierung und Programmierung mit Petrinetzen, (Erstbetreuer: R. Valk), Mai 1996

10. Brockmann, Heidi: Modellierung und Simulation von Aufzugsystemen mit Hilfe der Strukturierten Analyse unter Einsatz der Werkzeuge Promod und ShortCut, (Erstbetreuer: R. Valk), Juni 1996

11. Heinemeier, Anke: Diskussion von Erweiterungen der Marken von Petri-Netzen zu eigenständigen Systemen, Mai 1996

12. Buck, Thomas: Untersuchungen zur Strukturierten Analyse am Beispiel eines Warenwirtschaftsystems, April 1997

13. Netzebandt, Marc: Spezifikation eines Reisebuchungssystems mit gefärbten Petrinetzen, (Erstbetreuer: R. Valk), August 1997

14. Engelhardt, Adriana: Software Requirement Engineering - Probleme und mögliche Lösungsansätze, Dezember 1997

15. Rölke, Heiko: Transformation von Klassendiagrammen in objektorientierte Petrinetze unter besonderer Berücksichtigung von Assoziationen, Januar 1999

16. Mirsaidi, Bita: Diskussion über SSADM am Beispiel der Minotours LTD, (Erstbetreuer: R. Valk), Januar 1999

17. Heitsch, Sven, Martens, Marcel: Modellierung des Garbage Can Model of Organizational Choice mit Referenznetzen, Januar 2000

18. Duvigneau, Michael: Modellierung eines Börsenspiels mit Referenznetzen, Januar 2001

19. Jacob, Thomas: Anbindung eines Petrinetz-Simulators an eine Datenbank, Februar 2001

20. Schumacher, Jörn: Petrinetzbasierte Validierung von Vererbung in Zustandsdiagrammen, (geplante Fertigstellung:) Ende 2001

21. Kroll, Torben: Werkzeugerstellung zur Komposition gefärbter Petrinetze, (geplante Fertigstellung:) Anfang 2002

Betreute / mitbetreute Diplomarbeiten (Daniel Moldt)
am Fachbereich Informatik der Universiät Hamburg von 1990 bis 2001

1. Fricke, Olaf: Die Strukturierte Analyse auf der Basis höherer Petri-Netze, (Erstbetreuer: R. Valk; Zweitbetreuer: D. Moldt), Juni 1995

2. Siegel, Stefan: Objektorientierte Modellierung basierend auf gefärbten Petrinetzen, (Erstbetreuer: R. Valk; Zweitbetreuer: D. Hauschildt; Drittbetreuer: D. Moldt), November 1995

3. Rodenhagen, Jörg: Darstellung erignisgesteuerter Prozeßketten (EPK) mit Hilfe von Petrinetzen, (Erstbetreuer: R. Valk; Zweitbetreuer: D. Hauschildt; Fachbetreuer: Daniel Moldt), Januar 1997

4. Nietsch, Oliver: Die Modellierung und Validierung dynamischen Systemverhaltens am Beispiel von StP/OMT und Tycoon, (Erstbetreuer: J. W. Schmidt; Zweitbetreuer: R. Valk; Fachbetreuer: Daniel Moldt), Februar 1997

5. Maier, Christoph: Objektorientierte Analyse mit gefärbten Petrinetzen, (Erstbetreuer: R. Valk; Zweitbetreuer: D. Moldt), April 1997

6. Brammer, Ulrich und Göhmann, Markus: Objektorientierung und Persistenz: Konzepte und Realisierung eines Materialraums unter Anbindung paradigmatisch unterschiedlicher Datenbanken, (Erstbetreuer: I. Wetzel; Zweitbetreuer: D. Moldt), August 1997

7. Störrle, Harald: Strukturbisimulation auf höheren Petrinetzen, (Erstbetreuer: R. Valk; Zweitbetreuer: D. Moldt), August 1997

8. Biallas, Heinrich: Realisierung der verteilten Ausführung von gefärbten Petrinetzen, (Erstbetreuer: R. Valk; Zweitbetreuer: D. Moldt), Oktober 1997

9. Gerken, Barabara: GEMSE - Erstellung eines rechnergestützten Modells zur Gebäude-Ökobilanzierung am Beispiel der Universität Hamburg, (Erstbetreuer: A. Rolf; Zweitbetreuer: D. Moldt), November 1997

10. Bruckmann, Carsten und Weinert, Mirko (Gruppenarbeit): Business process und ,,eco process`` in einem integrierten Informationssystem, (Erstbetreuer: A. Rolf; Zweitbetreuer: D. Moldt), November 1997

11. Hamer, Keno: Visualisierung von Objektinteraktionen, (Erstbetreuer: H. Züllighoven; Zweitbetreuer: D. Moldt), Februar 1998

12. Breilmann, Markus: Dynamische Integration sicherheitsrelevanter Unterstützungsdienste im elektronischen Dienstemarkt, (Erstbetreuer: W. Lamersdorf; Zweitbetreuer: D. Moldt), März 1998

13. Hartmann, Andreas: Unterstützung kooperativer Arbeit mit der MFC und DCOM am Beispiel eines Pausenplanersystems, (Erstbetreuer: H. Züllighoven; Zweitbetreuer: D. Moldt), August 1998

14. Krauß, Tim-Oliver: Softwarekonstruktion nach WAM unter Nutzung des MFC Rahmenwerkes, (Erstbetreuer: H. Züllighoven; Zweitbetreuer: D. Moldt), August 1998

15. Netzebandt, Marc: Untersuchung der Einsatzmöglichkeiten von Petri-Netz-Konzepten in der objektorientierten Analyse am Fallbeispiel eines Reiseunternehmens, (Erstbetreuer: D. Moldt; Zweitbetreuer: F. Matthes), Januar 1999

16. Faulbaum, Anke: Simulation von Netzen in Netzen, (Erstbetreuer: D. Moldt; Zweitbetreuer: R. Valk; Fachbetreuer: O. Kummer), Februar 1999

17. Reich, Stefan: Lastverteilung in verteilten Objektsystemen am Beispiel CORBA, (Erstbetreuer: W. Lamersdorf; Zweitbetreuer: D. Moldt), Juli 1999

18. Engelhardt, Adriana: Transformation von UML-Spezifikationen in objektorientierte Petrinetze zur Ausführung in Income (Fallstudie eines Reiseunternehmens), (Erstbetreuer: D. Moldt; Zweitbetreuer: L. Dreschler-Fischer), Oktober 1999

19. Tetau, Dirk: Regelunterstützte Komponentenkomposition, (Erstbetreuer: W. Lamersdorf; Zweitbetreuer: D. Moldt), November 1999

20. Rölke, Heiko: Multiagenten-Netze - Modellierung eines Multiagentensystems auf Basis von Referenznetzen, (Erstbetreuer: D. Moldt; Zweitbetreuer: W. Lamersdorf), Dezember 1999

21. Peyman, Ansari: Auswahl und Integration eines geeigneten Workflow-Management-Systems zur Steuerung organisationsübergreifender Prozesse, (Erstbetreuer: M. Merz; Zweitbetreuer: D. Moldt), Januar 2000

22. Wolff, Eberhard: Genetische Programmiermodelle für adaptive Softwaresysteme, (Erstbetreuer: W. Lamersdorf; Zweitbetreuer: D. Moldt), Februar 2000

23. Pfeiffer, Martin Andreas: Modifikation eines graphischen Frameworks für Petrinetzeditoren unter besonderer Berücksichtigung von Sichten und Abstraktion, (Erstbetreuer: D. Moldt; Zweitbetreuer: W. Hansmann), März 2000

24. Kunze, Christian: Ein Framework zur Anwendung von Rules in elektronischen Verhandlungsszenarien, (Erstbetreuer: W. Lamersdorf; Zweitbetreuer: D. Moldt), April 2000

25. Hort, Bernd: Umsetzung von UML-Modellen in Lotus-Notes-Anwendungen, (Erstbetreuer: D. Moldt; Zweitbetreuer: H. Oberquelle), Juli 2000

26. Döhring, Carsten: Vorgangsorientierte Systementwicklung für kooperative Anwendungen: Der Weg vom ARIS-Prozeßmodell zum COSA-Workflow, (Erstbetreuer: I. Wetzel; Zweitbetreuer: R. Valk; Drittbetreuer: D. Moldt), August 2000

27. Laue, Annette und Liedtke, Matthias: Zustands- und prozeßorientierte Modellierung, (Erstbetreuer: D. Moldt; Zweitbetreuer: A. Rolf), September 2000

28. von Scheve, Christian : Emotionale Agenten - Eine soziologische Fundierung, (Erstbetreuer: R. von Lüde (Soziologie); Zweitbetreuer: R. Valk; Drittbetreuer: D. Moldt), November 2000

29. Heyden, Oliver: Statecharts, (Erstbetreuer: W. Lamersdorf; Zweitbetreuer: D. Moldt), geplante Fertigstellung: Herbst 2001

30. Kanzlers, Andreas: Konzepte zur Abbildung von Modellen auf Code für Aspekte verteilter Systeme, (Erstbetreuer: W. Lamersdorf; Zweitbetreuer: D. Moldt), geplante Fertigstellung: Herbst 2001

31. Braubach, Lars und Pokahr, Alexander: Generierung einheitlicher graphischer Benutzungsschnittstellen für Global-Info Dienste durch Auswertung von UML-Modellinformationen, (Erstbetreuer: W. Lamersdorf; Zweitbetreuer: D. Moldt), geplante Fertigstellung: Herbst 2001

32. Fragemann, Per: Refactoring von UML-Modellen, (Erstbetreuer: W. Lamersdorf; Zweitbetreuer: D. Moldt; Drittbetreuer (Praxis): M. Boger), geplante Fertigstellung: Juni 2002

33. Eichler, Clemens: Entwicklung einer Plug-In-Architektur für Komponenten, (Erstbetreuer: W. Lamersdorf; Zweitbetreuer: D. Moldt), geplante Fertigstellung: Februar 2002

34. Schmidt, Martin: Möglichkeiten der Lastverteilung in mehrschichtigen Applikationsservern, (Erstbetreuer: W. Lamersdorf; Zweitbetreuer: D. Moldt), geplante Fertigstellung: April 2002

35. Jacob, Thomas: Implementierung einer sicheren und rollenbasierten Workflowmanagement-Komponente für ein Petrinetzwerkzeug, (Erstbetreuer: D. Moldt; Zweitbetreuer: H. Oberquelle), geplante Fertigstellung: Juni 2002

36. Duvigneau, Michael: Eine Agentenplattform zur Unterstützung der Entwicklung petrinetzbasierter Agenten, (Erstbetreuer: D. Moldt; Zweitbetreuer: A. Rolf), geplante Fertigstellung: Anfang 2002

37. Martens, Marcel: Agentenorientierte Modellierung von Entscheidungsfindung, (Erstbetreuer: D. Moldt; Zweitbetreuer: A. Rolf), geplante Fertigstellung: Anfang 2002

Begutachtete Promotionen (Daniel Moldt)
am Fachbereich Informatik der Universiät Hamburg 2001

1. Boger, Marko: Entwicklung verteilter Softwaresysteme: Integration von Verteilung, Nebenläufigkeit und Persistenz, (Betreuer: W. Lamersdorf; Gutachterin: C. Linnhoff-Popien (LUM-München); Gutachter: D. Moldt; Promotionsprüfungsausschussvorsitzender: H. Oberquelle), Januar 2001

2. Griffel, Frank: Verteilte Anwendungssysteme als Komposition klassifizierter Softwarebausteine: Ein komponenten-basierter Ansatz zur Generativen Softwarekonstruktion, (Betreuer: W. Lamersdorf; Gutachterin: E. Horn (Potsdam); Gutachter: D. Moldt; Promotionsprüfungsausschussvorsitzende: C. Floyd), Juli 2001

[Homepage Daniel Moldt] [MitarbeiterInnen] [TGI] [Informatik]