🚀 go-pugleaf

-----------------------------------------------------------------------

FORSCHUNGSKOLLOQUIUM KI           

im Wintersemester 1997/1998

Dienstag, den 3.2.1998
Anfangszeit ausnahmsweise 16.30 Uhr s.t. !!!
Raum  FR 6007

-----------------------------------------------------------------------



Hierarchisierung von Graphen

Lothar Budach

Universitaet Potsdam



Moderne Softwareentwicklung zeichnet sich durch die Teilung grosser
Systeme
in kleinere Komponenten aus. Diese Teilkomponenten koennen Moduln sein
oder
aber auch komplexe Softwaresysteme, die erneut in kleinere Systeme
zerteilt
werden muessen. Sogar Moduln haben eine interne Struktur; sie bestehen
aus
dem Import, dem Export sowie dem Modulkoerper, der wiederum sich in Typ-
und Klassendefinitionen gliedert. Auch hier hoert die Gliederung nicht
auf:
die Operationen bzw. Methoden bilden die naechste Strukturebene.

Aehnlich wie in der Softwareentwicklung ergibt sich in vielen
Teilgebieten
der Informatik die Notwendigkeit, komplexe Systeme in kleinere
Subsysteme
zu zergliedern, die erneut eine hierarchische Struktur aufweisen. In der
kuenstlichen Intelligenz sind dies die Minskyschen Frames, in der
Psychologie die Praepositionalen Netze, in der Rechnernetztechnologie
das
Internet und die Intranetze, in der Programmierung die Klassengraphen
und
Objektnetze, in der Theoretischen Informatik dient eine
Hierarchisierung oft der Erhoehung der Durchsichtigkeit von Beweisen.

Der Vortrag berichtet ueber eine all diesen Aufgabenstellungen
zugrundeliegende mathematische Struktur, die sogenannten Hierarchischen
Graphen, die als gemeinsames Modell aller oben genannten Beispiele
Verwendung finden. Weiterhin wird ueber ein an der Universitaet Potsdam
laufendes studentisches Projekt berichtet, dessen Ziel darin bestand und
besteht, ein Werkzeug zu schaffen, mit dem hierarchische Graphen einfach
entworfen und editiert werden koennen. Dieser H-Graph-Editor hat (oder
wird
haben) unterschiedliche Schnittstellen, ueber die das Ergebnis als
H-Graph,
als Softwarespezifikation in Pi, als Halbordnung, als C++ oder Java-
Klassendefinition oder als SQL-Beschreibung ausgegeben werden kann.



-----------------------------------------------------------------------



Technische Universität Berlin 
Fachbereich 13 - Informatik
Methoden der Kuenstlichen Intelligenz (KI)
Sekretariat FR 5-8
Franklinstr. 28/29, D-10587 Berlin, Germany

Sekretariat: 

Cordula Lippke
Mo-Do von 9:00-12:00 Uhr
Raum FR5055
Telefon +49-30-314-24941
Fax +49-30-314-24913
E-Mail clippke@cs.tu-berlin.de

-----------------------------------------------------------------------


!!! Das aktuelle Kolloquiumsprogramm ist auch im WWW
!!! unter http://ki.cs.tu-berlin.de/col.html zu finden
!!!
!!! Diese Ankuendigung als PS-File:
!!! http://ki.cs.tu-berlin.de/budach.ps


-- 
### Peter Geibel 
### TU Berlin, KI, Sekr. FR 5-8, Franklinstr. 28/29, D-10587 Berlin
### Tel. +49-30-314-25491, Fax +49-30-314-24913
### http://www.cs.tu-berlin.de/~geibel, mailto:geibel@cs.tu-berlin.de