Interaktionsdiagramm

In diesem Artikel oder Abschnitt fehlen folgende wichtige Informationen: Kritik (vgl. engl. Artikel); Bedeutung der UML; aktueller Stand (November 2007 wurde Version 2.1.2 vorgelegt, wie wurde sie aufgenommen?) Du kannst Wikipedia helfen, indem du sie recherchierst und einfügst.

Die Unified Modeling Language, kurz UML (zu deutsch „Vereinheitlichte Modellierungssprache“), ist eine von der Object Management Group (OMG) entwickelte und standardisierte Sprache für die Modellierung von Software und anderen Systemen. Sie ist auch über die ISO standardisiert (ISO/IEC 19501). Im Sinne einer Sprache definiert die UML dabei Bezeichner für die meisten Begriffe, die für die Modellierung wichtig sind, und legt mögliche Beziehungen zwischen diesen Begriffen fest. Die UML definiert weiter graphische Notationen für diese Begriffe und für Modelle von statischen Strukturen und von dynamischen Abläufen, die man mit diesen Begriffen formulieren kann.

Die UML ist heute eine der dominierenden Sprachen für die Modellierung von betrieblichen Anwendungs- bzw. Softwaresystemen. Der erste Kontakt zur UML besteht häufig darin, dass Diagramme der UML im Rahmen von Softwareprojekten zu erstellen, zu verstehen oder zu beurteilen sind:

• Projektauftraggeber und Fachvertreter prüfen und bestätigen zum Beispiel Anforderungen an ein System, die Wirtschaftsanalytiker in Anwendungsfalldiagrammen der UML festgehalten haben.
• Softwareentwickler realisieren Arbeitsabläufe, die Wirtschaftsanalytiker in Zusammenarbeit mit Fachvertretern in Aktivitätsdiagrammen beschrieben haben.
• Systemingenieure installieren und betreiben Softwaresysteme basierend auf einem Installationsplan, der als Verteilungsdiagramm vorliegt.

Die graphische Notation ist jedoch nur ein Aspekt, der durch die UML geregelt wird. Die UML legt in erster Linie fest, mit welchen Begriffen und welchen Beziehungen zwischen diesen Begriffen sogenannte Modelle spezifiziert werden – Diagramme der UML zeigen nur eine graphische Sicht auf Ausschnitte dieser Modelle. Die UML schlägt weiter ein Format vor, in dem Modelle und Diagramme zwischen Werkzeugen ausgetauscht werden können.

Entstehungsgeschichte

Die erste Version der UML (Programmablaufplan Reloaded) entstand in den 1990er Jahren als Reaktion auf zahlreiche Vorschläge für Modellierungssprachen und -methoden, welche die zu dieser Zeit aufkommende objekt-orientierte Softwareentwicklung unterstützen sollten. Eine erste Folge von Sprachversionen, auch bekannt unter dem Namen UML 1.x, wurde 2005 durch eine grundlegend überarbeitete Version, oft als UML2 bezeichnet, abgelöst.

Von den Anfängen zur Unified Modeling Language 1.x

Historie der objektorientierten Methoden und Notationen

Die Väter der UML, insbesondere Grady Booch, Ivar Jacobson und James Rumbaugh, auch „die drei Amigos“ genannt, waren in den 1990er-Jahren bekannte Propagandisten der objektorientierten Programmierung, die alle bereits ihre mehr oder weniger ähnlichen eigenen Modellierungssprachen entwickelt hatten. Als sie zusammen beim Unternehmen Rational Software beschäftigt waren, entstand der Ansatz, die verschiedenen Notationssysteme strukturiert zusammenzuführen. Eine Vielzahl von unterschiedlichen Modellierungssprachen hatte direkten oder indirekten Einfluss auf die Konzeption der UML, darunter OOSE, RDD, OMT, OBA, OODA, SOMA, MOSES und OPEN/OML.

Als Resultat dieser Bemühungen entstand die UML. Die Standardisierung, Pflege und Weiterentwicklung der Sprache wurde an OMG übergeben, die die Sprache am 19. November 1997 als Standard akzeptierte.

Entstehungsgeschichte der Unified Modeling Language 2

Im August 1999 stieß die OMG die Entwicklung der UML2 an, indem sie einen entsprechenden Request for Information (RFI) publizierte.

Ein Jahr später, im September 2000, bat die OMG ihre Mitglieder und weitere interessierte Kreise um Vorschläge für die UML2. Gemäß der neu für die UML2 definierten Architektur hat die OMG drei Requests For Proposals (RFP) publiziert, einen UML 2.0 Infrastructure RFP, einen UML 2.0 Superstructure RFP und einen UML 2.0 OCL RFP. Wer Vorschläge einreichen wollte, hatte dazu ungefähr ein weiteres Jahr Zeit.

