adbg

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.

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?