Informatik aktuell Herausgeber: W. Brauer im Auftrag der Gesellschaft für Informatik (GI) Springer Berlin Heidelberg New York Barcelona Budapest Hongkong London Mailand Paris Santa Clara Singapur Tokio Matthias J arke Klaus Pasedach Klaus Pohl (Hrsg.) Informatik '97 Informatik als Innovationsmotor 27. Jahrestagung der Gesellschaft für Informatik Aachen, 24.-26. September 1997 Springer Herausgeber Matthias Jarke Lehrstuhl für Informatik V RWTH Aachen, 0-52056 Aachen Klaus Pasedach Philips GmbH Forschungslaboratorien Weißhausstr. 2,0-52066 Aachen Klaus Pohl Lehrstuhl für Informatik V RWTH Aachen, 0-52056 Aachen Die Deutsche Bibliothek - CIP-Einheitsaufnahme Infonnatik '97 : Informatik als Innovationsmotor ; Aachen, 24. - 26. September 1997 / Hrsg.: Matthias Jarke ... - Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hongkong ; London ; Mailand ; Paris; Santa Clara ; Singapur ; Tokio: Springer, 1997 (GI-Jahrestagung; 27) (Informatik aktuell) ISBN 978-3-540-63066-1 27. Informatik '97. - 1997 CR Subject Classification (1997): A.O, C.O, 0.0, F.O, G.O, H.O, 1.0, J.O, K.O ISBN-I 3 : 978-3-540-63066-1 e-ISBN-13: 978-3-642-60831-5 DOl: 10.1007/978-3-642-60831-5 ISBN 978-3-540-63066-1 Springer-Verlag Berlin Heidelberg New York Dieses Werk ist urheberrechtlich geschützt. Die dadurch begründeten Rechte, insbesonde re die der Übersetzung, des Nachdrucks, des Vortrags, der Entnahme von Abbildungen und Tabellen, der Funksendung, der Mikroverfilmung oder der VervielfäItigung auf anderen Wegen und der Speicherung in Datenverarbeitungsanlagen, bleiben, auch bei nur auszugs weiser Verwertung, vorbehalten. Eine Vervielfältigung dieses Werkes oder von Teilen dieses Werkes ist auch im Einzelfall nur in den Grenzen der gesetzlichen Bestimmungen des Urheberrechtsgesetzes der Bundesrepublik Deutschland vom 9. September 1965 in der jeweils geltenden Fassung zulässig. Sie ist grundsätzlich vergütungspflichtig. Zuwider handlungen unterliegen den Strafbestimmungen des Urheberrechtsgesetzes. © Springer-Verlag Berlin Heidelberg 1997 Reprint of the original edition 1997 Satz: Reproduktionsfertige Vorlage vom Autor/Herausgeber SPIN: 10630394 33/3142-543210 - Gedruckt auf säurefreiem Papier Tagungsleitung Organisationskomitee M. Jarke, K. Pohl, RWTH Aachen (Vorsitz) Informatik V, RWTH Aachen L. Cloth, RWTH Aachen R. Dömges, RWTH Aachen K. Pasedach, N. Kipar, Forum Informatik, Aachen Philips GmbH Forschungslaboratorien H. Rampacher, GI Bonn P. Szczurko, Laufenberg GmbH & Co. KG, Bochum Tagungssekretariat K.-H. Thevis, RWTH Aachen K. Weidenhaupt, RWTH Aachen I. Wicke, RWTH Aachen Programmkomitee H.-J. Appelrath, Uni Oldenburg V. Jentsch, Koordinationsstelle A. Bode, TU München Verbundforschung NRW A. Bojanowsky, BVI Bonn A. Klewitz, TU Dresden M. Broy, TU München H. Kuchen, RWTH Aachen K. Brunnstein, Uni Hamburg H. Luczak, RWTH Aachen W. Burhenne, FH Darmstadt P. Mambrey, GMD-FIT, St. Augustin B. Butscher GMD-Fokus, Berlin W. Marquardt, RWTH Aachen S. Closs, H. Mayr, Uni Klagenfurt Comet Computer GmbH, München C. Meinei, ITWM Trier A. B. Cremers, Uni Bonn M. Nagl, RWTH Aachen E.-E. Doberkat, Uni Dortmund W. überschelp, RWTH Aachen W. Dostal, A. überweis, Uni Frankfurt Bundesanstalt für Arbeit, Nürnberg F. Pieper, FH Ulm W. Doster, Daimler-Benz AG, Ulm F.-J. Radermacher, FAW Ulm J. Ebert, Universtät Koblenz M.M. Richter, Uni Kaiserslautern A. Endres, TU München R. van de Riet, Freie Uni Amsterdam W. Esser, Mitsubishi, Alsdorf S. Rössel, Siemens AG, München R. Geisen, J.W. Schmidt, TU Hamburg-Harburg Parsytec Computer GmbH Aachen S. Schubert, TU-Chemnitz M. Grauer, Uni-Gesamthochschule Siegen ü. Spaniol, RWTH Aachen V. Gruhn, Vebacom Service, Bochum W. Stucky, Uni Karlsruhe B. Haverkort, RWTH Aachen R. Unland, Uni Essen V. Hepple, IHK Aachen G. Vossen, Uni Münster J. van den Herik, Uni Maastricht R. Wilhelm, Uni Saarbrücken ü. Herzog, Uni Bremen F. Williams, Ericsson, Herzogenrath F. Hoßfeld, Forschungszentrum Jülich VI Unterstützung Aachener und Münchner Informatik Service GmbH BVIT e.V. Computer Zeitung Compuware GmbH Deutsche Telekom AG Ericsson Eurolab Freund und Dirks IBM Deutschland GmbH Industrie- und Handelskammer Aachen Mitsubishi GmbH üRACLE Deutschland GmbH Parsytec Computer GmbH Philips GmbH Regionaler Industrie-Club Informatik Aachen e.V. Robert Bosch GmbH RWTH Aachen Sparkasse Aachen Stadt Aachen Sun Microsystems GmbH Vorwort Die Gesellschaft für Informatik hält ihre 27. Jahrestagung, die Informatik 97, vom 24.-26. September 1997 in Aachen ab. Anlaß ist das 25jährige Bestehen des Studiengangs Informatik an der RWTH Aachen. Die Organisation haben die Fachgruppe Informatik und der Regionale Industrieklub Informatik (REGINA) gemeinsam übernommen. In diesem Tagungsband sind die Beiträge des Haupt programms sowie Kurzübersichten über weitere Programmteile enthalten. Ein neues Konzept soll der Informatik 97 in der Menge der wissenschaftlichen Fachtagungen einerseits und der Industriemessen andererseits ein unverwechsel bares Profil geben. Kern dieses Konzepts ist es, in einer bisher von keinem Fach gewagten Breite Transparenz in der Spitzenforschung zu schaffen. Erstmals (nicht nur in der Informatik) stellen sich praktisch alle von der Deutschen Forschungsgemein schaft in einem Fachgebiet geförderten Großprojekte auf einer einzigen Tagung vor. Insgesamt sind 13 Sonderforschungsbereiche, 9 Schwerpunktprogramme und 12 Graduiertenkollegs mit Vorträgen vertreten (die Graduiertenkollegs in ei nem eigenen Workshop vor der Tagung). Hinzu kommen noch eine Reihe von Verbundprojekten vor allem des Bundesforschungsministeriums sowie einzelner Bundesländer und Nachbarstaaten (Niederlande, Schweiz). Ein zweiter Teil des Hauptprogramms ist dem Tagungsmotto Informatik als Innovationsmotor gewidmet. Vier Hauptvorträge sprechen die Rolle der Infor matik in zentralen Fragen wie Strukturwandel, elektronischem Handel, Network Computing und Reengineering von Altlastanwendungen an. Probleme wie die mit der Informations-Revolution verbundenen Arbeitsplatzeffekte und Bildungs anforderungen behandeln zwei Podiumsdiskussionen. Gut zwanzig eingereichte Beiträge aus Wirtschaft und Wissenschaft, ausgewählt aus etwa 90 Einreichun gen, ergänzen diesen Teil des Programms, indem sie innovationsrelevante For schungsergebnisse, industrielle Innovationsstrategien und Erfahrungen mit Un ternehmensgründungen und Technologietransferkonzepten reflektieren. Die dritte Komponente des Tagungskonzepts, gleichzeitig gemeint als konkretes Beispiel für die im Tagungsmotto angesprochene innovationsorientierte Koope ration, betrifft die Vorstellung der Euregio Aachen durch Vorträge, Instituts und Firmenbesichtigungen im Umfeld des interdisziplinären Forums Informa tik an der RWTH Aachen, des Regionalen Industrieklubs Aachen und seiner niederländischen Schwester. Eine wichtige Ergänzung ist das aus Anlaß des 25. Studiengangs-Jubiläums im Anschluß an die Tagung veranstaltete Treffen der mehr als 1700 Absolventinnen und Absolventen sowie ehemaligen Mitarbeiterin nen und Mitarbeiter der Fachgruppe Informatik an der RWTH Aachen. VIII Wie immer sind mit der Haupttagung auch Tutorien und Workshops ver bunden, in denen Spezialthemen vertieft werden. Hierzu zählen insbesondere auch spezielle Veranstaltungen für Studierende, die als zukünftige Innovatoren natürlich eine wesentliche Rolle im Tagungskonzept spielen. Bei der Auswahl der Workshops wurden bevorzugt existierende Veranstaltungen integriert, um die Zahl zu besuchender Tagungen nicht ausufern zu lassen. Obwohl die Workshops im vorliegenden Tagungsband aus Platzgründen mit Ausnahme einer Fachta gung nur mit Kurzdarstellungen vertreten sind, handelt es sich zum Teil um umfangreiche Veranstaltungen, in denen auch große Innovationsprojekte wie et wa die POLIKOM-Projekte im CSCW-Bereich sowie die BMBF-Projekte Me Doc, EPK-fix und das NRW-Verbundprojekt Virtuelle Wissensfabrik in größe rem Detail vorgestellt werden, als dies auf der Haupttagung möglich ist. In den Kurzdarstellungen im Tagungsband ist auf ggf. anderweitige Veröffentlichungen der Workshopergebnisse, zum Teil auch im World Wide Web verwiesen. Die Organisation einer solchen Tagung ist mit enormem Aufwand verbunden, den nur zahlreiche Helfer gemeinsam leisten können. Zu danken ist zunächst den Workshoporganisatoren, den Autoren und allen Mitgliedern des Programm komitees für die oft unter starkem Termindruck geleisteten Beiträge. Dem GI Präsidium und der GI-Geschäftsstelle, insbesondere Professor Stucky und Dr. Stöckigt, gebührt Dank für die Unterstützung bei der Öffentlichkeitsarbeit, eben so dem Designstudio Quitta und der Computer Zeitung. Die großzügige finanzi elle Unterstützung, welche die Tagung erfahren hat, zeigt die Akzeptanz des Ta gungskonzepts vor allem auch in der Industrie. Besonders erwähnt seien hier die Hauptsponsoren Mitsubishi Semiconductors Europe, Oracle Deutschland GmbH, REGINA und Sun Microsystems, sowie Stadt, IHK und RWTH Aachen. Ohne das Engagement des REGINA-Vorsitzenden R. Geisen, von A. Reichel und von N. Kipar wäre diese Unterstützung sicher geringer ausgefallen. Besonderer Dank gebührt dem Organisationskomitee unter Leitung von Dr. Klaus Pohl, insbeson dere dessen Kernmannschaft bestehend aus Lucia Cloth, Ralf Dömges, Klaus Weidenhaupt und !rene Wicke, sowie deren zahlreicher Unterstütze r vom Lehr stuhl Informatik V, der Fachgruppe Informatik und dem Forum Informatik. Aachen, im Juli 1997 Matthias Jarke, RWTH Aachen Klaus Pasedach, Philips GmbH Tagungsleitung Informatik 97 Inhalt Eingeladene Vorträge und Podiumsdiskussionen Hauptvorträge: Herausforderungen der Anwender Informatik - Motor im Wandel der Strukturen ............................... 1 Prof. Dr.-Ing. Dr. h.c. mult. H.-J. Warn ecke, Präsident der Fraunhofer-Gesellschaft, Präsident des VDI Elektronischer Handel - Neuer Fokus der Informatik ......................... 2 Dr. R. Hüber, Direktor Kommunikationstechnologien der EU-Kommission i.R. Hauptvorträge: Ansätze der Informatik Access Anywhere Means Services Everywhere ................................ 3 Dr. G. Papadopoulos, Chief Technology Officer, Sun Microsystems The Use of Program Profiling in Software Testing ........................... 4 Prof. Dr. Th. Reps, University of Wisconsin Podiumsdiskussion I Informatik und Arbeitsmarkt .............................................. 17 Podiumsdiskussion 11 Informatik-Fachkompetenz durch Bildung .................................. 19 H. W. Poelchau, K.-H. Becker, A.B. Cremers (Moderation), M. Mai, G. Schlageter, S. Schubert (Moderation), T.J. van Weert, W. Burhenne Sonderforschungsbereiche und Schwerpunktprogramme Künstliche Intelligenz SPP 698: Deduction as a Cross-Sectional Technology - The DFG Focus Programme on Deduction ................................ 29 W. Bibel x SPP 1021: Spatial Cognition: The Role of Landmark, Route, and Survey Knowledge in Human and Robot Navigation ................... .41 St. Werner, B. Krieg-Brückner, H.A. Mallor, K. Schweizer, eh. Freksa SFB 378: Ressourcenadaptive Kognitive Prozesse ........................... 51 W. Wahlster, W. Tack SPP 731: Algorithmen zum automatischen Zeichnen von Graphen im Rahmen des DFG-Schwerpunkts "Effiziente Algorithmen für diskrete Probleme und ihre Anwendungen" ............................. 58 F.J. Brandenburg, M. Jünger, P. Mutzel, Th. Lengauer Komplexe Anwendungssysteme SFB 182: Ziele und Aufbau des Sonderforschungsbereichs "Multiprozessor- und Netzwerkkonfigurationen" der Universität Erlangen-Nürnberg .......... 68 H. Wedekind SPP 1063: Informatikmethoden zur Analyse und Interpretation großer genomischer Datenmengen .......................................... 76 Th. Lengauer SFB 414: Rechner- und sensor gestützte Chirurgie ........................... 85 U. Rembold, J. Mühling, S. Hagl Eingebettete Systeme SPP 1040: Entwurf und Entwurfsmethodik eingebetteter Systeme ........... 93 K. Antreich, F.J. Rammig, W. Rosenstiel, D. Schmid, K. Waldschmidt SFB 531: Design und Management komplexer Prozesse und Systeme mit Methoden der Computational Intelligence ............................. 102 H.P. Schwefel, U. Hammel SFB 527: Integration symbolischer und subsymbolischer Informationsverarbeitung in adaptiven sensomotorischen Systemen ........ 111 G. Palm, G. Kraetzschmar SPP 1040: Rapid Prototyping für integrierte Steuerungs systeme mit harten Zeitbedingungen .............................................. 121 R. Ernst Ingenieurinformatik SFB 358: Automatisierter Systementwurf. ................................. 123 G. Fettweis SFB 501: Entwicklung großer Systeme mit generischen Methoden .......... 133 D. Rombach SFB 476: IMPROVE: Informatische Unterstützung übergreifender Entwicklungsprozesse in der Verfahrenstechnik ............. 143 M. N agl, W. M arquardt