In einer ersten Runde haben verschiedene Gruppen und Einzelpersonen Entwürfe eingereicht. Mitte 2002 lagen von diesen Konsortien mehrmals überarbeitete und konsolidierte Antworten auf einzelne Request for proposals vor. Erst im Oktober 2002 konnten dann am Treffen der zuständigen Arbeitsgruppe in Helsinki alle Vorschläge für die UML 2.0 Infrastructure und die UML 2.0 Superstructure präsentiert werden. Einen Termin für eine weitere überarbeitete Version der Vorschläge legte die Arbeitsgruppe auf Anfang Januar 2003 fest. Die Hauptschwierigkeit bestand nun darin, die unterschiedlichen Entwürfe zu einer Spezifikation zu verschmelzen. Einerseits wurde zum Teil Kritik laut, dass sich die unterschiedlichen Philosophien in den eingereichten Vorschlägen nur schwerlich würden bereinigen lassen, andererseits reichte im Januar 2003 ein neues Konsortium unter dem Namen 4M einen Vorschlag (UML4MDA) ein, der die Differenzen zwischen den bisherigen Spezifikationen zu überbrücken versuchte.

Im März 2003 empfahl die zuständige Arbeitsgruppe die Vorschläge des Konsortiums U2 für die UML 2.0 Infrastructure und für die UML 2.0 OCL zur Freigabe, im Mai dann auch die UML 2.0 Superstructure des gleichen Konsortiums, so dass ab Juni 2003 drei Finalization Task Forces der OMG die Arbeit aufnehmen konnten, um die Teilspezifikationen abzuschließen. Die Task Forces konnten ihre Arbeit jedoch nicht wie geplant bis zum April 2004 abschließen und gründeten deshalb gleich anschließend eine zweite Finalization Task Force, die die verbleibenden Probleme bis zum September 2004 lösen sollte.

Im September 2004 konnten schließlich alle Finalization Task Forces ihre Arbeit beenden. Für die UML 2.0 OCL und die UML 2.0 Infrastructure lagen damit endgültig abgenommene Dokumente (Final Adopted Specification) vor. Nur bei der UML 2.0 Superstructure schien sich dieser letzte Schritt noch etwas zu verzögern: im März 2005 bot der OMG-Webauftritt weiterhin nur ein temporäres Dokument mit der informellen Bezeichnung UML 2.0 Superstructure FTF convenience document zum Herunterladen an.

Im November 2007 hat die OMG die jetzt aktuelle Version UML 2.1.2 veröffentlicht.

Am 21. Oktober 2008 wurde die Beta 1 der UML Version 2.2 durch die OMG veröffentlicht.

Strukturierung

Der Umfang der UML ist während der Entwicklung von der UML 1.0 bis zur UML2 laufend gewachsen. Die aktuelle Version UML2 ist insbesondere weitaus umfangreicher als die Vorgängerversionen UML 1.x. Sowohl für die Entwicklung der UML2 als auch für die Vermittlung, die Anwendung und nicht zuletzt für die Lesbarkeit der UML2-Spezifikation ist eine Strukturierung der Spezifikation sehr wichtig. Was deshalb in den ersten Versionen der UML in einem Dokument spezifiziert werden konnte, musste für die UML2 in Teilspezifikationen aufgeteilt werden. In den folgenden Abschnitten wird der Aufbau der UML2 beschrieben.

Teilspezifikationen

Die UML2 ist in drei Teilspezifikationen aufgeteilt. Die UML 2.0 Infrastructure Specification legt das Fundament für die UML2, indem sie die am häufigsten verwendeten Elemente der UML2 und die Modellelemente beschreibt, die die restlichen Modellelemente spezialisieren. In diesem Dokument werden Konzepte wie die Klasse, die Assoziation oder die Multiplizität eines Attributs spezifiziert. Die UML 2.0 Superstructure Specification baut auf dem Fundament der UML 2.0 Infrastructure Specification auf und definiert die Modellelemente der UML2, die sich für bestimmte Einsatzzwecke eignen. Typische Konzepte, die in diesem Dokument spezifiziert werden, sind der Anwendungsfall, die Aktivität oder der Zustandsautomat. Schließlich spezifiziert das Dokument mit dem Titel UML 2.0 Object Constraint Language die Object Constraint Language 2.0 (OCL2).

Ein weiterer, vierter Teil beschäftigt sich nicht mit dem semantischen Modell der UML, sondern spezifiziert das Layout der Diagramme. Dieses Dokument trägt den Titel UML 2.0 Diagram Interchange und ist eine Neuerung in der UML 2.0: Die UML 1.x kannte kein standardisiertes Format, mit dem das Layout von Diagrammen zwischen unterschiedlichen Werkzeugen ausgetauscht werden konnte. Die semantischen Informationen in einem UML-Modell konnte ein Werkzeug auch bisher an ein anderes Werkzeug übergeben, das Aussehen der Diagramme, das heißt die Positionen und Größe einzelner Diagrammelemente, ging dabei aber verloren. Diagram Interchange (DI) soll dieses Manko beseitigen.

