Gliederung
1. Einleitung und Motivation
2. Anforderungen an eine Entwurfsmethodik
3.1 Die Objektnetz-Methodik
Meta-Klassen im Objektnetz (ON)
Elementare Objektnetz-Klassen
Konkretisierung durch Vererbung
3.2 Entwurfsbeispiel
Umgebungsmodell
Informationsverarbeitung
Konkretisierung der Informationsverarbeitung
3.3 Validierung
Korrespondierendes Petri-Netz
Transformierte Constraints
4. Plattformabstraktion und Implementierung
Konkrete Aktor/Sensor-Klassen
Mapping der Informationsverarbeitung
Automatische Code-Generierung
5. Zusammenfassung und Ausblick
E-Mail: nuetzel@theoinf.tu-ilmenau.de
Homepage: http://www.theoinf.tu-ilmenau.de/~nuetzel/