Inhalt der Vorlesung:

1. Formale Methoden und Software-Engineering


1. Ein (historischer) Über- und Rückblick


2. Formale Grundlagen verteilter Systeme
1. Grundlegende Modelle
1. Ereignisse und Abläufe
2. Zustände und Abläufe
2. Grundlegende Konzepte
1. Kalküle und Logiken
2. Invarianz, Fairness und andere Eigenschaften
3. Systembegriffe und Systemmodell


3. Grundlagen im Software-Engineering
1. Entwicklungsprozess
1. Prozess
2. Produkt
2. Modularisierung
1. Komponentenorientiertes Design
2. Module und Schnittstellen


4. Modellierung: Theorie und Praxis
1. Software-Engineering -- Sichtenorientierte Modellierung
1. Horizontale Sichten
• Daten
• Struktur
• Verhalten
• Ablauf/Szenarien
2. Vertikale Sichten
• Komponenten und Schnittstelle
• Zustände und Unterzustände
• Sequenzdiagramme und Unterdiagramme
3. Business-Systeme vs. Eingebettete Systeme


2. Formale Modellierung


1. Bedeutung der Diagramme zur Beschreibung von
• Daten
• Struktur
• Verhalten
• Ablauf/Szenarien
• Komponenten und Schnittstelle
• Zustände und Unterzustände
• Sequenzdiagramme und Unterdiagramme


5. Produktmodell: Versuch eines Brückenschlags
1. Konzeptuelle Konsistenz
1. Konzeptuelle Elemente/Diagrammelement
2. Diagramme und syntaktische Schnittstellen
3. Überprüfung in Werkzeugen
2. Semantische Konsistenz
1. Bedeutung von Diagrammen
2. Überprüfung semantischer Konsistemz
3. Vollständigkeit von Modellierungen


6. Kritische Punkte
1. Vermischung von Sichten
2. Durchbrechen des Modulprinzips
3. Bedeutung von Diagrammen
4. Wie ausdrucksstark sind Diagramme


7. Erweiterungen -- neue Systemarten und -eigenschaften


1. Variable Systemstrukturen
2. Sichere Systeme