Metamodellierung

Hierarchie der Metamodellierung

Ähnlich wie sich natürliche Sprachen in Lexika oder Grammatiken selbst beschreiben, wurde auch die UML als ein Sprachwerkzeug konzipiert, das sich mit einigen Sprachbestandteilen selbst erklärt.

Mit der Meta Object Facility (MOF) werden Modellelemente der UML2 spezifiziert und dadurch z. B. mit dem Format Meta Interchange XMI austauschbar. Die UML ist dazu in vier Schichten M0 bis M3 gegliedert. Die bereits erwähnte MOF (M3) stellt eine der vier Schichten dar. Es ist die Metasprache der Metasprachen der UML2 und beinhaltet deren grundlegende Elemente. Die Metasprache der UML2 (M2) spezifiziert die grundlegenden Elemente der UML2 mit deren Eigenschaften. Die in der Praxis verwendete UML2 befindet sich auf der Ebene M1. Hiermit werden die realen Objekte der M0 Schicht, also die Realität, dargestellt.

Wie in der UML2.0, war auch die UML1.x auf der dritten von vier Metamodellierungsebenen eingeordnet. Zur UML 1.x besteht jedoch ein wesentlicher Unterschied: Die auf diesen vier Ebenen verwendeten Modellierungssprachen, besonders die Sprachen auf den Ebenen M2 und M3, teilen sich die gemeinsame Spracheinheit der Infrastrukturbibliothek (InfrastructureLibrary). Sie wird in der UML 2.0 Infrastructure definiert und bildet einen Kern der grundlegenden Modellierungselemente, der sowohl in der UML 2.0 Infrastructure als auch in der UML 2.0 Superstructure und in der MOF 2.0 eingesetzt wird.

Spracheinheiten

Die UML 2.0 Superstructure ist auf einer ersten Ebene modular in Spracheinheiten (engl. language units) aufgebaut. Eine Spracheinheit umfasst eine Menge von eng zusammenhängenden Modellierungselementen, mit denen ein Benutzer einen ausgewählten Aspekt eines Systems mit einem bestimmten Formalismus modellieren kann. Die Spracheinheit Aktivitäten (engl. Activities) umfasst zum Beispiel Elemente für die Modellierung eines Systemverhaltens, das sich am besten mit dem Formalismus von Daten- und Kontrollflüssen darstellen lässt.

Einteilung der Spracheinheiten in Schichten

Auf einer dritten Stufe sind die meisten Spracheinheiten in mehrere Schichten (engl. Compliance Level) gegliedert. Die unterste Schicht umfasst jeweils die einfachsten und am häufigsten verwendeten Modellierungselemente, während höhere Schichten zunehmend komplexere Modellierungselemente einführen. Die Spracheinheit Aktivitäten umfasst beispielsweise FundamentalActivities als unterste Schicht und darauf aufbauend die Schicht BasicActivities. FundamentalActivities definiert zunächst nur, dass Aktivitäten strukturell aus hierarchisch geschachtelten Gruppen von Aktionen bestehen. BasicActivities erweitert dieses Gerüst um Kanten und weitere Hilfsknoten zu einem Graphen, den man in der UML2 dann visuell als Aktivitätsdiagramme darstellt.

Spracheinheiten

Aktionen

Beispiel der graphischen Notation für eine Aktion mit zwei Eingabe- und einem Ausgabepin

Die Spracheinheit Aktionen (engl. actions) umfasst die Definition der Aktionen in UML2. Aktionen sind die elementaren Bausteine für die Modellierung eines Verhaltens. Sie können Eingabewerte über sogenannte Eingabepins entgegennehmen bzw. Ausgabewerte an sogenannten Ausgabepins produzieren.

Die UML2 definiert in dieser Spracheinheit mehrere Gruppen von grundlegenden Aktionen, siehe Aktion.

Aktivitäten

Spaghetti-Kochen modelliert als Aktivität

Die Aktivität ist das zentrale Element, das in der Spracheinheit Aktivitäten definiert ist. Sie ist gleichzeitig eine der wesentlichen Neuerungen der UML2 gegenüber der UML 1.4. Eine Aktivität ist ein Modell für ein Verhalten, das als Menge von elementaren Aktionen beschrieben ist, zwischen denen Kontroll- und Datenflüsse existieren. Aus der Sicht eines Softwaresystems würde ein Aktivitätsdiagramm das dynamische Verhalten des entsprechenden Systems darstellen.

Aktivitäten haben die Struktur eines Graphen. Knoten stellen Aktionen sowie Punkte, an denen die Flüsse zwischen den Aktionen kontrolliert werden, dar; Kanten stehen für Objekt- und Kontrollflüsse. Die Aufgabe des Sprachpakets Aktivitäten ist es, alle Typen von Knoten und Kanten zu definieren, die für die Modellierung von Aktivitäten benötigt werden.

