34 Angenommene Spezifikation UML Ocl 2,0 BagType BagType ist eine Ansammlungsart, die ein Multiset der Elemente beschreibt, in denen jedes Element auftreten kann mehrfache Zeiten in Beutel. Die Elemente sind unordered. Teil von einem BagType ist die Erklärung der Art seiner Elemente. CollectionType CollectionType beschreibt eine Liste der Elemente einer bestimmten gegebenen Art. CollectionType ist eine abstrakte Kategorie. Sein Beton Unterklassen sind SetType SequenceType und BagType Arten. Der Teil jeder Ansammlungsart ist die Erklärung der Art von seine Elemente, d.h. eine Ansammlungsart wird parameterisiert mit einer Elementart. Im metamodel wird dieses als gezeigt Verbindung von CollectionType zum Klassifikator . Merken Sie, daß es keine Beschränkung auf der Elementart einer Ansammlungsart gibt. Dies heißt insbesondere, daß eine Ansammlungsart mit anderen Ansammlungsarten parameterisiert werden kann, Ansammlungen sein lassend willkürlich tief genistet. Verbindungen ? elementType Die Art der Elemente in einer Ansammlung. Alle Elemente in einer Ansammlung müssen an sich anpassen diese Art. Tabelle 5 - Abstract syntax Kernmetamodel für OCL-Arten OrderedSetType SetType SequenceType BagType DataType (f-ROM-Kern) TupleType Ursprünglich (vom Kern) CollectionType Klassifikator (Erz des Franc-om C) +elementType 1 +collectionTypes 0,,4 StructuralFeature (vom Kern) +type 1 0..n VoidType LModelElementType Oc Signal (von allgemeinem Behavi... Betrieb (vom Kern) OclMessageType +referredSignal 0,,1 +referredOperation 0,,1