seq Operator

Die Reihenfolge der Ereignisspezifikationen ist nicht relevant. Nur innerhalb eines Operanden und auf den Lebenslinien müssen die Interaktionen sequentiell in angegebener Reihenfolge ablaufen.