Featherweight_OCL

UML_Types

UML_Logic

UML_PropertyProfiles

UML_Boolean

UML_Void

UML_Integer

UML_Real

UML_String

UML_Pair

UML_Bag

UML_Set

UML_Sequence

UML_Library

UML_State

UML_Contracts

UML_Tools

UML_Main

Analysis_UML

Analysis_OCL

Design_UML

Design_OCL