

\documentstyle[twocolumn]{article}

%%%%%%%%%%%

\makeatletter 
\def\@normalsize{\@setsize\normalsize{10pt}\xpt\@xpt
\abovedisplayskip 10pt plus2pt minus5pt\belowdisplayskip \abovedisplayskip
\abovedisplayshortskip \z@ plus3pt\belowdisplayshortskip 
6pt plus3pt minus3pt\let\@listi\@listI}
\def\subsize{\@setsize\subsize{12pt}\xipt\@xipt}
\def\section{\@startsection {section}{1}{\z@}{1.8ex plus 1ex minus .2ex} {1.2ex plus .2ex}{\large\bf}}
\def\subsection{\@startsection {subsection}{2}{\z@}{1.3ex plus 1ex} {.8ex plus .2ex}{\subsize\bf}}
\def\paragraph{\@startsection {paragraph}{4}{\z@}{1.8ex plus .3ex}{-1em}{\normalsize\bf}}

\setlength{\textheight}{243mm}
\setlength{\columnsep}{6.5mm} %{2.0pc}
\setlength{\textwidth}{17cm}
\setlength{\parindent}{1pc}
\setlength{\parskip}{0.0cm}
\setlength{\topsep}{0.1cm}
\setlength{\partopsep}{0.0cm}
\setlength{\itemsep}{0.1cm}
\setlength{\parsep}{0.0cm}

% das folgende mu"s ggf. an die Einstellungen des 
% lokal vorhandenen Druckers angepa"st werden.
\setlength{\topmargin}{-12mm}
\setlength{\oddsidemargin}{-6mm}
\setlength{\evensidemargin}{-6mm}

\pagestyle{empty}
\baselineskip12pt

%%%%%%%%%%%

