Entwicklung und Anwendung eines Bezugsrahmens zur ...

History-Zustände können nur innerhalb von anderen Zuständen erstellt werden. Allerdings wird entgegender UML-Semantik zugelassen, daß Transitionen zum History-Zustand innerhalb des Unterzustandsverlaufen und ein History-Zustand mehrere ausgehende Transitionen haben kann. DieVerwendung von Synchronisierungsbalken ist hinsichtlich deren in der UML vorgesehenen Beschränkungauf die Synchronisierung von parallelen Unterzuständen problematisch. Da Rose nursequentielle Zustände zur Modellierung anbietet, verletzt die Verwendung eines Fork die Konsistenzbedingung,daß sich ein Automat nur in einem sequentiellen Zustand gleichzeitig befinden darf.4.1.3.7 AktivitätsdiagrammIn Rose stehen zur Modellierung eines Aktivitätsdiagramms alle Elemente des Zustandsdiagramms zuVerfügung. Im folgenden werden die Modellelemente beschrieben, die ausschließlich in einem Aktivitätsdiagrammzu finden sind. Für eine Diskussion der weiteren Elemente wird auf Abschnitt 4.1.3.6verwiesen.Darstellung der ModellelementeDie Aktivitäten eines Aktivitätsdiagramms unterscheiden sich nur grafisch von Zuständen eines Zustandsdiagrammsund haben dementsprechend die gleichen Einstellungs- und Notationsmöglichkeiten.Auch Transitionen werden wie im Zustandsdiagramm umgesetzt.Aktivitäten und Zustände können inkl. der anhängigen Transitionen beliebig ineinander verschachteltwerden. Zusätzlich sind Objekte und Objektfluß darstellbar. Objekte werden mit Namen, Klasse,Zustand und Stereotyp notiert und können auch als Multiobjekt analog zur Darstellung im Kollaborationsdiagrammerstellt werden. Der Objektfluß dargestellt als gestrichelte Linie kann optional miteinem Namen und einem Stereotyp annotiert werden. Schwimmbahnen mit einem Namen sind ebenfallsmodellierbar. Ein Beispiel für ein Aktivitätsdiagramm in Rose findet sich in Abbildung 77.VollständigkeitZur Modellierung eines Aktivitätsdiagramms nicht verfügbar sind ein- oder ausgehende Signale. Darüberhinaus werden von denen in Abschnitt 4.1.3.6 bereits als fehlend aufgeführten Modellelementenabgesehen alle Elemente des Aktivitätsdiagramms angeboten.SemantikDie Restriktionen bzgl. der Eindeutigkeit der Zustandsnamen und der Anzahl der Startzustände ineinem Zustands/Aktivitätsmodell gelten analog zum Zustandsdiagramm. Auch die Zuordnung zu einerKlasse ist vorgesehen. Eine direkte Verbindung zwischen einer Methode und einer Aktivität ist allerdingsnicht möglich.Objekte im Diagramm können als Instanz einer im Modell existierenden Klasse zugeordnet werden.Weiterhin kann der Zustand, der in der grafischen Repräsentation des Objekts vermerkt ist, mit einemZustand im Teilmodell assoziiert werden. Analog kann die Bezeichnung einer Schwimmbahnoptional mit der einer existierenden Klassen korrespondieren, um deren Verantwortlichkeit für bestimmteAktivitäten im Diagramm anzuzeigen.- 138 -