Knoten werden in Objekt- und Kontrollknoten unterschieden, Kanten analog dazu in Objekt- und Kontrollflüsse.

Komplexere Aktivitäten können verschachtelt und mit Kontrollstrukturen modularisiert werden.

Graphisch werden Aktivitäten in Aktivitätsdiagrammen modelliert.

Allgemeines Verhalten

Die Spracheinheit Allgemeines Verhalten umfasst die allgemeinen Modellelemente für die Spezifikation des Verhaltens eines mit der UML2 modellierten Systems. Hier sind die Modellelemente zusammengefasst, die für die Spezifikation von Aktivitäten, Interaktionen oder Zustandsautomaten benötigt werden.

Die Spracheinheit definiert die Gemeinsamkeiten jeder Verhaltensbeschreibung und dass eine aktive Klasse ein eigenes Verhalten haben kann. Verhalten in einem System, das mit der UML2 modelliert ist, startet immer aufgrund von diskreten Ereignissen. Dieses Sprachpaket definiert, welche Arten von Ereignissen die UML2 unterstützt.

Die Behandlung der Zeit wird ebenfalls weitgehend in diesem Sprachpaket geregelt. Es definiert Metaklassen für die Beobachtung der Zeit (TimeObservationAction), für die Notation von Zeitausdrücken (TimeExpression), für die Definition von Zeitintervallen (TimeInterval) sowie für das Konzept einer zeitlichen Dauer (Duration).

Anwendungsfälle

Beispiel für die graphische Darstellung zweier Anwendungsfälle und zweier Akteure

Die Spracheinheit Anwendungsfälle (engl. use case) stellt Elemente für die Modellierung von Anforderungen an ein System zur Verfügung. Das wichtigste Element ist der Anwendungsfall. Anwendungsfälle halten fest, was ein System tun soll. Das zweite wichtige Element ist der Akteur. Akteure spezifizieren, wer (im Sinne einer Person) oder was (im Sinne eines anderen Systems) etwas mit dem System tun soll.

Graphisch werden Anwendungsfälle in Anwendungsfalldiagrammen dargestellt.

Informationsflüsse

Beispiel eines Strukturdiagramms mit zwei Informationsflüssen

Den Techniken, die die UML2 für die Spezifikation des Verhaltens eines Systems anbietet, liegen präzise semantische Modelle zugrunde. Dies gilt insbesondere für Verhaltensbeschreibungen mit Hilfe von Interaktionen oder Aktivitäten, die zudem darauf ausgerichtet sind, das Verhalten eines Systems sehr feingranular zu spezifizieren. Soll das Modell eines Systems nur einige grundlegende Informationsflüsse im System aufzeigen, eignen sich diese Techniken deshalb nur bedingt.

Die Spracheinheit Informationsflüsse, die in der UML2 neu eingeführt wurde, stellt Modellelemente zur Verfügung, um diese Situation zu verbessern. Sie bietet die Modellelemente Informationseinheit und Informationsfluss an, mit denen ein Modellierer Informationsflüsse in einem System auf hoher Abstraktionsstufe festhalten kann.

Informationsflüsse können dabei eine Vielzahl von anderen Modellelementen der UML2 verbinden, insbesondere Klassen, Anwendungsfälle, Ausprägungsspezifikationen, Akteure, Schnittstellen, Ports und noch einige mehr.

Die UML2 gibt keinen Diagrammtyp für Informationsflüsse vor. Die graphische Notation für Informationsflüsse und Informationseinheiten kann in allen Strukturdiagrammen vorkommen.

Interaktionen

Beispiel für die Spezifikation einer Interaktion mit Hilfe eines Sequenzdiagramms

Das Verhalten eines modellierten Systems kann in der UML2 auf unterschiedliche Art und Weise spezifiziert werden. Eine davon ist die Modellierung von Interaktionen. Eine Interaktion ist die Spezifikation eines Verhaltens, das am Besten über den Austausch von Meldungen zwischen eigenständigen Objekten beschrieben wird. Die Spracheinheit stellt dafür die geeigneten Modellelemente zur Verfügung.

Wer Interaktionen modelliert, geht davon aus, dass das modellierte System aus einem Netzwerk von Objekten besteht, die untereinander Meldungen austauschen. Schickt ein Objekt einem anderen Objekt eine Meldung, kann man zwei Ereignisauftritte identifizieren: erstens das Auftreten eines Meldungsereignisses, wenn die Meldung vom ersten Objekt abgeschickt wird sowie zweitens eines Meldungsereignisses, wenn die Meldung beim zweiten Objekt ankommt. Weitere Ereignisse treten auf, wenn eine Aktion oder ein anderes Verhalten im Kontext eines Objekts beginnt oder endet. Eine Spur (trace) bezeichnet eine Folge von solchen Ereignissen. Interaktionen spezifizieren nun ein Verhalten als zwei Mengen von Spuren, einer Menge gültiger und einer Menge ungültiger Spuren.

