imported>TaxonKatBot: Bot: Kategorie:UML umbenannt in Kategorie:Unified Modeling Language: laut Diskussion

2022-11-18T06:07:21Z

Bot: Kategorie:UML umbenannt in Kategorie:Unified Modeling Language: laut Diskussion

Neue Seite

Eine '''softwaretechnische Zusicherung''' ist ein Ausdruck, mit dem in [[Objektorientierte Analyse und Design|OOAD]]-Diagrammen (Object Oriented Analysis and Design) Einschränkungen definiert werden, welche die möglichen Zustände oder das Verhalten von [[Objekt (Programmierung)|Objekten]] betreffen. Auch die Semantik einer [[Assoziation (UML)|Assoziation]] kann mit einer Zusicherung eingeschränkt werden.

Eine Zusicherung ist eine Möglichkeit, in einem Design-Diagramm [[Regel (Richtlinie)|Regeln]] festzulegen, die sonst mit den herkömmlichen Mitteln der OOAD, wie beispielsweise Multiplizitäten, nicht darstellbar sind. Zusicherungen dienen grundsätzlich als Vereinbarungen mit dem [[Programmierer]].

== Darstellung mit der UML ==

Zusicherungen werden mit der [[UML]] innerhalb geschweifter Klammern formuliert. Zur Notierung einer Zusicherung kann auch ein Ausdruck der [[Object Constraint Language]] (OCL) verwendet werden. Soll eine [[Abhängigkeitsbeziehung]] zwischen Modellelementen zugesichert werden, so wird zur Darstellung eine gestrichelte Linie mit einem Pfeil verwendet. Der Pfeil zeigt vom abhängigen zum unabhängigen Element. Falls eine Zusicherung nicht eindeutig einem Modellelement zugeordnet werden kann oder eine Beziehung von mehr als zwei beteiligten Modellelementen betrifft, kann sie innerhalb einer Notiz formuliert werden.

== Anwendungsbeispiele ==

=== Untermengenzusicherung ===

Eine Untermengenzusicherung betrifft die Abhängigkeitsbeziehung zwischen zwei Assoziationen. Sie wird angewendet, wenn von einer Klasse zwei Assoziationen ausgehen und zugesichert werden soll, dass die Menge der assoziierten Objekte innerhalb der einen Beziehung eine Teilmenge zu der Menge der assoziierten Objekte innerhalb der anderen Beziehung sein soll.

=== Konsistenzzusicherung ===

In einem UML-Diagrammen ist es möglich, [[Redundanz (Informationstheorie)|redundante]] Assoziationen zu modellieren. Dies bedeutet, dass es zwischen zwei Objekten mehrere Möglichkeiten der Navigation gibt. In diesem Fall muss über alle Navigationswege das richtige assoziierte Objekt gefunden werden. Andernfalls wäre eine Inkonsistenz vorhanden. Mit Hilfe einer Zusicherung kann solch eine Inkonsistenz verhindert werden.

=== Ordnungszusicherung ===

Im Falle einer Assoziation, bei der auf der einen Seite eine Max-Multiplizität von größer eins vorhanden ist, kann mit Hilfe einer Zusicherung festgelegt werden, dass zu einem Objekt assoziierte Objekte in einer bestimmten Art und Weise geordnet sein müssen. Beispielsweise kann mit Hilfe einer Zusicherung festgelegt werden, dass bei einer Beziehung zwischen einer [[Klasse (UML)|Klasse]] „Unternehmen“ und einer Klasse „Mitarbeiter“ die Referenzen innerhalb des mengenwertigen Referenzattributes eines Unternehmen-Objektes in der Reihenfolge abgelegt werden, dass sich daraus die Reihenfolge, Mitarbeiter sortiert nach dem Nachnamen, ergibt.

=== Zusicherungen für Attribute und Operationen ===

Mit Hilfe von Zusicherungen kann die Struktur ([[Attribut (UML)|Attribute]]) und das Verhalten ([[Operation (UML)|Operation]]en) von Objekten eingeschränkt werden. Ein Zusicherung ist auch nötig, um die Berechnungsvorschrift für abgeleitete Attribute festzulegen. Wie in [[Programmiersprache]]n und in [[Datenbank]]en kann auch in der OOAD eine Zusicherung dazu verwendet werden, um den [[Datentyp|Wertebereich]] von Attributen einzuschränken.

{{Siehe auch|Constraint|Assertion (Informatik)}}

== Siehe auch ==
* [[Assertion (Informatik)]]

== Literatur ==

* [[Bernd Oestereich]]: ''Objektorientierte Softwareentwicklung – Analyse und Design mit der Unified Modeling Language'' 4. Auflage Oldenbourg München, Wien 1998 S. 245–249

[[Kategorie:Softwaretechnik]]
[[Kategorie:Unified Modeling Language]]

Zusicherung (Softwaretechnik) - Versionsgeschichte

imported>TaxonKatBot: Bot: Kategorie:UML umbenannt in Kategorie:Unified Modeling Language: laut Diskussion