Wolfgang Goerigk, Elke Pulvermüller, Andreas Speck, Hrsg.

Proceedings
des Gemeinsamen Workshops der GI-Fachgruppen


Programmiersprachen und Rechenkonzepte (2.1.4)
Objektorientierte Softwareentwicklung (OOSE - 2.1.9)

Sprachen, Architekturen und neue objektorientierte Softwaretechniken
(Generatoren, Agenten, Komponenten, Muster)

7. - 9. Mai 2001 im Physikzentrum Bad Honnef

INSTITUT FÜR INFORMATIK UND 
PRAKTISCHE MATHEMATIK

CHRISTIAN-ALBRECHTS-UNIVERSITÄT ZU KIEL
Bericht Nr. 2018

Der Tagungsband wird ebenfalls als Bericht Nr. 2018 des Instituts für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel im Oktober 2001 erscheinen. Der Bericht ist als persönliche Mitteilung aufzufassen. ( Download, ca. 6.26 MB ! )

Vorwort

        Die GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte veranstaltete gemeinsam mit der Fachgruppe 2.1.9 Objektorientierte Softwareentwicklung (OOSE) vom 7. bis 9. Mai 2001 im Physikzentrum Bad Honnef ihren 18. Workshop, in diesem Jahr zum Thema Sprachen, Architekturen und neue objektorientierte Softwaretechniken. Der Workshop förderte gegenseitiges Kennenlernen, Erfahrungsaustausch, intensive Diskussion und die Vertiefung gegenseitiger Kontakte und gemeinsamer Interessen beider Fachgruppen.

        Der vorliegende Tagungsband stellt die Beiträge zu diesem Workshop zusammen, die über neue Arbeiten und Ergebnisse aus den Interessensbereichen beider Fachgruppen berichten und deren Qualität und Vielfalt zu einem sehr interessanten Programm beigetragen haben. Schwerpunkte lagen auf den Gebieten der objektorientierten und deklarativen Softwaretechniken und der Programmierung und Beherrschung nebenläufiger und verteilter Systeme, und die Themen reichten von theoretischen und programmiersprachlichen Grundlagen, Semantik, Verifikation über architekturzentrierte und komponentenbasierte Systementwicklung bis hin zur Distribution mobilen Codes und sehr praktischen Anwendungen im World Wide Web. Unter anderem waren objektorientierte, funktionale, funktional-logische Sprachen und Datenstrukturen, Architekturen, generative Softwareentwicklung, Komponentensysteme und Features, Verifikation und formale Beschreibung nebenläufiger Systeme und auch empirische Untersuchungen zu Programmoptimierung Themen, die Anlass zu Erfahrungsaustausch und Fachgesprächen gaben.

        Allen Teilnehmern möchten wir dafür danken, dass sie mit ihren Vorträgen und konstruktiven Diskussionsbeiträgen zum Gelingen des Workshops beigetragen haben. Dank für die Vielfalt und Qualität der Beiträge gebührt den Autoren. Ein Wort des Dankes ebenso an die Mitarbeiter und die Leitung des Physikzentrums Bad Honnef für die gewohnte angenehme und anregende Atmosphäre und umfassende Betreuung. Der Technischen Fakultät der Christian-Albrechts-Universität zu Kiel möchten wir dafür danken, daß sie den Druck des Tagungsbandes ermöglicht hat.

Kiel, im Oktober 2001

Wolfgang Goerigk
Elke Pulvermüller
Andreas Speck


Beiträge

Christian Donker1, Wolfgang Goerigk2, Thomas Stahl1 (1becker & mohnberg Informatik AG, Melsdorf, 2Universität Kiel)
Generative Softwareentwicklung mit UML

Klaus D. Günther, Irmtraut Günther (GMD-SIT, Darmstadt)
Lava - An Object-Oriented RAD Language Designed for Ease of Learning, Use, and Program Comprehension [PDF]



Andreas Speck (Universität Tübingen), Elke Pulvermüller (Universität Karlsruhe)
Feature Modeling

Ralf H. Reussner (Universität Karlsruhe)
Adapting Components and Predicting Architectural Properties with Parameterised Contracts



Bernd Braßel1, Michael Hanus2, Frank Steiner2 (1RWTH Aachen, 2Universität Kiel)
Embedding Processes in a Declarative Programming Language - Extended Abstract

Michael Weber (RWTH Aachen)
HaskellMPI - Entwicklung paralleler Programme in Haskell (Abstract)

Markus Mohnen (RWTH Aachen)
Mythen und Fakten über Basisblockgraphen (Abstract)

 

Michael Franz (University of California, Irvine)
Distributing and Managing Mobile Code (Abstract)

Sergio Antoy1, Michael Hanus2, Bart Massey1, Frank Steiner2  (1Portland State University, 2Universität Kiel)
An Implementation of Narrowing Strategies



Stefan Kuhlins (Universität Mannheim)
Techniken für Preisvergleiche im World Wide Web [PDF]

Hermann von Issendorff (Hemmoor)
Zur formalen Beschreibung von Aminosäureketten und Proteinen [PDF]

 

Arnd Poetzsch-Heffter (FernUniversität Hagen)
Towards Type Systems for Dynamic Components (Abstract)

Dirk Draheim (FU Berlin)
Integration von Polymorphismus und Subtypen für den Pi-Kalkül



Andreas Vox (Med. Universität Lübeck)
Realisierung rekursiver Datenstrukturen durch generische Klassen

Volker Stolz, Frank Huch (RWTH Aachen)
Distributed Programming in Haskell: From Ports to Streams



Wolfgang Goerigk ( wg@informatik.uni-kiel.de )