Damit ist präziser gesagt, was wir meinen, wenn wir von Interaktionen sprechen: die Bedeutung (Semantik) einer Interaktion ist durch Mengen von Spuren gegeben. Modelliert werden Interaktionen jedoch als Mengen von Lebenslinien, auf denen Aktionen und andere Verhaltensweisen ablaufen und zwischen denen Nachrichten ausgetauscht werden.

Interaktionen modelliert man graphisch in Kommunikationsdiagrammen, in Sequenzdiagrammen oder in Zeitverlaufsdiagrammen.

Klassen

Beispiel für ein Klassendiagramm, das Elemente aus der Spracheinheit Klassen verwendet

Die Spracheinheit Klassen umfasst den eigentlichen Kern der Modellierungssprache. Sie definiert insbesondere, was man in der UML2 unter einer Klasse versteht und welche Beziehungen zwischen Klassen möglich sind. In dieser Spracheinheit sind grundlegende Prinzipien der UML2 definiert. Die Metaklasse Element ist das Wurzelelement für alle anderen Modellelemente. Jedes Element kann andere Elemente besitzen, auch beliebig viele Kommentare, die wiederum andere Elemente kommentieren können. Zwischen Elementen können Beziehungen definiert werden. Elemente können benannt sein und gehören in diesem Fall zu einem Namensraum. Weiter können gewisse Elemente einen Typ haben. Sie werden dann als typisierte Elemente bezeichnet. Einem Element kann eine Multiplizität mit einer unteren und einer oberen Schranke zugeordnet sein.

Diese Spracheinheit enthält vier Unterpakete. Das Unterpaket Kernel umfasst zentrale Modellierungselemente, die aus der UML 2.0 Infrastructure wiederverwendet werden. Dazu gehören die Klasse, die Ausprägungsspezifikation, der Namensraum, das Paket, das Attribut, die Assoziation, die Abhängigkeitsbeziehung, der Paketimport, die Paketverschmelzung und die Generalisierung. Das zweite Unterpaket, AssociationClasses, umfasst die Definition von Assoziationsklassen. Interfaces, das dritte Unterpaket, stellt die Definition von Schnittstellen bereit. Schließlich deklariert das Unterpaket PowerTypes Modellelemente für die sogenannten PowerTypes.

Elemente aus dieser Spracheinheit werden meistens in Klassendiagrammen, Objektdiagrammen und Paketdiagrammen dargestellt.

Komponenten

Beispiel einer Komponente mit drei angebotenen und einer benötigten Schnittstelle, sowie zwei Ports

Komponenten sind modulare Teile eines Systems, die so strukturiert sind, dass sie in ihrer Umgebung durch eine andere, äquivalente Komponente ersetzt werden könnten. In der Softwareentwicklung verwendet man insbesondere das Konzept der Softwarekomponente, um ein Softwaresystem in modulare Teile zu gliedern. Die Spracheinheit Komponenten der UML2 stellt Konstrukte zur Verfügung, um Systeme, die aus Komponenten aufgebaut sind, zu modellieren.

Das wichtigste Element ist die Komponente, die eine innere Struktur gegen außen abgrenzt. Die Spezifikation einer Komponente deklariert vor allem den von außen sichtbaren Rand und definiert damit eine Black-Box-Sicht auf die Komponente. Sichtbar sind eine Menge von angebotenen und erforderlichen Schnittstellen sowie allenfalls eine Menge von Ports.

Die Spracheinheit umfasst ferner den Delegations- und den Kompositionskonnektor. Der Delegationskonnektor verbindet Ports auf der Hülle einer Komponente mit Elementen im Innern der Komponente. Der Kompositionskonnektor verbindet angebotene Schnittstellen einer Komponente mit benötigten Schnittstellen einer anderen Komponente.

Die Elemente dieser Spracheinheit werden meistens in Komponentendiagrammen, zum Teil aber auch in Klassendiagrammen oder Verteilungsdiagrammen dargestellt.

Kompositionsstrukturen

Die Spracheinheit Kompositionsstrukturen bereichert die UML2 um einen neuen Ansatz für die Modellierung der inneren Struktur eines zusammengesetzten Ganzen. Das „Ganze“ wird dabei als gekapselter Classifier modelliert, für die „Teile“ stellt diese Spracheinheit die Parts zur Verfügung. Untereinander können Parts durch Konnektoren verbunden sein. Der gekapselte Classifier steht also für ein System mit klarer Abgrenzung von Innen und Außen, dessen innere Struktur mit Hilfe von Parts und Konnektoren spezifiziert ist. Damit die Grenze zwischen Innen und Außen zumindest teilweise durchlässig ist, kann der gekapselte Classifier auf der Hülle über eine Menge von Ein- und Ausgangspunkten, so genannten Ports, verfügen.

