März 2003 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend 6-43 Begrenzungs-SprachcSpezifikation Mit 6 Gegenständen 6,8,2,4 Reihenfolge Eine Reihenfolge ist eine Ansammlung, in der die Elemente bestellt werden. Ein Element kann ein Teil von sein eine Reihenfolge mehr als einmal. Eigenschaften von Sequence(T), in dem der Fall der Reihenfolge Reihenfolge genannt wird. Reihenfolge->count(object: T): Ganzzahl Die Zahl Auftreten des Gegenstandes in der Reihenfolge . Reihenfolge = (sequence2: Sequence(T)): Boolesch Richten Sie wenn Reihenfolge aus enthält die gleichen Elemente wie sequence2 im gleichen Auftrag. Pfosten: Resultat = Sequence{1..sequence->size()}->forAll(index: Ganzzahl| Reihenfolge->at(index) = sequence2->at(index)) und Reihenfolge->size() = sequence2->size() Reihenfolge->union (sequence2: Sequence(T)): Sequence(T) Die Reihenfolge, die aus allen Elementen in der Reihenfolge besteht innen gefolgt von allen Elementen sequence2 . Pfosten: Resultat->size() = Reihenfolge->size() + sequence2->size() Pfosten: Sequence{1..sequence->size()}->forAll(index: Ganzzahl| Reihenfolge->at(index) = Resultat->at(index)) Pfosten: Sequence{1..sequence2->size()}->forAll(index: Ganzzahl| sequence2->at(index) = Resultat->at(index + Reihenfolge->size()))) Reihenfolge->append (Gegenstand: T): Sequence(T) Die Reihenfolge der Elemente, bestehend aus allen Elementen der Reihenfolge gefolgt vom Gegenstand. Pfosten: Resultat->size() = Reihenfolge->size() + 1 Pfosten: Resultat->at(result->size()) = Gegenstand Pfosten: Sequence{1..sequence->size() }->forAll(index: Ganzzahl| Resultats-->at(index) = Reihenfolgen->at(index)) Reihenfolge->prepend(object: T): Sequence(T) Die Reihenfolge, die aus Gegenstand besteht gefolgt von allen Elementen in der Reihenfolge. Pfosten: Resultat->size = Reihenfolge->size() + 1 Pfosten: Resultat->at(1) = Gegenstand Pfosten: Sequence{1..sequence->size()}->forAll(index: Ganzzahl| Reihenfolge->at(index) = Resultat->at(index + 1))