\title{Protokoll des 4. Fachgruppentreffens
\\ der GI-Fachgruppe 2.1.9
\\ "Objektorientierte Software-Entwicklung"}
\author{am 6. Februar 1997 in M\"unchen, Sheraton-Hotel}
\date{}
\pagestyle{empty}

\begin{document}
\maketitle
\baselineskip12pt

%\subsection*{\centering Abstract}
%\noindent
%....
%\paragraph{Keywords:}
%....
\noindent
{\bf Protokoll:} Gregor Engels\\


\noindent
{\bf Beginn:} 9:45 Uhr \hspace{2cm} {\bf Ende:} ca. 18 Uhr\\


\noindent
Das 4. Fachgruppentreffen der GI-Fachgruppe 2.1.9 fand im Rahmen der 
OOP`97/Java Expo im Sheraton-Hotel in M\"unchen statt. 
Frances Paulisch, fachliche Leiterin der OOP`97/Java
Expo und auch Mitglied des Leitungsgremiums der FG 2.1.9, hatte es
m\"oglich gemacht hat, da{\ss} der FG ganzt\"agig ein Raum zur Verf\"ugung
stand. Hierzu sei ihr auch an dieser Stelle gedankt.

Die im Oktober 1995 gegr\"undete FG umfa{\ss}t mitt\-lerweile mehr als
250 Mitglieder.\footnote{N\"ahere Informationen zur FG erh\"alt man \"uber die
Homepage der FG (http://www.wi.leidenuniv.nl/$\sim$zamper/gi-fg-2.1.9.html).}
55 von ihnen waren zum FG-Treffen erschienen, wobei
erfreulicherweise die H\"alfte aus der Industrie und die andere H\"alfte
aus dem universit\"aren Umfeld kam. 

Das Programm bestand aus 4 Teilen, \"uber die im folgenden kurz
berichtet wird.

\noindent
{\bf TOP 1: Berichte aus den Arbeitskreisen}\\
\noindent
Hauptziel des FG-Treffens war, den zu diesem Zeitpunkt 4 aktiven
Arbeitskreisen Gelegenheit zu geben, ihren aktuellen Diskussionsstand
der gesamten Fachgruppe zu pr\"asentieren. Hierzu hatte jeder Arbeits\-kreis
1 - 2 Sprecher benannt, die dann in einem etwa halbst\"undigen Vortrag
mit anschlie{\ss}ender Diskussion \"uber die aktuelle Arbeit in den
Arbeitskreisen berichteten.

Im einzelnen wurden die folgenden Vortr\"age gehalten. Zusammenfassungen der
Vortr\"age findet man am Ende dieses Protokolls.

\noindent
{\bf Fachvortr\"age AK Frameworks}\\
\hspace*{0.3cm} \parbox[t]{7.8cm}{Thomas Stalzer: Das Anwendungsframework VASER\\
Rolf Knoll: Gebos Rahmenwerke f\"ur die Softwareentwicklung im Bankenbereich}
\vspace{0.1cm}

\noindent
{\bf Fachvortrag AKVO (Verteilte Objekte)}\\
\hspace*{0.3cm} \parbox[t]{7.8cm}{Fridtjof Toenniessen, Andreas Wickner: Eine
Mustersprache f\"ur CORBA in gro{\ss}en betrieblichen Informationssystemen}
\vspace{0.1cm}

\noindent
{\bf Fachvortr\"age AK GROOM (Grundlagen objektorientierter Modellierung)}\\
\hspace*{0.3cm} \parbox[t]{7.8cm}{Roger S\"uttenbach, Universit\"at Koblenz-Landau:} 
\hspace*{0.3cm} \parbox[t]{7.8cm}{Formalisierung der Syntax von objekt-orientierten Methoden\\
Cornel Klein, Bernhard Rumpe, Technische Universit\"at M\"unchen: 
Formalisierung der Semantik objekt-orientierter Methoden}
\vspace{0.1cm}

\noindent
{\bf Fachvortr\"age AK Qualit\"atsverbesserung} \\
\hspace*{0.3cm} \parbox[t]{7.8cm}{J\"urgen Znotka, Fach\-hoch\-schu\-le L\"u\-beck: Pro\-dukt und Pro\-ze{\ss}\-mo\-delle der 
ob\-jekt\-o\-rien\-tier\-ten Soft\-ware\-ent\-wick\-lung als Basis einer 
effektiven Softwarequalit\"ats\-sicherung\\
Jinhua Li, Universit\"at Stuttgart: Wartungs\-unter\-st\"utzung f\"ur 
Smalltalk-Anwendungen durch statische Programmanalyse}
\vspace{0.1cm}

\noindent
Die Vortr\"age zeigten in beeindruckender Weise, wie breit das Gebiet der
objektorientierten Software\-ent\-wicklung mittlerweile geworden ist. Alle
aktuellen Schlagworte wie z.B. Entwurfsmuster, Framework, CORBA, Proxy,
UML oder Smalltalk kamen zur Sprache und es wurde anhand einer Reihe konkreter
Projekte bzw. Produkte gezeigt, wie diese Begriffe in der Praxis zum Einsatz
kommen. Da nahezu alle Vortr\"age sehr technisch und konkret waren, war die
anschlie{\ss}ende Diskussion sehr konkret. Der allgemeine Eindruck war,
da{\ss} dadurch die aktuellen Probleme bei einer objektorientierten
Vorgehensweise sehr deutlich wurden. Alles in allem waren dadurch
die Vortr\"age zusammen mit der Diskussion f\"ur alle Beteiligten 
sehr interessant und gewinnbringend.

\vspace{0.1cm}

\noindent
{\bf TOP 2: Vorstellung eines neuen Arbeitskreises}

\vspace{0.1cm}

\noindent
Herr Krzystof Czarnecki vom Daimler-Benz For\-schungs\-zentrum in Ulm 
pr\"asentierte erste Ideen f\"ur einen neuen Arbeitskreis
zum Thema "Generative und komponentenbasierte Softwareentwicklung".
Er erl\"auterte die Grundkonzepte einer derartigen Softwareentwicklung
und macht den Zusammenhang deutlich zu existierenden Konzepten wie
z.B. parametrisierte Typen, Adaptive Programming, Transformationssysteme
oder Intentional Programming. Wei\-tere Initiatoren dieses Arbeits\-kreises
sind Ulrich Eisen\-ecker (FH Heidelberg) und Manfred Broy (TU M\"unchen).

\noindent
Die FG hat diese Initiative erfreut begr\"u{\ss}t. Interessenten an diesem
AK k\"onnen n\"aheres \"uber die Homepage des AK erfahren
 (http://www.prakinf.tu-ilmenau.de/$\sim$czarn/generate) oder sich
direkt an Herrn Czarnecki wenden (czarnecki@dbag.ulm.DaimlerBenz.com).


\noindent
{\bf TOP 3: Weiteres Vorgehen}

\noindent
Eine Fachgruppentreffen am Rande der OOP-Konferenz wurde von
allen Beteiligten sehr begr\"u{\ss}t. Dies gab den Teilnehmern die
zus\"atzliche M\"oglichkeit, an der OOP teilzunehmen oder auch nur
(kostenfrei) einige der eingeladenen Vortr\"age zu h\"oren
und die interessante und umfangreiche Ausstellung zu besuchen.
Es war einhellige Meinung zu versuchen, im n\"achsten Jahr eine derartige
Veranstaltung zu wiederholen. Andererseits war man auch der Meinung, 
da{\ss} ein FG-Treffen einmal pro Jahr ausreichend ist. Die inhaltliche
Arbeit kann und wird in den Arbeits\-kreisen getan, die sich h\"aufiger
pro Jahr treffen. 

\noindent
So trafen sich anschlie{\ss}end an dieses FG-Treffen auch die beiden
Arbeitskreise Frameworks und GROOM zu einem ein- bis zweit\"agigen
Treffen an der TU M\"unchen. Die Protokolle zu diesen beiden Treffen
findet man bereits in der letzten Ausgabe der Softwaretechnik-Trends.

\noindent
{\bf TOP 4: Social Event}

\noindent
Der Tag wurde abgeschlossen mit einem gem\"utlichen Abendessen im 
"Donisl" direkt am Marienplatz in der Innenstadt M\"unchen.
Alles in allem ein sehr gelungener Tag in M\"unchen!

\section*{Zusammenfassungen der Vortr\"age}

\noindent
\subsection*{Das Anwendungsframework VASER}

\noindent
{\bf Thomas Stalzer, OBJECT {\it dynamics} Software GmbH, Stuttgart\\}

\noindent
VASER ist ein auf dem Visual Age/Smalltalk-System aufbauendes, kommerziell
verf\"ug\-bares Framework, das im Unterschied zu rein bibliotheksgest\"utzten
objektorientierten Frameworks auch stark auf einer eigenen Werkzeugumgebung
(Editoren und Generatoren) basiert. VASER definiert eine 
3-Schichtenarchitektur, bestehend aus Anwendungs\-schicht 
(Pr\"asentationselemente und einfache Dialogelemente), Unternehmensschicht
(Unternehmens\-mo\-dell, Gesch\"aftsobjekte) und Systemschicht 
(Datenbankankopplung). Zur Entkopplung der Schichten benutzt VASER das
Part/Wrapper-Konzept von Visual Age. Aus dem Unternehmensmodell l\"a{\ss}t
sich eine Standard-Benutzerschnittstelle zur Anzeige bzw. Bearbeitung von
Objektattributen und ein Datenbankschema generieren. Dar\"uberhinaus
definiert VASER Transaktionen zur Erhaltung der Konsistenz zwischen den
drei Schichten. Zur Realisierung persistenter Objekte dient ein eigenes
Objekt-Repository.

\noindent
\subsection*{Gebos Rahmenwerke f\"ur die Softwareentwicklung
im Bankenbereich}

\noindent
{\bf Rolf Knoll, RWG Stuttgart\\}

\noindent
GEBOS (Genossenschaftliches B\"uro- und Organisationssystem), zur 
Zeit aus 1800 C++ Klassen bestehend, stellt Frameworks f\"ur die
Entwicklung von Beraterarbeitspl\"atzen im Bankenbereich zur Verf\"ugung,
die bei Genossenschaftsbanken bereits erfolgreich im Einsatz sind.
GEBOS basiert auf der Entwurfsmetapher Werkzeug-Aspekt-Material. Bei den
Werkzeugen sind Funktionalit\"at und Interaktion getrennt. Es existieren
zwei Klassenhierarchien, eine f\"ur fachliche Werte (z.B. Kontonummer, 
Zinssatz) und eine f\"ur die entsprechenden Interaktionstypen
(Kleinsteditoren f\"ur diese Werte). Ein Entwurfsmuster zur flexiblen,
sp\"aten Erzeugung verringert die Kopplung zwi\-schen den entsprechenden
Klassen aus beiden Hierarchien. Jeder variable Aspekt, Konzept genannt, wird 
auf der konzeptionellen Schicht durch eine abstrakte Klasse definiert,
die Basisschicht enth\"alt als Unterklasse mindestens eine
Standardimplementierung, und die Projektschicht enth\"alt 
projektspezifische Subklassen.


\noindent
\subsection*{Eine Mustersprache f\"ur CORBA in gro{\ss}en betrieblichen
Informationssystemen}

\noindent
{\bf Fridtjof Toenniessen, Andreas Wickner, sd\&m, M\"unchen}

\noindent
Im Rahmen des Projekts DaRT wurde von sd\&m und der Deutschen Bahn AG
ein modernes, CORBA-basiertes Verwaltungs- und Auskunftssystem f\"ur die
Fahrzeugdaten der Bahn-Gesch\"aftsbereiche Fern\-verkehr, Nahverkehr und
Traktion entwickelt. Als Problem stellte sich dabei die effiziente
\"Ubermittlung des Datenanteils komplexer Objekte in Netzwerken mit
geringer Bandbreite heraus. Als L\"osung wurde eine neue Mustersprache
"Smart Proxy Decomposition" entwickelt, die basierend auf den
Grundmustern
"Proxy" und "Strategy" sowie einer geeigneten Strukturierung der
IDL-Spezifikation, eine \"Ubertragung und Ver\"anderung von Instanzdaten
erlaubt, ohne daf\"ur nicht-standardisierte CORBA-Erweiterungen zu
erfordern.
Die konsequente Anwendung von Gene\-ra\-toren reduziert den
Entwicklungsaufwand hierbei erheblich.



\noindent 
\subsection*{Formalisierung der Syntax von objekt-orientierten Methoden}

\noindent
{\bf Roger S\"uttenbach, Universit\"at Koblenz- Landau\\}

\noindent
In diesem Vortrag wird der in Koblenz entwickelte EER/GRAL-Ansatz
(Extended Entity-Rela\-tion\-ship/GRAph specificiation Language) zur
Formalisierung von objektorientierten Methoden verwendet.
Durch die Beschreibung mittels ER-Diagrammen und GRAL-Pr\"adikaten
ergibt sich eine pr\"azise und integrative Darstellung. Dabei
beschr\"ankt sich die Formalisierung zur Zeit auf die abstrakte
Syntax der in einer Methode verwendeten Modellierungssprachen
inklusive zugeh\"origer Konsistenzbedingungen.

\noindent
Formalisierungen fuer die Booch-Methode und OMT-Methode wurden
bereits erarbeitet. Dabei wurde besonderes Gewicht auf die
Vollst\"andigkeit der Beschreibung hinsichtlich der verwendeten
Konzepte und Konsistenzbedingungen gelegt. Die Mittel, Prinzipien
und die Vorgehensweise zur Erstellung einer solchen Formalisierung
werden an einem anschaulichen Beispiel aus der Booch Methode 
verdeutlicht.

\subsection*{Formalisierung der Semantik objekt-orientierter Methoden}

\noindent
{\bf Cornel Klein, Bernhard Rumpe, Technische Universit\"at M\"unchen\\}

\noindent
Objektorientierte Analyse- und Designmethoden erlauben die Modellierung
eines Systems auf verschiedenen Abstraktionsebenen und unter verschiedenen
Sichten. W\"ahrend f\"ur einzelne Beschreibungstechniken (wie z.B.
ER-Modelle, Automaten) teilweise relativ pr\"azise, formal definierte,
Semantiken existieren, fehlt bislang eine integrierte Semantik f\"ur
die Beschreibungstechniken einer Methode. Diese ist notwendig f\"ur
semantikerhaltende Transformationen zwischen Dokumenten, f\"ur 
umfangreiche Konsistenz\"uberpr\"ufungen, sowie f\"ur die Erstellung
fortgeschrittener Werkzeugunterst\"utzung f\"ur die Generierung und 
Analyse.

\noindent
Wir stellen einen Ansatz zur formalen Definition einer solchen integrierten
Semantik vor. Dieser baut auf einem mathematischen Systemmodell auf, welches
zentrale Konzepte informationsverarbeitender Systeme wie {\it Komponente,
Nachricht, Komposition} etc. formal fa{\ss}t. Zu diesem mathematischen
Systemmodell k\"onnen alle Beschreibungstechniken einer
Software Engineering-Methode in Beziehung gesetzt werden. Wir
berichten \"uber Erfahrungen, die wir bei einer derartigen Formalisierung
eines Ausschnitts der Unified Modelling Language (UML) gewonnen werden.

\subsection*{Produkt- und Proze{\ss}modelle der objekt\-orientierten 
Softwareentwicklung als Basis einer effektiven Softwarequalit\"atssicherung 
(SQS)}

\noindent
{\bf J\"urgen Znotka, Fachhochschule L\"ubeck\\}

\noindent
In einer effektiven SQS werden Prozesse und Produkte einer analytischen
Beurteilung unterzogen. W\"ahrend Prozesse in den letzten Jahren 
vielfach untersucht und verschiedene Ans\"atze zu ihrer Verbesserung entwickelt
wurden (z.B. ISO 9000, CMM), ist dies bei Produkten nicht in dieser
Ausf\"uhrlichkeit geschehen. Basili merkte dazu an, da{\ss} Produktqualit\"at
offenbar schwerer zu erreichen sei als Proze{\ss}qualit\"at. Ein Problem 
ist sicher der komplexe Zusammenhang zwischen Prozessen und ihren Produkten,
der eine Betrachtung der Produkte hinsichtlich ihrer Qualit\"at erschwert.

Durch die Einf\"uhrung atomarer Prozesse in der Modellierung wird eine
Abstraktionsebene geschaffen, die es erm\"oglicht, bei einer definierten
Entwicklungsmethodik (z.B. OMT, UML) beliebige konkrete Prozessmodelle
in Rahmen der Entwicklung einzusetzen. Das aus der Methodik abgeleitete
Produktmodell kann dabei unabh\"angig vom konkreten Prozessmodell im
Rahmen der Qualit\"atssicherung verwendet werden.


\subsection*{Wartungsunterst\"utzung f\"ur Smalltalk- Anwendungen durch
statische Programmanalyse}

\noindent
{\bf Jinhua Li, Universit\"at Stuttgart\\}

\noindent
Die durch statische Programmanalyse ermittelten Informationen k\"onnen
auch f\"ur die
Softwarewartung verwendet werden. Allerdings ist die herk\"ommliche
Programmanalyse 
nicht direkt auf Smalltalk anwendbar, da die Datenflu{\ss}analyse und die
Kontrollflu{\ss}analyse voneinander abh\"angig sind. Au{\ss}erdem erschwert die 
dynamische
Typisierung in Smalltalk eine derartige statische Codeanalyse. In dem
Vortrag
wurde eine Methode zur statischen Programm\-analyse vorgestellt. Der Kern 
dieser
Methode ist eine constraintbasierte Typinferenz. Die Bestandteile der
Typinferenz, ein Typsystem, Typconstraints und ein Inferenzalgorithmus 
wurden
erkl\"art. Anhand eines Prototyps wurde gezeigt, wie die gewonnenen 
Informationen
die Wartungsaufgaben unterst\"utzen k\"onnen. 




\end{document}