Elemente aus dieser Spracheinheit werden meistens in Kompositionsstrukturdiagrammen dargestellt.

Modelle

Die Spracheinheit Modelle umfasst nur ein Modellelement: das Modell.

Profile

Beispiel für die Definition und die Anwendung eines vereinfachten Profils für die Organisationsmodellierung

Die UML2 stellt mit der Spracheinheit Profile einen leichtgewichtigen Erweiterungsmechanismus zur Verfügung, mit dem sie spezifischen Einsatzgebieten angepasst werden kann. Der Mechanismus wird als leichtgewichtig bezeichnet, weil er das Metamodell der UML2 unverändert lässt, oft ein entscheidender Vorteil, denn auf dem Markt erhältliche Werkzeuge für die Erstellung und Pflege von UML2-Modellen können oft nur mit Modellen basierend auf dem standardisierten UML2-Metamodell umgehen.

Die UML2 umfasst in ihren Spracheinheiten verschiedene Möglichkeiten für die Modellierung der Struktur und des Verhaltens eines Systems, muss dabei aber auf einer generischen Ebene bleiben. Sie verwendet zum Beispiel die generischen Begriffe Aktivität oder Artefakt und kennt den spezifischen Begriff Geschäftsprozess aus der Geschäftsmodellierung oder Enterprise Java Beans der Java-Plattform nicht. Falls diese Begriffe in der Modellierung benötigt werden, müssen sie über den Erweiterungsmechanismus der Profile zur UML2 hinzugefügt werden. Auch spezielle Notationen, zum Beispiel eine realistischere Zeichnung anstelle des Strichmännchens, das einen Akteur darstellt, können der UML2 mit Hilfe der Profile hinzugefügt werden. Weiter können Profile Lücken in der Definition der Semantik der UML2 schließen, die dort absichtlich für spezifische Einsatzgebiete offen gelassen wurden (engl. semantic variation points). Schließlich können Profile Einschränkungen definieren, um die Art und Weise zu beschränken, wie ein Element aus der UML2 verwendet wird.

Mit Hilfe des Erweiterungsmechanismus der Profile kann das Metamodell der UML2 jedoch nicht beliebig angepasst werden. So können zum Beispiel keine Elemente aus dem Metamodell der UML2 entfernt, keine Einschränkungen aufgehoben und keine echten neuen Metaklassen, sondern nur Erweiterungen (Stereotypen) von bestehenden Metaklassen, deklariert werden.

Die Spracheinheit definiert zunächst das Konzept eines Profils. Ein Profil ist eine Sammlung von Stereotypen, und definiert die eigentliche Erweiterung. Ein Profil ist ein Paket und wird auf andere Pakete angewendet, womit die Erweiterung, die das Profil definiert, für das entsprechende Paket gilt.

Die UML2 kennt keinen speziellen Diagrammtyp für Profile. Die graphischen Notationen für Elemente aus dieser Spracheinheit kommen sowohl in Paketdiagrammen als auch in Klassendiagrammen vor.

Schablonen

Die Spracheinheit Schablonen (engl. Templates) umfasst Modellelemente für die Parametrisierung von Klassifizierern, Klassen und Paketen.

Verteilungen

Beispiel eines Verteilungsdiagramms mit einem Knoten und zwei Artefakten

Die Spracheinheit Verteilungen (engl. Deployments) ist auf ein sehr spezifisches Einsatzgebiet ausgerichtet, nämlich auf die Verteilung von lauffähiger Software in einem Netzwerk. Die UML2 bezeichnet eine so installierbare Einheit als Artefakt und geht davon aus, dass diese auf Knoten installiert werden. Knoten können entweder Geräte oder Ausführungsumgebungen sein. Eine Verteilungsbeziehung, das heißt eine spezielle Abhängigkeitsbeziehung, modelliert, dass ein Artefakt auf einem Knoten installiert wird.

Elemente aus dieser Spracheinheit werden normalerweise in Verteilungsdiagrammen dargestellt.

Zustandsautomaten

Beispiel eines Zustandsautomaten für die Zustände eines Buchs in einer öffentlichen Bibliothek

Die Spracheinheit Zustandsautomaten (engl. state machines) umfasst Modellelemente, die für die Modellierung von Zustandsautomaten eingesetzt werden.

Die UML2 setzt Zustandsautomaten in erster Linie für die Spezifikation des Verhaltens eines Systems ein. So kann ein Zustandsautomat zum Beispiel das Verhalten der Instanzen einer aktiven Klasse modellieren. Zusätzlich können Zustandsautomaten aber auch eingesetzt werden, um eine zulässige Nutzung einer Schnittstelle oder eines Ports zu spezifizieren. Der Zustandsautomat modelliert dabei zum Beispiel, in welcher Reihenfolge Operationen einer Schnittstelle aufgerufen werden dürfen. Im ersten Fall spricht man von einem Verhaltenszustandsautomaten, im zweiten von einem Protokollzustandsautomaten.

