aktuelle Projekte und Schwerpunktthemen

• Synthese von Petrinetzen aus Szenarien (SYNOPS)
  Im DFG-Projekt "Synthese von Petrinetzen aus Szenarien" sollen effiziente Regionen-basierte Methoden zur Synthese von Petrinetzen aus nicht-sequentiellen Verhaltensmodellen entwickelt und deren Anwendbarkeit im Bereich der Geschäftsprozessmodellierung und Steuerungssynthese untersucht werden. Zur Evaluationszwecken werden Synthese-Algorithmen im VIPtool implementiert (siehe Projekt VIP). Das Projekt hat eine Laufzeit von 2007 bis 2009.


• Verifikation von Informationssystemen (VIP)
  Im DFG-Projekt "Verifikation von Informationssystemen durch Auswertung halbgeordneter Prozesse" wurde das Werkzeug VIPtool entwickelt. Laufende Forschungsarbeiten konzentrieren sich auf Ergänzungen dieses Werkzeugs und auf Einsatzszenarien im Bereich der Informationssystementwicklung.


• Integration von Spezifikations- und Modellierungstechniken bei der Modellsynthese im Steuerungsentwurf (SpeciMen, 1999 - 2005)
  Dieses DFG-Projekt fand in Zusammenarbeit mit Prof. Hanisch (Automatisierungstechnik, Universität Halle) statt und wurde von der DFG im Rahmen des Schwerpunktprogramms "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen" gefördert.


• Studierende entwickeln Online Services (STENOS)
  Dieses thematische Gebiet hat Schwerpunkte in der Lehre, in der Forschung und in der Anwendung. Im Rahmen von fortgeschrittenen Vorlesungen und Projektpraktika werden netzbasierte Anwendungssysteme (elektronische Dienste) prototypisch entwickelt; hierbei spielt die Anforderungsanalyse und das Projektmanagement eine besondere Rolle. Dies knüpft unmittelbar an die Forschung an, denn dieselben Veranstaltungen werden zur Evaluation von Thesen und Ergebnissen verwendet, die die Unterschiede zwischen netzbasierten Systemen und allgemeiner Software charakterisieren. Flankiert werden die Forschungsaktivitäten durch zwei Industrieprojekte in diesem Bereich.


• Webkalender
  Entwicklung eines webbasierten Terminkalenders in Kooperation mit der HMD-Software-AG


• Internet und Multimedia, neue Medien in der Lehre
  Kern dieses Forschungsvorhabens ist die Frage, wie sich neue Medien und Multimedia in den Präsenzunterricht gewinnbringend integrieren lassen und wie die Präsenzlehre mit virtuellen Internet-basierten Lernformen gewinnbringend kombiniert werden kann. Die Forschungen fanden im Zusammenhang der Baden-Württembergischen Projekte VIKAR und VIROR statt (beide verantwortlichen Wissenschaftler waren zuvor in Karlsruhe tätig) und stehen jetzt im Zusammenhang mit der virtuellen Hochschule Bayern (VHB). In Eichstätt ist der Themenbereich multimedialer Lehrelemente besonders im Rahmen der Lehrerbildung relevant. Zudem sollen virtuelle Lehrformen synchroner und asynchroner Art bei standortübergreifenden Lehrveranstaltungen mit der Ingolstädter Fakultät der Katholischen Universität Eichstätt-Ingolstadt getestet und eingesetzt werden. Ein besonderer Schwerpunkt bei den Inhalten ist die Modellierung, Simulation und Validierung der Modelle verteilter Systeme. Bisherige Erfahrungen in diesem Gebiet wurden bei gemeinsamen Teleseminaren mit den Universitäten Karlsruhe, Heidelberg und Freiburg erworben.