% ------------------------------------------------------------------ %
%                                                                    %
% Datei: titel.tex                                                   %
% Autor: Oliver Nietsch                                              %
%                                                                    %
% Universitaet Hamburg                                               %
% Fachbereich Informatik                                             %
% Arbeitsbereich DBIS                                                %
%                                                                    %
% Thema: Diplomarbeit: Die Modellierung und Validierung dynamischen  %
%                      Systemverhaltens am Beispiel von StP/OMT      %
%                      und Tycoon                                    %
%                                                                    %
% Inhalt: LaTeX-Dokument: Diplomarbeit,                              %
%                         Titelblatt                                 %
%                                                                    %
% Version vom 16. 4.1997                                             %
% ------------------------------------------------------------------ %

\pagestyle{empty}

\begin{center}
\large

Contact: o.nietsch$@$tu-harburg.de

\vfill

Es folgen zwei leere Bl"atter ...

\vfill
\vfill

\newpage

 \

\newpage

 \

\newpage

 \

\newpage
\setcounter{page}{1}


\begin{large}
Universit"at Hamburg\\
Fachbereich Informatik\\
\end{large}

\vfill

\begin{LARGE}\bf
Diplomarbeit\\
\end{LARGE}

\vfill

\begin{huge}\bf
Modellierung und Validierung\\
dynamischen Systemverhaltens am\\
Beispiel von Tycoon und StP/OMT\\
\end{huge}

\vfill

\underline{\bf Betreuer:}\\[0.1cm]
Prof. Dr. Joachim W. Schmidt\\
Technische Universit"at Hamburg-Harburg\\
Forschungsschwerpunkt 4\\
Arbeitsbereich Softwaresysteme

Prof. Dr. R"udiger Valk\\
Universit"at Hamburg\\
Fachbereich Informatik\\
Arbeitsbereich Theoretische Grundlagen der Informatik\\

\vfill

\underline{\bf vorgelegt von:}\\[0.1cm]
Oliver Nietsch\\
Gro"se Stra"se 56 b\\
21075 Hamburg\\
Mat.-Nr.: 401 04 66\\

\vfill

Hamburg, den \today

\end{center}

\newpage

 \

\newpage

\vfill
\begin{center}
{\large Meinen Eltern}
\end{center}

\vfill
\vfill

\newpage

 \

\newpage

\vfill

Bei der Erstellung dieser Arbeit standen mir viele Menschen zur Seite, bei denen ich mich herzlich bedanken m"ochte.

Mein spezieller Dank gilt Herrn Prof. Dr. Joachim W. Schmidt und Herrn Prof. Dr. R"udiger Valk sowohl f"ur die Unterst"utzung und das besondere Interesse am Thema dieser Arbeit als auch f"ur die Anregungen w"ahrend der Arbeitsdurchf"uhrung.

Herrn Gerald Schr"oder danke ich f"ur seine unbegrenzte Geduld bei der Beantwortung aller meiner Fragen w"ahrend des gesamten Zeitraums der Arbeitserstellung. Unsere zahlreichen Diskussionen zum Thema haben mir auf meinem Weg zum Abschlu"s dieser Arbeit stets weitergeholfen.

Nicht zuletzt gilt mein Dank Herrn Daniel Moldt, der mich vor allem bez"uglich meiner Fragestellungen im Bereich der theoretischen Grundlagen dieser Arbeit immer auf neue zu ber"ucksichtigende Aspekte hinwies.

Meinen Eltern m"ochte ich an dieser Stelle daf"ur danken, da"s sie mir meinen Lebensweg erm"oglicht haben und mir auch im Rahmen dieser Arbeit nicht nur als unerm"udliche Korrekturleser jederzeit zur Seite standen.

Hamburg, den \today \hfill Oliver Nietsch

\vfill
\vfill

\newpage

 \

\vfill

{\bf {\sf {\Large Typographie}}}

In dieser Arbeit werden unterschiedliche Schriftarten verwendet, um die Lesbarkeit zu verbessern. Die Bedeutung der einzelnen Schriftarten ist in der folgenden Tabelle wiedergegeben. Darin bezeichnen "`sonstige Firmen- oder Produktnamen"' von der Firma Interactive Development Environments (IDE) und ihrer Produktfamilie Software through Pictures (StP) verschiedene Unternehmen oder kommerzielle Produkte.\\

\begin{table}[hbt]
\begin{center}
\begin{tabular}{|l|l|l|}
\hline
{\bf Schriftart} & {\bf Bedeutung} & {\bf Beispiel}\\
\hline\hline
\engl{Emphasized} & Englische Begriffe, & \engl{Software Engineering}\\
                  & Mathematische Formeln & \engl{I $\cup$ generated(E)}\\
\hline 
{\sf Sans Serif} & Sonstige Firmennamen,  & {\sf Star Division}\\
		 & Produktnamen  & {\sf Unix}, {\sf StarView}\\  
\hline
{\tt Typewriter} & Systemkommandos, & {\tt LD\_LIBRARY\_PATH=...}\\
		 & C Ausdr"ucke     & {\tt char *sig = "{}Name"{}}\\
\hline
{\sl Slanted} & Tycoon Language & {\sl omsRepository.check(rep)}\\
	      & Ausdr"ucke       &  \\
\hline
{\bf {\sl Slanted}} & Reservierte & {\sl {\bf let} a = 3}\\
		    & Tycoon Language &  \\
		    & Schl"usselworte  &  \\
\hline
\end{tabular}
\end{center}
\end{table}

Für die Darstellung der Tycoon Language (TL) Implementierungsdetails gelten die g"ultigen Tycoon \engl{Layout}- und Namenskonventionen wie in \cite{MMM93} angegeben.
