\documentstyle[twocolumn,german,twoside]{article} 
\input{/home/pi/kelter/p/tex/a4.tex}
\input{/home/pi/kelter/p/tex/endversion.tex}


% /usr/local/bin/SunOS4/dvips dstg98

\setlength{\topmargin}{-18mm}  % bei HPprinter
\textheight253mm
\setlength{\headsep}{3mm}
\setlength{\footskip}{11mm}




\pagestyle{plain}

\newcommand{\stt}{Softwaretechnik-Trends 20:1, Februar 2000}

\setcounter{page}{27}
\makeatletter
\renewcommand{\@oddfoot}{\large\sf \stt \hfill \thepage}
\renewcommand{\@evenfoot}{\large\sf \thepage \hfill \stt}



%%%%%%% spezielle Makros %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


\newcounter{absatznummer}

\newcommand{\absatz}[1]{\section{#1}}

\newcommand{\arbeitsgebiete}{
   \absatz{Arbeitsschwerpunkte}
}

\newcommand{\projekte}{
   \absatz{Projekte}
}

\newcommand{\produkte}{
   \absatz{Produkte und Werkzeuge}
}

\newcommand{\veroeffentlichungen}{
   \absatz{Ver"offentlichungen}
}

\newcommand{\trickeins}{\hspace*{-5mm}\rule{0mm}{24pt}}

\newcommand{\arbeitsgruppe}[3]{
   \setcounter{section}{0}
   \vspace{15mm}
   \noindent
   \begin{minipage}{80mm}
      \noindent
      {\baselineskip44pt {\flushleft \Huge  #1 \trickeins}} \\
      \addcontentsline{toc}{section}{#1}
      \flushright
      {\large #2

      \vspace{3mm}
      \large \em #3}
   \end{minipage}
   \vspace{2mm}
}



\newcommand{\emph}  [1]{{\em #1}}
\newcommand{\texttt}[1]{{\tt #1}}
\newcommand{\textit}[1]{{\em #1}}


\newcommand{\UGH}{Universit"at - GH}



%%%::::::::::::::
%%%Trends.tex
%%%::::::::::::::



%\begin{document}



%%%::::::::::::::
%%%Vorwort.tex
%%%::::::::::::::

%\begin{rawhtml}
%<h1> Deutsche Forschungsgruppen
%in der Softwaretechnik</h1>
%\end{rawhtml}


\twocolumn[{\Huge Deutsche Forschungsgruppen 
\\in der Softwaretechnik
\\[6mm] 
}]




%\section*{Vorwort}
%
%???
%
%\nix {
%
%Im Nachgang zu den deutschen Forschungsgruppen in der
%Softwaretechnik, die wir im letzten Heft vorgestellt
%haben, 
%
%Die hier abgedruckten Arbeitsgruppendarstellungen finden
%Sie "ubrigens auch auf der WWW-Seite der Fachgruppe 2.1.1
%({\tt http://www.informatik.uni\-siegen.de/pi/gi/211}).
%Dort k"onnen Sie sie dem\-n"achst sogar on-line durchsuchen.
%Diese WWW-Da"-tenbank soll laufend erweitert und
%aktualisiert werden.
%\\~
%\\Dortmund und Siegen, im Februar 1998
%\\~
%\\Ernst-Erich Doberkat
%\\Udo Kelter
%
%}

% \pagebreak

%\setcounter{tocdepth}{2}
%{\renewcommand{\baselinestretch}{0.7}
%\tableofcontents
%}

% \pagebreak
%%%::::::::::::::
%%%M"unchen_Borghoff.tex
%%%::::::::::::::

\arbeitsgruppe
{UniBw M"unchen}
{Universit"at der Bundeswehr M"unchen\\
Institut f"ur Softwaretechnologie\\
AG Programmierung in speziellen\\ 
Anwendungsgebieten}
{Prof.\ Dr.\ Uwe M. Borghoff}
\arbeitsgebiete

Die Forschungsschwerpunkte dieser Arbeitsgruppe lassen sich den beiden 
Gebieten ``Rechnergest"utzte Gruppenarbeit'' (engl. Computer-Supported 
Cooperative Work) sowie ``Wissensmanagement'' (speziell verteiltes 
Informationsmanagement) zuordnen. 

Das Interesse an Anwendungen, die synchrone oder asynchrone Zusammenarbeit
"uber das Internet erm"oglichen, steigt seit geraumer Zeit stetig an.  War
zun"achst im Kontext der sogenannten rechnergest"utzten Gruppenarbeit das
Hauptaugenmerk auf Arbeitsgruppen gerichtet, die gemeinsam an einem Problem
arbeiten, dabei aber m"oglicherweise r"aumlich und zeitlich verteilt sind,
richtet sich nunmehr das (Forschungs-)Interesse in erster Linie auf die
(Rechner-)Unterst"utzung von Communities, also auf Gruppen von Personen, die
abermals r"aumlich und zeitlich verteilt sein k"onnen, aber kein gemeinsames
Problem bearbeiten, sondern lediglich gemeinsame Interessen aufweisen.  

Das Fehlen eines gemeinsamen Problems und damit verbunden eines gemeinsamen 
Ziels verhindert die Verwendung reiner Groupware-Anwendungen, die h"aufig 
nur aufgrund der Arbeitsgruppenzugeh"origkeit nutzbringend eingesetzt werden 
k"onnen bzw. nur im Rahmen entsprechender Projekte akzeptiert werden. 
Der implizite Zwang, sich auf eine gemeinsame Arbeitsumgebung zu einigen, 
und die notwendigen Kompromisse zwischen Pr"aferenzen der einzelnen 
Arbeitsgruppenmitglieder und Notwendigkeiten zum Funktionieren der 
Arbeitsgruppengesamtheit, k"onnen bei Communities nicht ohne weiteres 
aufrechterhalten werden.

Reine Groupware-Anwendungen k"onnen Communities nicht ohne weiteres
``"ubergest"ulpt'' werden. Community-Mitglieder arbeiten autonom. Hier fehlt der
"au"sere, zielbedingte Druck und der individuelle Wille, sich solchen Zw"angen
zu beugen und unn"otige Kompromisse zu schlie"sen.
Dennoch k"onnen Communities von einer Rechnerunterst"utzung profitieren. Aus
diesem Grund haben sich Anfang 1999 Mitglieder zweier M"unchner Universit"aten
(UniBWM und TUM) in der sogenannten IMC-Gruppe (Information Management for
Communities) zusammengeschlossen, um den aktuellen Stand der
Community-Unterst"utzung zu erforschen und neuartige Technologien in
einschl"agigen Anwendungen zu erproben.
\projekte
\begin{itemize}
\item
In einem ersten Projekt  betrachten wir die notwendige Infrastruktur zur
Community-Unter\-st"utzung. Um den Zwang auf die Community-Mitglieder zu
verringern und unn"otige Kompromisse zwischen den Mitgliedern zu vermeiden,
basiert unser Vorgehen auf der Autonomie der Mitglieder. Wir w"ahlen hierzu
einen agentenbasierten Ansatz. Speziell widmen wir uns Community-Agenten und
Awareness-Diensten.
\item
Das zweite Projekt  besch"aftigt sich gezielt mit Cachingfragen in einer
solchen Umgebung und ber"ucksichtigt ferner Fragestellungen sogenannter
lernender Benutzerschnittstellen.  Dieses Projekt l"auft in enger Kooperation
mit dem Xerox Research Centre Europe, Grenoble.
\item
Ferner besch"aftigt sich die Arbeitsgruppe im Rahmen eines von der Deutschen
Forschungsgemeinschaft gef"orderten Projekts mit Fragestellungen des
Informationsmanagement; hier wird in Kooperation mit der Bayerischen
Staatsbibliothek im Kontext von elektronischen Bibliotheken untersucht, wie
eine effiziente Langzeit-Archivierung elektronischer Dokumente durchgef"uhrt
werden kann.
\end{itemize}
\veroeffentlichungen
\begin{enumerate}
\item Borghoff, U. M., Schlichter, J. H.  Rechnergest"utzte Gruppenarbeit:
Eine Einf"uhrung in verteilte Anwendungen. Springer-Lehrbuch. Berlin,
Heidelberg, New York: Springer-Verlag, 2., vollst. "uberarb. und
erw. Aufl.1998. ISBN 3-540-62873-8 

\item Borghoff, U. M., Pareschi, R. (eds.)  Information Technology for
Knowledge Management. Berlin, Heidelberg, New York: Springer-Verlag
1998. ISBN 3-540-63764-8 

\item Chidlovskii, B., Borghoff, U. M.  Semantic Caching of Web
Queries. The International Journal on Very Large Data Bases (to appear). 

\item Borghoff, U. M., Pareschi, R., Arcelli, F., Formato, F.
Constraint-Based Protocols for Distributed Problem Solving.  Science of
Computer Programming 30, 201-225 (1998). 

\item Andreoli, J.-M., Borghoff, U. M.  Virtual Answers for Query
Refinement in Information Retrieval.  Proc. 2nd Int'l. Conf. on the
Practical Application of Constraint Technologies and Logic Programming
(PACLP'2000). Blackpool, U. K.: The Practical Application Company Ltd (to
appear) 

\item Glance, N., Grasso, A., Borghoff, U. M., Snowdon, D., Willamowski,
J.  Supporting Collaborative Information Activities in Networked
Communities.  In: Bullinger, H.-J., Ziegler, J. (eds.): Proc. 8th
Int'l. Conf. on Human-Computer Interaction (HCI'99), Vol. 2. Mahwah, NJ:
Laurence Erlbaum Associates, Inc., 422-426 

\item Chidlovskii, B., Borghoff, U. M.  Signature File Methods for
Semantic Query Caching.  In: Nikolaou, C., Stephanidis, C. (eds.): Proc. 2nd
European Conf. On Research and Advanced Technology for Digital Libraries
(ECDL '98). Lecture Notes in Computer Science 1513. Berlin, Heidelberg, New
York: Springer-Verlag, 479-498 

\item Chidlovskii, B., Borghoff, U. M.  Query Translation for Distributed
Information Gathering on the Web. In: Eaglestone, B., Desai, B. C., Shao,
J. (eds.): Proc. 2nd IEEE Int'l. Database Engineering and Applications
Symposium (IDEAS'98). Los Alamitos, CA: IEEE Computer Society Press, 214-223
\end{enumerate}
%\pagebreak
\subsubsection*{Kontaktadresse:}
Prof.\ Dr.\ Uwe M. Borghoff\\
Institut f"ur Softwaretechnologie\\
Universit"at der Bundeswehr M"unchen\\
85577 Neubiberg\\
Tel.: (089) 6004-2274/-3352/-2263\\
email: borghoff@informatik.unibw-muenchen.de\\
URL: http://ist.unibw-muenchen.de/borghoff/

\pagebreak
%%%::::::::::::::
%%%M"unchen_Schmidt.tex
%%%::::::::::::::

\arbeitsgruppe
{UniBw M"unchen}
{Universit"at der Bundeswehr M"unchen\\
Institut f"ur Softwaretechnologie\\
AG Grundlagen des Software-Engineering}
{Prof. Dr. Gunther Schmidt}
\arbeitsgebiete
Ausgehend vom Gebiet der Programmiersprachen werden Semantik von
Programmiersprachen, Methoden der Programmgenerierung und Programmierkalk"ule
studiert und dabei u.a. folgende Gebiete ber"uhrt:
\vspace*{2ex}

{\noindent\bf Programmiermethodik und Programmtransformation}\\[0.8ex]
Zunehmend m"ochte man Programme auf einer sehr hohen Abstraktionsebene
konzipieren. Sie k"onnen dann noch in mathematischer Strenge modifiziert und
manipuliert werden, ehe sie durch Generatoren ihre Auspr"agung in einer
h"oheren oder niederen Programmiersprache erfahren.  Von den theoretischen
Grundlagen her erarbeiten wir semantische Konzepte f"ur die Erstellung
solcher Software und erproben sie modellm"a"sig. Praktisch umgesetzt werden
rechnergest"utzte Erzeugung von Software und transformierende Entwicklung von
Programmen aus (pr"aalgorithmischen) Spezifikationen mit Hilfe des
Programmtransformationssystems HOPS.
\vspace*{2ex}

{\noindent\bf Relationale Methoden in der Informatik}\\[0.8ex]
Ausgehend von der Erkenntnis, dass zunehmender Abstraktionsgrad in
Spezifikation und Komposition sich auch in der mathematischen Modellierung
niederschlagen muss, propagieren wir vermehrten Einsatz relationaler
Methoden in allen Bereichen der Informatik.  Die Kompaktheit der Notation,
die im Vergleich zu pr"adikatenlogischen Ans"atzen h"ohere Abstraktionsebene,
sowie die intuitivere Zug"anglichkeit voll formaler Beweise pr"adestinieren
relationenalgebraische Ans"atze f"ur Formalisierungsbestrebungen in weiten
Bereichen der Softwaretechnologie.  Auch im Kontext der Programmiermethodik
ergeben sich immer wieder diskrete kombinatorische und graphentheoretische
Probleme, f"ur deren Bearbeitung wir relationale Methoden entwickeln.
\vspace*{2ex}

{\noindent\bf Visuelle Compiler-Compiler}\\[0.8ex]
Die Vorg"ange bei der Generierung und beim Einsatz von Compilern bleiben dem
Anwender f"ur gew"ohnlich verborgen.  Vor allem f"ur die Ausbildung ist es
daher n"utzlich, visuelle Compiler-Compiler "ahnlich Debuggern zu verwenden,
welche ihre internen Informationen visualisieren und die Abl"aufe so weit wie
m"oglich durch Benutzer zu steuern gestatten.  Besonders wichtig ist uns die
ergonomische Gestaltung der Mensch-Maschine-Schnittstellen von
Compiler-Compilern sowohl f"ur Demonstrationmodelle als auch f"ur
Produktionssysteme:  Moderne Compilertechnologie wird heute nicht nur in
ihrem angestammten Bereich eingesetzt, sondern gewinnt auch als
Basiswerkzeug in Bereichen der netzgest"utzten Dokumenten- und
Datenverarbeitung, wie z.B. XML und EDI, zunehmend an Bedeutung.
\vspace*{2ex}
\projekte
{\noindent\bf RelMiCS-Initiative}\\[0.8ex]
Im Januar 1994 konnte auf eigene Idee und mit Unterst"utzung der Deutschen
Forschungsgemeinschaft ein einw"ochiges ``International Seminar on Relational
Methods in Computer Science'' in Schloss Dagstuhl mit 38 Wissenschaftlern aus
allen Kontinenten und aus durchaus verschiedenen Disziplinen veranstaltet
werden.  In gemeinsamer Anstrengung wurde ein Buch (nicht nur ein
Proceedings-Band) erarbeitet.  Diesem folgten bereits 2 weitere B"ande aus
den Folgetreffen in Parati bei Rio de Janeiro (Sept. 1995) und in Hammamet
(Tunesien, Jan. 1997); weitere Treffen fanden bisher in Warschau
(Sept. 1998) und Qu\'ebec (Jan. 2000) statt.

Aus dieser B"undelung relationaler Interessen heraus sind bereits einige
spezialisiertere Initiativen hervorgegangen, unter denen wir besonders an
der Organisation von Workshops im Bereich relationaler Methoden im
Software-Engineering und an internationalen Kooperationen zur expliziten
Verwendung relationenalgebraischer Methoden in Bereichen der
Wissensrepr"asentation beteiligt sind.
\vspace*{2ex}

{\noindent\bf Programmierkalk"ule}\\[0.8ex]
Wir setzen ein urspr"unglich von der DFG gef"ordertes Projekt zur
graphisch-interaktiven Programmierung mit h"oheren Objekten fort; ein
Schwerpunkt dieser Arbeiten ist die Erstellung des generischen Rahmenwerkes
HOPS f"ur typisierte Kalk"ule mit Variablenbindung.  Zur Zeit arbeiten wir
zudem an der Schaffung eines allgemeinen Interoperabilit"atsrahmens, der die
Kooperation unterschiedlicher Programmierkalk"ule auf dem Meta-Level zu
formalisieren gestattet.
\vspace*{2ex}
\veroeffentlichungen
\begin{enumerate}
\item C. Brink, W. Kahl, G. Schmidt (eds.).  Relational Methods in
Computer Science.  Advances in Computing Science.  Springer-Verlag,
Wien,
New York, 1997.  ISBN 3-211-82971-7.

\item B. Demuth, H. Hussmann, L. Schmitz, S. Zschaler.  Erfahrungen
mit einem frame
workbasierten Softwarepraktikum. In Tagungsband des 6. Workshops
Software-Engineering
 im Unterricht der Hochschulen.  B. G. Teubner, Stuttgart, 1999.

\item Frank Derichsweiler.  Strategiegesteuerte Programmtransformation
im
Higher Object Programming System HOPS. In GI, Informatiktage 1999. 
Konradin
Verlag, 1999.

\item I. D"untsch, G. Schmidt, M. Winter.  A Necessary Relation Algebra
for
Mereotopology.  Studia Logica, 1-18 (1999).

\item A. Joaua, G. Schmidt (eds.).  Special Issue on the 3rd Int.
Seminar
on Relational Methods in Computer Science.  Information Sciences 119
(3/4)
(1999).

\item W. Kahl.  Relational Treatment of Term Graphs With Bound
Variables. Journal of the IGPL 6 (2), 259-303 (1998).

\item W. Kahl.  Internally Typed Second-Order Term Graphs. In WG '98,
LNCS 1517, S. 149-163.  Springer-Verlag, 1998.

\item W. Kahl.  The Term Graph Programming System HOPS. In R.
Berghammer,
Y. Lakhnech (eds.), Tool Support for System Specification, Development
and
Verification,  Advances in Computing Science, S. 136-149.  Springer,
Wien,
1999.

\item W. Kahl.  Relational Matching for Graphical Calculi of
Relations. Information Sciences 119 (3-4), 253-273 (1999).

\item Lothar Schmitz.  Syntaxbasierte Programmierwerkzeuge.
B. G. Teubner, Stuttgart, 1995.
\end{enumerate}
\produkte
{\noindent\bf HOPS:}\\[0.8ex]
Das ``Higher Object Programming System'' HOPS ist ein graphisch-interaktives
Programmier- und Programmtransformationssystem, das die Programmstruktur in
der Form von streng typisierten Termgraphen direkt zug"anglich macht. HOPS
ist ausgelegt f"ur transformationelle Programmentwicklung, bei der das
Software-Endprodukt ausgehend von abstrakten Spezifikationen und
Algorithmenformulierungen durch semantikerhaltende Transformationsschritte
hergeleitet wird, mit dem Ziel der korrekten Programmentwicklung.  
Weitere Informationen unter der URL:

	http://ist.unibw-muenchen.de/HOPS/
\vspace*{2ex}

{\noindent\bf Jaccie:}\\[0.8ex]
Aufbauend auf dem mit dem Deutschen Hochschul-Software-Preis der ASK
ausgezeichneten Vorsystem SIC enth"alt Jaccie einen Werkzeugsatz mit
Scannergenerator, verschiedenen Parsergeneratoren, Editoren f"ur Grammatiken
und Attributierungen, interaktiven Debugging-Werkzeugen f"ur alle Phasen,
Informationsfenstern f"ur Grammatikinfos und Automaten in
Klartextdarstellung.  Auf Knopfdruck entstehen Java-Quelltexte von Scannern
und Parsern, die in andere Anwendungen eingebunden werden k"onnen. 
Weitere Informationen unter der URL:

	http://ist.unibw-muenchen.de/Tools/JACCIE/
\vspace*{2ex}

{\noindent\bf SalesPoint Framework (mit TU Dresden):}\\[0.8ex]
Es ist nicht einfach, Studenten vor dem Vordiplom in einer Veranstaltung
Teamarbeit, Prinzipien systematischer Software-Entwicklung, neue Sprachen,
Entwicklungs- und Dokumentationswerkzeuge nahezubringen.  Die Grundidee, als
gemeinsame Basis f"ur die Studentenprojekte ein Framework (das die Erstellung
von Verkaufsanwendungen unterst"utzt) zu verwenden, bringt eine Reihe von
Vorteilen mit sich:
\begin{itemize}
\item
Studenten lernen, sich mit bestehender Software auseinanderzusetzen.

\item
Mit dem Framework ist auch der OO-Entwurf der zu erstellenden Anwendung
vorgegeben und damit eine Hauptschwierigkeit f"ur Anf"anger entsch"arft.
\item
Es lassen sich relativ leicht neue und vergleichbare Aufgaben finden.

Das umfassend dokumentierte Framework stellt aufeinander abgestimmte
Komponenten bereit wie Kataloge und Best"ande, Oberfl"achenbausteine zur
Warenauswahl und Katalogpflege, sowie Datenk"orbe zur Modellierung von
Verkaufsprozessen mit Transaktionsunterst"utzung.
Weitere Informationen finden Sie unter der URL: 

	http://ist.unibw-muenchen.de/Lectures/\\
	SalesPoint
\end{itemize}
\subsubsection*{Kontaktadresse:}
Prof. Dr. Gunther Schmidt\\
Institut f"ur Softwaretechnologie\\
Universit"at der Bundeswehr M"unchen\\
85577 Neubiberg\\
Tel.: (089) 6004-2249/-2263\\
email: schmidt@informatik.unibw-muenchen.de\\
URL: http://ist.unibw-muenchen.de/schmidt/

%%%::::::::::::::
%\pagebreak
%%%::::::::::::::
%%%M"unchen_Sch"urr.tex
%%%::::::::::::::

\arbeitsgruppe
{UniBw M"unchen}
{Universit"at der Bundeswehr M"unchen\\
Institut f"ur Softwaretechnologie\\
AG Informationssysteme}
{Prof. Dr. Andy Sch"urr}
\arbeitsgebiete
Die Forschungsaktivit"aten der Arbeitsgruppe lassen sich alle dem Gebiet
``Definition und Einsatz visueller Sprachen in der Softwaretechnik''
zuordnen. Im einzelnen handelt es sich dabei um:
\vspace*{2ex}

{\noindent\bf OO-Modellierungssprachen und -Werkzeuge:}\\[0.8ex]
Die von der OMG als Standard verabschiedete OO-Modellierungssprache UML ist
ein Hauptgegenstand unserer aktuellen Forschungsaktivit"aten. Zum einen
befassen wir uns mit der pr"azisen Definition der Semantik verschiedener
UML-Teilsprachen, zum anderen steht die Anpassung von UML an das
Anwendungsgebiet der eingebetteten Echtzeitsysteme und ihr Einsatz zur
Modellierung von Softwarearchitekturen im Vordergrund.
\vspace*{2ex}

{\noindent\bf Visuelle graphbasierte Spezifikationssprachen:}\\[0.8ex]
Graphtransformationssysteme lassen sich der Kategorie der regelbasierten
visuellen Sprachen zuordnen. Kombiniert mit objektorientierten und
imperativen Konzepten werden sie von uns als ausf"uhrbare
Spezifikationssprache mit einer pr"azsen Semantikdefinition sowie als
VHL-Programmiersprache f"ur die Generierung von ``CASE Tools'' eingesetzt.
\vspace*{2ex}

{\noindent\bf Formale Definition visueller Sprachen:}\\[0.8ex]
Heute verbreitete visuelle Modellierungs- und Programmiersprachen besitzen
in aller Regel weder eine pr"azise Syntax- noch eine vollst"andige
Semantikdefinition. Wir untersuchen deshalb den Einsatz von Graphgrammatiken
zur Syntaxdefinition visueller Sprachen und entwickeln hierzu entsprechende
Parsing-Algorithmen. Dar"uber hinaus werden f"ur die Semantikdefinition
solcher Sprachen nichtmonotone Logiken, Fixpunkttheorie und ggf. auch
Kategorientheorie eingesetzt.
\vspace*{2ex}

{\noindent\bf Konstruktion verteilter Anwendungen:}\\[0.8ex]
Bei der Konstruktion verteilter Anwendungssysteme spielen neben den
bekannten Middleware-Technologien (CORBA, DCOM, - ) auf Architekturebene
sogenannte ``Design Patterns'' eine gro"se Rolle. Basierend auf UML als
Architekturbeschreibungssprache widmen wir uns hier vor allem der
halbautomatischen Verteilung objektbasierter monolithischer Software. Dabei
werden Graphtransformationsregeln zur Identifikation sogenannter
``Anti-Patterns'' in einer gegebenen Softwarearchitektur und zur Elimination
identifizierter ``Anti-Patterns'' durch die Verteilung unterst"utzende ``Design
Patterns'' eingesetzt.
\projekte
{\noindent\bf Automotive UML (UML-Erweiterung)}\\[0.8ex]
Gemeinsam mit der DaimlerChrysler AG (Standort Esslingen) und der AG
Informationssysteme der Universit"at Paderborn entwickeln wir ein sogenanntes
UML-Profil (Erweiterung, Spezialisierung) f"ur die Konstruktion von
eingebetteter Echtzeitsoftware im Automobilbau.
\vspace*{2ex}

{\noindent\bf PROGRES (Programmieren mit Graphen)}\\[0.8ex]
Gemeinsam mit dem Lehrstuhl f"ur Informatik III der RWTH Aachen entwickeln
wir eine integrierte Umgebung, die das Programmieren mit
UML-Klassendiagrammen, Graphtransformationsregeln und imperativen
Kontrollstrukturen unterst"utzt und als ``Meta-CASE-Tool'' f"ur visuelle
Modellierungswerkzeuge eingesetzt wird.
\vspace*{2ex}

{\noindent\bf Regelbasierte Generierung von Testszenarien}\\[0.8ex]
Gemeinsam mit der DaimlerChrysler AG (Standort Berlin) entwickeln wir ein
regelbasiertes und frei konfigurierbares Transformationssystem, das
Klassifikationsb"aume (f"ur Eingabedaten) aus Software-Modellen extrahiert und
als Eingabe f"ur die eigentliche Testvorbereitung und Planung erg"anzt und
aufbereitet.
\vspace*{2ex}

{\noindent\bf APPLIGRAPH / GETGRATS}\\[0.8ex]
Im Rahmen dieser beiden EU-Projekte werden Aktivit"aten zur Entwicklung und
Anwendung graphtransformationsbasierter Spezifikationssprachen und
-werkzeuge unterst"utzt. Mit unseren PROGRES-Aktivit"aten sind wir hier vor
allem im Bereich Anwendung und Werkzeugbau aktiv.
%\vspace*{2ex}
\veroeffentlichungen
\begin{enumerate}
\item A. Sch"urr: Programmed Graph Replacement Systems, in: G. Rozenberg
(ed.): Handbook on Graph Grammars: Foundations, Vol. 1, Singapur: World
Scientific (1997), 479-546

\item J. Rekers, A. Sch"urr: Defining and Parsing Visual Languages with
Layered Graph Grammars, in: Journal of Visual Languages and Computing,
Vol. 8, No. 1, London: Academic Press (1997), 27-55

\item P. Klein, A. Sch"urr: Constructing SDEs with the IPSEN Meta
Environment, in: Proc. 8th Conf. on Software Engineering Environments
SEE'97, Los Alamitos:  IEEE Computer Society Press (1997), 2-10

\item D. Blostein, A. Sch"urr: Computing with Graphs and Graph Rewriting,
in: Software - Practice & Experience, Vol. 29, No. 3, Los Alamitos: IEEE
Computer Society Press (1999), 1-21

\item A. Sch"urr, A.J. Winter: UML, the Future Standard Software
Architecture Description Language?, in: H. Kilov, B. Rumpe, I. Simmonds
(eds.): Behavioral Specifications for Businesses and Systems, Kluwer (1999),
193-206

\item A. Sch"urr, A. Winter, A. Z"undorf: PROGRES: Language and Environment,
in: H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg (eds.): Handbook on
Graph Grammars: Applications, Languages, and Tools, Vol. 2, Singapur: World
Scientific (1999), 487-550

\item A. Radermacher: Support for Design Patterns through Graph
Transformation Tools, erscheint in: M. Nagl, A. Sch"urr, M. M"unch (eds.):
Proc. AGTIVE Workshop, LNCS, Springer Verlag (2000)
\end{enumerate}
\produkte
{\noindent\bf PROGRES (f"ur Linux):}\\[0.8ex]
Bei PROGRES handelt es sich um eine integrierte Programmierumgebung mit
Grafikeditoren und Texteditoren f"ur Klassendiagramme, Graphersetzungsregeln,
Attributierungsgleichungen und imperative Kontrollstrukturen sowie mit
Analysatoren, Interpreter, Compiler und tcl/tk-basierter
Rapid-Prototyping-Generator f"ur grafische Editoren.
Weitere Informationen unter der URL:

	http://ist.unibw-muenchen.de/Tools/PROGRES\\
%\vspace*{2ex}

{\noindent\bf DiTo (Distributed Transformation Tool):}\\[0.8ex]
DiTo ist ein mit PROGRES und JavaCC teilweise generiertes Werkzeug zur
Transformation monolithischer Java-Programme in verteilte CORBA-basierte
Anwendungen. Transformationen werden auf Architekturebene
(UML-Klassendiagrammen) und auf Quelltextebene simultan durchgef"uhrt. In
einem ``Nachlauf'' werden middleware-spezifische Codest"ucke generiert und
eingef"ugt.
Weitere Informationen unter der URL:

	http://ist.unibw-muenchen.de/Tools/dito
\subsubsection*{Kontaktadresse:}
Prof. Dr. Andy Sch"urr\\
Institut f"ur Softwaretechnologie\\
Universit"at der Bundeswehr M"unchen\\
85577 Neubiberg\\
Tel.: (089) 6004 2220, Fax: (089) 6004 3560\\
email: Andy.Schuerr@unibw-muenchen.de\\
URL: http://ist.unibw-muenchen.de/schuerr


\end{document}



\newcommand{\arbeitsgruppe}[3]{
% AG-Kopf mit Rahmen um "Uberschrift, AG-Bezeichnung und 
% Leiter
   \fboxrule.7mm
   \fboxsep3mm
   \vspace{12mm} 
   \begin{center} 
   \framebox{
      \begin{minipage}{70mm}
         \section{#1}
         {\large #2

         \vspace{3mm}
         \large \em #3}
      \end{minipage}
   }
   \end{center}
}



\newcommand{\arbeitsgruppe}[3]{
% AG-Kopf mit Rahmen um "Uberschrift, AG-Bezeichnung und 
% Leiter
% Rahmen mit "Uberbreite, nach links aus der Spalte herausragend
% Problem, falls in rechter Spalte
   \fboxrule.7mm
   \fboxsep3mm
   \vspace{25mm}
   \hspace*{-17mm}
      \begin{minipage}{77mm}
      \section{#1} 
      {\large #2  

      \vspace{3mm} 
      \large \em #3}
      \end{minipage} 
}



\arbeitsgruppe
{ort}
{adr}
{namen}


\arbeitsgebiete

\projekte

\veroeffentlichungen

\produkte


