Zustandsautomaten werden graphisch in Zustandsdiagrammen dargestellt. Diese sind in der UML eine Variante der klassischen Statecharts.

Darstellung in Diagrammen

Die UML2 kennt sechs Strukturdiagramme:

• das Klassendiagramm,
• das Kompositionsstrukturdiagramm (auch: Montagediagramm),
• das Komponentendiagramm,
• das Verteilungsdiagramm,
• das Objektdiagramm und
• das Paketdiagramm.

Dazu kommen sieben Verhaltensdiagramme:

• das Aktivitätsdiagramm,
• das Anwendungsfalldiagramm (auch: Use-Case o. Nutzfalldiagramm genannt),
• das Interaktionsübersichtsdiagramm,
• das Kommunikationsdiagramm,
• das Sequenzdiagramm,
• das Zeitverlaufsdiagramm und
• das Zustandsdiagramm.

Die Grenzen zwischen den dreizehn Diagrammtypen verlaufen weniger scharf, als diese Klassifizierung vermuten lässt. Die UML2 verbietet nicht, dass ein Diagramm graphische Elemente enthält, die eigentlich zu unterschiedlichen Diagrammtypen gehören. Es ist sogar denkbar, dass Elemente aus einem Strukturdiagramm und aus einem Verhaltensdiagramm auf dem gleichen Diagramm dargestellt werden, wenn damit eine besonders treffende Aussage zu einem Modell erreicht wird.

Die UML2 geht aber in anderer Hinsicht weit formaler mit Diagrammen um als die UML 1.4. Neu definiert die UML2 unter dem Namen UML 2.0 Diagram Interchange ein Austauschformat für Diagramme, so dass unterschiedliche Werkzeuge, mit denen Modelle basierend auf der UML2 erstellt werden, die Diagramme austauschen und wiederverwenden können. In der UML 1.x war das nur für die Repository-Modelle hinter den Diagrammen möglich, aber nicht für die eigentlichen Diagramme.

Erstellen von Diagrammen

Siehe dazu auch UML-Werkzeug

Diagramme der UML2 können auf verschiedene Arten erstellt werden. Wenn die Notation der UML2 als gemeinsame Sprache eingesetzt wird, um in einem Analyseteam Entwürfe von Analysemodellen an der Weißwandtafel (Whiteboard) festzuhalten, reichen Stifte und Papier als Werkzeug. Häufig werden Diagramme der UML2 jedoch mit Hilfe von speziellen Programmen (UML-Werkzeugen) erstellt, die man in zwei Klassen einteilen kann.

Die erste Gruppe von Programmen helfen beim Zeichnen von Diagrammen der UML2, ohne dass sie die Modellelemente, welche den graphischen Elementen auf den Diagrammen entsprechen, in einem Repository ablegen. Zu dieser Gruppe gehören alle Programme zum Erstellen von Zeichnungen.

Die zweite Gruppe besteht aus Programmen, die die Erstellung von Modellen und das Zeichnen von Diagrammen der UML2 unterstützen.

Austausch von Modellen und Diagrammen

Damit Modelle von einem Werkzeug an andere übergeben werden können, definiert die Object Management Group ein standardisiertes Austauschformat, das auch für UML-Modelle eingesetzt wird. Das Format basiert auf der Auszeichnungssprache XML und heißt XML Metadata Interchange (XMI). Die Grundlage für die Austauschbarkeit ist das MOF, auf dessen Konzept beide Sprachen, XMI und UML, beruhen.

Für die UML-Versionen 1.x sah das Format keine Möglichkeit vor, Diagramme in einem standardisierten Format auszutauschen, was von vielen Anwendern der UML als wesentliche Lücke wahrgenommen wurde. Parallel zur Entwicklung der UML2 hat die OMG deshalb auch das standardisierte Austauschformat XMI überarbeitet. Unter anderem wurde die beschriebene Lücke geschlossen, indem die Spezifikation unter dem Namen UML 2.0 Diagram Interchange um ein Format für den Austausch von Diagrammen erweitert wurde.

Ein Austausch mit anderen Modellierungssprachen ist auch mittels Modell-zu-Modell-Transformation möglich. Hierzu hat die OMG den Standard MOF QVT definiert. Im Gegensatz zu einem reinen Austauschformat kann eine Transformation auch eine eigene Semantik enthalten. So kann zum Beispiel festgelegt werden, wie ein Klassenmodell auf ein ER-Modell abzubilden ist. Die damit einhergehende Flexibilität ist insbesondere auch beim Austausch zwischen Werkzeugen nützlich, da verschiedene Anbieter praktisch immer auch individuelle Varianten des UML-Metamodells haben.

Siehe auch

