ich muss den Text einer Sequenzdiagrammnachricht äquivalent ersetzen. Die UML Version ist bei mir die etwas veraltete Version 1.5. Ich ersetze die Nachricht durch eine Variable und füge die Nachricht in der vorherigen Bedingung als Gleichung hinzu. Wenn ich also zum Beispiel die Nachricht "kaufen()" habe, dann schreibe ich an den Nachrichtenpfeil "Var" und füge in der Bedingung der Nachricht "Var = kaufen()" hinzu. Weiss jemand, ob das richtig ist?

Also mir ist nicht klar, was Du möchtest. Warum ein "var" hinzufügen? Vielleicht solltest Du Dein Diagramm (ggf. als Ausschnitt) anfügen, damit man eine bessere Idee vom Zusammenhang bekommt.

Solange klar verständlich ist, was Du mit Deinem Diagramm ausdrücken möchtest, würde ich mir nicht zu viele Gedanken über richtiges oder falsches UML machen.

Eine ausführlichere Erklärung:

Ich muss Funktionen auf Nachrichtenpfeilen äquivalent ersetzen. Ich mache dies, indem ich die ersetzbare Funktion durch eine Variable ersetze und die ersetzbare Funktion mit der Variablen gleich setze. Dann ersetze ich die Funktion.

Ich habe zum Beispiel die Funktion "enschlüsseln(a,inv()"

[vorhanden] entschlüsseln(a,inv()

-------------------------------------------------------------------------->

1. Schritt

Diesen Sequenzdiagrammteil forme ich folgendermaßen um:

[vorhanden & (entschlüsseln(a,inv() = Var)] Var

--------------------------------------------------------------------------->

2. Schritt

Jetzt ersetze ich die Gleichung "entschlüsseln(a,inv() = Var" bedeutungsgleich.

[vorhanden & (verschlüsseln(Var, = a)] Var

-------------------------------------------------------------------------->

Mit diesen zwei Schritten habe ich die Funktion entschlüsseln(a,inv() "wegbekommen". Das muss ich machen. Ich bin mir sicher, dass der 2. Ersetzungsschritt richtig ist. Ich bin mir aber nicht sicher dass der 1. Ersetzungsschritt richtig ist. Kann mir jemand weiterhelfen?

Bei weiteren Unklarheiten bin gerne bereit zu antworten.