Forschungspreis 97
Fakultät für Informatik würdigte Nachwuchsleistungen
Um die Forschungsaktivität und deren Niveau zu steigern hat der Rat der Fakultät für Informatik 1995 beschlossen, jährlich einen Forschungspreis zu vergeben. Dabei sollen abwechselnd Gesamtleistungen von jungen Nachwuchswissenschaftlern und hervorragende Einzelpublikationen gewürdigt werden.
Vier Einzelpublikationen
Für 1997 lagen vier Anträge für Einzelpublikationen aus den Instituten der Fakultät vor. Auf Empfehlung der Forschungskommission der Fakultät vergab der Rat der Fakultät in seiner Januarsitzung den Forschungspreis 1997 zu gleichen Teilen für die Arbeiten von Andreas Ulrich und Hartmut König „Specification-based testing of concurrent systems“ in: Proc. Jooint International Conference Formal Description Techniques and Protocol Specification, Testing and Verification, November 1997, Osaka sowie an Ingo Schmitt und Stefan Conrad für „Restructuring Class Hierarchies for Schema Integration“ in: Proc. Fifth Internatinal Conference on Database Systems for Advanced Applications, April 1997, Melbourne.
Die Arbeit von Andreas Ulrich greift das Problem der Testdatenableitung aus einer formalen Spezifikation eines verteilten Systems auf. Sie präsentiert ein neues Beschreibungsmodell, um nebenläufiges Verhalten in einer endlichen Notation auszudrücken. Mit Hilfe des neuartigen Modells ist es nunmehr möglich, Testdaten für den Test verteilter Systeme völlig automatisch abzuleiten.
Im Konferenzbeitrag von Ingo Schmitt wird ein Algorithmus zur Integration von Datenbankschemata beschrieben. Ein Schema definiert die Struktur einer Datenbank. Schemaintegration ist immer dann nötig, wenn mehrere Datenbanken oder auch Datenbestände korrekt und vollständig zusammengeführt werden müssen. Der vorgestellte Algorithmus beschreibt die Überführung der zu integrierenden Schemata in einen formalen Kontext, auf dessen Grundlage dann durch geeignete Sortierverfahren formale Begriffe abgeleitet werden. Mit Hilfe der gefundenen formalen Begriffe kann ein integriertes Schema aufgebaut werden, das die Struktur der integrierten Datenbank festlegt.
Alle eingereichten Arbeiten waren Beiträge für Konferenzen mit einer Ablehnungsrate zwischen 30 % und 60 % und durch die internationalen Programmkomitees sehr gut bewertet worden. Die beiden ausgezeichneten Arbeiten wurden deshalb prämiert, weil ihnen hinsichtlich Originalität und wissenschaftlichem Wert die bestmögliche Bewertung zuteil wurde.
Es wurde festgestellt, daß auch über die eingereichten Arbeiten hinaus Publikationen hoher Qualität an der Fakultät erstellt wurden. Auch wenn Tagungen zur Zeit die wesentlichen Möglichkeiten zur internationalen Repräsentation und wissenschaftlichen Diskussion sind, hält es der Rat der Fakultät für notwendig, auch in den international bedeutsamen Zeitschriften präsent zu sein und hofft, daß zukünftig auch exzellente Beiträge für Zeitschriften eingereicht werden.
Prof. Dr. Jürgen Dassow