%\documentstyle[german,twocolumn,dina4]{article}
\documentstyle[german,twocolumn]{article}
\input{trendsstyle_v2.tex}
\begin{document}
\baselineskip13pt
% \small
\noindent
{\bf Andreas Zeller: Configuration Management with Version Sets --
A Unified Software Versioning Model and its Applications}

\medskip

\noindent
{\bf Anschrift:} TU Braunschweig, Abteilung Softwaretechnologie,
D-38092 Braunschweig

\medskip

\noindent
{\bf 1. Referent: } Prof.\ Dr.\ Gregor Snelting \\
{\bf 2. Referent: } Prof.\ Dr.\ Walter F.\ Tichy \\
{\bf Datum der Pr"ufung: } 01.04.1997

\medskip

\noindent {\bf Zusammenfassung: } Das
Software-Konfigurations\-management (SCM) kennt eine Vielzahl von
Konzepten, die nur schwer miteinander zusammenarbeiten.  Diese Arbeit
stellt ein vereinheitlichtes Versionierungs-Modell vor, das Modell der
{\sl Versionsmengen.}  Versionsmengen kennzeichnen Versionen,
Komponenten und Konfigurationen durch {\sl Feature-Terme} --
Boolesche Terme "uber Ausdr"ucke der Art ({\it Eigenschaft}: {\it
  Wert}).  {\sl Feature-Logik,} ein etablierter Formalismus f"ur
Wissensrepr"asentation und logische Programmierung, definiert Aufgaben
und Konzepte des SCM.  Die Ergebnisse sind wie folgt:

{\bf Vereinheitlichte Versionierung.}  Versionsmengen sind ein
einheitlicher Formalismus, mit dem alle Dimensionen der
Versionierung (Revisionen, Varianten, Arbeitsumgebungen) als auch
Querbeziehungen integriert werden.
  
{\bf Integration von "Anderungen und Revisionen.}
Konfigurationsbedin\-gungen in Feature-Logik decken das gesamte
Spektrum zeitlicher Versionierung ab -- von der Strenge der
versionsorientierten SCM-Modelle bis zur Kombinationsfreudigkeit der
"anderungsorientierten SCM-Modelle.

{\bf Konsistenzpr"ufung unter Mehrdeutigkeit.}  Feature-Logik bestimmt
Eigenschaften und Konsistenz von Konfigurationen wie auch abgeleiteter
Komponenten und beschreibt so, wie sich Eigenschaften im SCM-Proze"s
fortpflanzen.  Unstimmigkeiten werden auch bei unvoll\-st"an\-digen
und mehrdeutigen Konfigurationsbeschreibungen erkannt.

Das Modell der Versionsmengen wurde in einem experimentellen
SCM-System namens ICE implementiert.  "Uber ein virtuelles Dateisystem
k"onnen Anwender beliebige Versionsmengen bearbeiten.  Einzelne
Versionen werden als Dateien angesprochen; Versionsmengen als ganzes
k"onnen "uber Versions-Verzeichnisse oder "uber die wohlbekannte
C-Pr"aprozessor-Dar\-stellung bearbeitet werden.  Die bekannten
SCM-Verfahren werden durch einfache Dateioperationen auf
Versionsmengen effizient realisiert.  Dies macht ICE zu einer
universellen Plattform f"ur SCM-Anwendungen und unterstreicht die
praktische Bedeutung von Versionsmengen.

(Erh"altlich "uber den Autor, zeller@acm.org)
\end{document}

