Zusammenfassung:
UML-Zustandsmaschinen sind ein beliebtes Mittel zur Modellierung dynamischen Verhaltens von Software-Systemen. Die Modellierung nicht-trivialer, insbesondere history-basierter und nebenläufiger Features mit Zustandsmaschinen ist jedoch oft mühsam, das Modell nicht verständlich und schlecht wartbar. Dies liegt teilweise daran, dass UML-Zustandsmaschinen kaum Strukturierungskonstrukte bieten und dass oft ein Modellelement gleichzeitig an mehreren Features beteiligt ist, während ein Feature nur mit mehreren Modellelementen, möglicherweise verstreut im ganzen Modell, zu modellieren ist.
Aspekt-orientierte Zustandsmaschinen sind ein Ansatz, der durch Einführung aspekt-orientierter Sprachkonstrukte dieses Problem zu lösen sucht. Im Rahmen dieser Arbeit soll ein Modellierungswerkzeug dafür entwickelt werden.
Download:
N/A