• Rational Unified Process
• Round Trip Engineering
• Verwandte OMG-Initiativen und Sprachempfehlungen:
  • Model Driven Architecture (MDA)
  • MOF 2 Query/Views/Transformations (QVT)
  • Systems Modeling Language (SysML)
  • Common Warehouse Metamodel (CWM)
  • Object Constraint Language (OCL)
  • Modeling and Analysis of Real-time and Embedded systems (MARTE)
• Weitere Modellierungsmethoden und Sprachfamilien:
  • IDEF
  • EXPRESS (siehe STEP)
  • Fundamental Modeling Concepts (FMC)

Literatur

• Heide Balzert: UML 2 in 5 Tagen, W3L, 2005, ISBN 3-937137-61-0
• H. Baumann, P. Grässle, Ph. Baumann, UML 2 projektorientiert, Galileo Computing, 2007, ISBN 978-3-8362-1014-0
• Grady Booch, James Rumbaugh, Ivar Jacobson: Das UML-Benutzerhandbuch. Addison-Wesley, 1999, ISBN 3-8273-1486-0
• M. Born, E. Holz, O. Kath: Softwareentwicklung mit UML 2, Addison-Wesley, 2004, ISBN 3-8273-2086-0
• B. Brügge, A. H. Dutoit: Objekt-orientierte Softwaretechnik mit UML, Entwurfsmustern und Java, Pearson Studium, 2004, ISBN 3-8273-7082-5
• M. Fowler; Kendall, Scott: UML konzentriert, Addison-Wesley Verlag, 2000, ISBN 3-8273-1617-0
• M. Fowler: UML Distilled, 3. Auflage, Addison-Wesley, 2003, ISBN 0-321-19368-7
• M. Hitz, G. Kappel, E. Kapsammer, W. Retschitzegger: UML@Work, Dpunkt Verlag, 2005, ISBN 3-89864-261-5
• B. Kahlbrandt: Software Engineering mit der Unified Modeling Language, Springer, 2001, ISBN 3-540-41600-5
• Christoph Kecher: UML 2.0 – Das umfassende Handbuch, Galileo Computing, 2006, ISBN 3-89842-738-2
• Urs B. Meyer, Simone E. Creux, Andrea K. Weber Marin: Grafische Methoden der Prozessanalyse, Hanser Verlag, ISBN 3-446-40041-9
• B. Oestereich: Objektorientierte Softwareentwicklung mit der UML 2.1, Oldenbourg Verlag, 2006, ISBN 3-486-57926-6
• Dan Pilone: UML – kurz & gut, O’Reilly, ISBN 3-89721-263-3
• B. Rumpe, Modellierung mit UML, Springer Verlag, 2004, ISBN 3-540-20904-2
• B. Rumpe, Agile Modellierung mit UML, Springer Verlag, 2004, ISBN 3-540-20905-0
• Chris Rupp, Stefan Queins, Barbara Zengler: UML 2 glasklar. Praxiswissen für die UML-Modellierung, Hanser Verlag, 2007, ISBN 978-3-446-41118-0
• Sinan Si Alhir: Learning UML, O’Reilly, ISBN 0-596-00344-7
• H. Störrle: UML 2 für Studenten, Pearson Studium Deutschland, 2005, ISBN 3-8273-7143-0
• H. Störrle: UML 2 erfolgreich einsetzen, Addison-Wesley, 2005, ISBN 3-8273-2268-5
• T. Weilkiens, B. Oestereich: UML2-Zertifizierung, Dpunkt Verlag, 2004, ISBN 3-89864-294-1
• T. Weilkiens, B. Oestereich: UML2-Zertifizierung: Intermediate Stufe, Dpunkt Verlag, 2005, ISBN 3-89864-312-3
• T. Weilkiens, B. Oestereich: UML 2.0 Zertifizierungsvorbereitung. Fundamental, Intermediate und Advanced, Dpunkt Verlag, 2006, ISBN 3-89864-424-3
• W. Zuser, T. Grechenig, M. Köhle: Software Engineering mit UML und dem Unified Process, Pearson Studium, 2004, ISBN 3-8273-7090-6

Weblinks

Spezifikationen zur UML2

• UML 2.1.2 Infrastructure Specification (englisch) (PDF, 1,6 MB)
• UML 2.1.1 Infrastructure Specification (englisch) (PDF, 1,5 MB)
• UML 2.1.1 Superstructure Specification (englisch) (PDF, 5,11 MB)
• UML 2.0 OCL Specification (englisch) (PDF, 1,93 MB)
• UML 2.0 Diagram Interchange Specification (englisch) (PDF, 450 kB)

Weitere

• MOF 2.0 Core Final Adopted Specification (englisch) (PDF, 500 kB)
• Website der OMG zur UML (englisch)
• Der moderne Softwareentwicklungprozess mit UML Online-Buch zur UML (deutsch)
• UML Referenzkarte
• Notationsübersicht (PDF, 304 kB).