Komponentendekomposition in der Verhaltensmodellierung

Dieser Forschungsbericht wendet sich an diejenigen, die sich mit der Modellierung von Software-Systemen und Verhalten beschäftigen. Er basiert auf den Ergebnissen meiner Diplomarbeit und stellt diese komprimiert und in ausgewählten Teilen dar. Mithilfe der komponentenbasierten, modellgestützten Softwareentwicklung werden meist sehr komplexen Systeme beschrieben. Die Modelle, die eine abstrakte Beschreibung von Vorgängen und Wissen der Wirklichkeit sind, werden entsprechend komplex. Innerhalb dieser Modelle werden üblicherweise kleinere Komponenten zu grösseren zusammengefasst komponiert.Werden diese durch ständige Überarbeitungen und Erweiterungen größer und dadurch ab einem gewissen Punkt unhandlich, so müssen sie sinnvoll in kleinere aufgeteilt werden. Bei dieser Aufteilung, der Dekomposition, fehlte es bislang an methodischer Unterstützung, die etwa durch Software-Modellierungswerkzeuge realisiert werden könnte. In diesem Bericht werden daher innerhalb der Verhaltensmodellierung von Systemen Komponenten exemplarisch zerteilt. Hierbei wird untersucht, welche Auswirkungen diese Trennung auf die beiden daraus resultierenden Teile nämlich den verbleibenden und den herausgetrennten hat.