Angenommene Spezifikation UML Ocl 2,0 3 In Abschnitt 11 ("die OCL-Standardbibliothek") wird die OCL-Standardbibliothek beschrieben. Dieses definiert Art wie Ganzzahl, Boolesch, etc. und alle Ansammlungsarten. Ocl ist eine nicht alleinstehende Sprache, aber ein wesentlicher Bestandteil des UML. Ein Ocl Ausdruck muß innerhalb des Kontextes eines UML-Modells gesetzt werden. Abschnitt 12 ("der Gebrauch von Ocl-Ausdrücken in UML "modelliert), beschreibt eine Anzahl von Plätzen innerhalb des UML in denen OCL Ausdrücke können verwendet werden. Anhang A ("Semantik") beschreibt die zugrundeliegende Semantik von OCL mit einer mathematischen Förmlichkeit. Dieser Anhang, ist jedoch nicht normativ ment, aber für die Leser, die eine mathematische Beschreibung für die Semantik von OCL benötigen. Anhang B ("Austauschformat") ist z.Z. ein Platzhalter für ein Austauschformat, das entlang definiert werden kann die gleichen Linien wie XMI. 6,3 Bestätigungen Die folgenden Firmen reichten ein und/oder stützten Teile dieser Spezifikation: ? BoldSoft ?- Dresdenuniversität der Technologie ?- Könige College ? Klasse Objecten ? Rational Software Corporation ? Borland Software Corporation ?- Universität von Bremen ? IONA Anpassungsfähige Ltd. Des ? Internationale GeschäftscMaschinen Des ? ? Telelogic Technologien Inc. ?- Kabira. ?- Universität von Kent ?- ProjektcTechnologie Inc.. ?- Universität von York ? Compuware Corporation ?- Syntropy Ltd.. ?- Orakel ? Softeam