\contentsline {chapter}{\numberline {1.}Einleitung}{1}
\contentsline {section}{\numberline {1.1}Motivation}{1}
\contentsline {section}{\numberline {1.2}Problemstellung}{4}
\contentsline {section}{\numberline {1.3}Zielsetzung}{7}
\contentsline {section}{\numberline {1.4}Struktur der Arbeit}{8}
\contentsline {chapter}{\numberline {2.}Werkzeugorientierte Systementwicklung}{11}
\contentsline {section}{\numberline {2.1}Computerunterst\active@dq \dq@prtct{u@}tzte Anwendungsentwicklung}{11}
\contentsline {subsection}{\numberline {2.1.1}Anforderungen an CASE}{11}
\contentsline {subsection}{\numberline {2.1.2}Werkzeugintegration}{12}
\contentsline {section}{\numberline {2.2}Objektorientiertes Modellieren und Entwerfen mit OMT}{14}
\contentsline {subsection}{\numberline {2.2.1}OMT Metamodell}{14}
\contentsline {subsection}{\numberline {2.2.2}Modellierung dynamischer Systemaspekte}{16}
\contentsline {section}{\numberline {2.3}Die CASE Umgebung Software through Pictures (StP/OMT)}{18}
\contentsline {subsection}{\numberline {2.3.1}Architekturmerkmale}{19}
\contentsline {subsection}{\numberline {2.3.2}Basisdienste des StP Kerns}{20}
\contentsline {subsection}{\numberline {2.3.3}Das StP Repository}{21}
\contentsline {subsection}{\numberline {2.3.4}Anwendungssicht auf das StP Repository}{23}
\contentsline {subsection}{\numberline {2.3.5}Zugriffsm\active@dq \dq@prtct{o@}glichkeiten auf StP Repositoryobjekte}{25}
\contentsline {chapter}{\numberline {3.}Anbindung des Tycoon Systems an die StP Umgebung}{27}
\contentsline {section}{\numberline {3.1}Basisfunktionalit\active@dq \dq@prtct{a@}t der StP Umgebung}{28}
\contentsline {section}{\numberline {3.2}Abbildung der StP OMS Funktionalit\active@dq \dq@prtct{a@}t auf die Tycoon Ebene}{29}
\contentsline {subsection}{\numberline {3.2.1}Tycoon C Calls f\active@dq \dq@prtct{u@}r den StP API Funktionsaufruf}{29}
\contentsline {subsection}{\numberline {3.2.2}Abbildung von StP API Operationen auf Tycoon Funktionen}{30}
\contentsline {section}{\numberline {3.3}Die Tycoon Umgebung StPEnv f\active@dq \dq@prtct{u@}r den StP Repositoryzugriff}{31}
\contentsline {subsection}{\numberline {3.3.1}Modellierungsaspekte}{32}
\contentsline {subsection}{\numberline {3.3.2}Bibliotheksumfang}{33}
\contentsline {subsection}{\numberline {3.3.3}Grenzen der Funktionalit\active@dq \dq@prtct{a@}t}{34}
\contentsline {chapter}{\numberline {4.}Tycoon Statecharts zur Modellierung dynamischen Systemverhaltens}{37}
\contentsline {section}{\numberline {4.1}Statecharts als strukturierte endliche Automaten}{38}
\contentsline {section}{\numberline {4.2}Zust\active@dq \dq@prtct{a@}nde und Zustandsverfeinerungen}{42}
\contentsline {subsection}{\numberline {4.2.1}Basiszustand}{45}
\contentsline {subsection}{\numberline {4.2.2}Hierarchischer Zustand}{46}
\contentsline {section}{\numberline {4.3}Zustands\active@dq \dq@prtct{u@}berg\active@dq \dq@prtct{a@}nge}{51}
\contentsline {subsection}{\numberline {4.3.1}Ereignis}{52}
\contentsline {subsection}{\numberline {4.3.2}Aktion}{53}
\contentsline {section}{\numberline {4.4}Semantik von Ausf\active@dq \dq@prtct{u@}hrungsschritten}{54}
\contentsline {subsection}{\numberline {4.4.1}Systemkonfiguration}{55}
\contentsline {subsection}{\numberline {4.4.2}Schrittkonstruktion}{56}
\contentsline {chapter}{\numberline {5.}Validierung dynamischen Systemverhaltens}{59}
\contentsline {section}{\numberline {5.1}Einordnung in den Softwareentwicklungsproze\active@dq \dq@prtct{s@}}{60}
\contentsline {section}{\numberline {5.2}Validierungstechniken}{63}
\contentsline {subsection}{\numberline {5.2.1}Generierung validierbarer Prototypen}{64}
\contentsline {subsection}{\numberline {5.2.2}Anbindung externer Dienste}{68}
\contentsline {section}{\numberline {5.3}Vorgehensweisen zur modellbasierten Verhaltensvalidierung}{70}
\contentsline {subsection}{\numberline {5.3.1}Statische Validierung}{71}
\contentsline {subsection}{\numberline {5.3.2}Dynamische Validierung}{71}
\contentsline {section}{\numberline {5.4}Tycoon Modellierungs- und Validierungsumgebung}{73}
\contentsline {subsection}{\numberline {5.4.1}Umgebungsumfang}{74}
\contentsline {subsection}{\numberline {5.4.2}Umgebungsarchitektur}{75}
\contentsline {chapter}{\numberline {6.}Zusammenfassung und Ausblick}{77}
\contentsline {chapter}{\numberline {A.}Anbindung der StP API Funktionen an das Tycoon System}{81}
\contentsline {section}{\numberline {A.1}Generierungsskript f\active@dq \dq@prtct{u@}r dynamische StP Bibliothek lipstp.so}{81}
\contentsline {section}{\numberline {A.2}Pfade zu den StP Systemdateien}{81}
\contentsline {section}{\numberline {A.3}StP Systemumgebungsvariablen}{81}
\contentsline {section}{\numberline {A.4}Bindung und Verwendung der StP API Funktionalit\active@dq \dq@prtct{a@}t}{82}
\contentsline {chapter}{\numberline {B.}Tycoon Schnittstellen}{83}
\contentsline {section}{\numberline {B.1}Modellierungs- und Validierungsumgebung StatechartEnv}{83}
\contentsline {subsection}{\numberline {B.1.1}Modul Statechart}{83}
\contentsline {subsection}{\numberline {B.1.2}Modul StP2Tycoon}{85}
\contentsline {section}{\numberline {B.2}StP Repository Gateway StPEnv}{86}
\contentsline {subsection}{\numberline {B.2.1}Module mit spezieller Tycoon Funktionalit\active@dq \dq@prtct{a@}t}{86}
\contentsline {subsection}{\numberline {B.2.2}Module mit spezieller StP PDM Datentyp Funktionalit\active@dq \dq@prtct{a@}t}{86}
\contentsline {subsection}{\numberline {B.2.3}Module mit allgemeiner StP PDM Datentyp Funktionalit\active@dq \dq@prtct{a@}t}{87}
\contentsline {chapter}{\numberline {C.}Anwendungsbeispiel Television}{89}
\contentsline {section}{\numberline {C.1}Statecharts}{89}
\contentsline {subsection}{\numberline {C.1.1}Zustand Television}{89}
\contentsline {subsection}{\numberline {C.1.2}Verfeinerung Zustand Image}{90}
\contentsline {section}{\numberline {C.2}TL Repr\active@dq \dq@prtct{a@}sentation}{91}
\contentsline {section}{\numberline {C.3}Szenariobasierter Validierungslauf}{96}
\contentsline {chapter}{Literaturverzeichnis}{97}