Revision 8a57f3b03992351f46c4537fd0d9351592278d2b (click the page title to view the current version)

Metamodel of UML Class Diagrams

abstract Boolean
abstract Integer
abstract String
abstract UnlimitedNatural
abstract Sequence
abstract Set
abstract Element
ownedElement -> Element *
[ all x : this.ownedElement | this in x.owner ]
owner -> Element ?
[ all x : this.owner | this in x.ownedElement ]
abstract NamedElement : Element
name : String ?
qualifiedName : String ?
visibility -> VisibilityKind ?
abstract ValueSpecification : NamedElement
abstract DirectedRelationship
relatedElement -> Element +
source -> Element +
target -> Element +
abstract Class : Classifier
isActive ?
superClass -> Class *
nestedClassifier : Classifier *
abstract Property : StructuralFeature
default : String ?
isComposite ?
isDerived ?
isDerivedUnion ?
aggregation -> AggregationKind ?
class -> Class ?
opposite -> Property ?
owningAssociation -> Association ?
[ all x : this.owningAssociation | this in x.ownedEnd ]
redefinedProperty -> Property *
subsettedProperty -> Property *
datatype -> DataType ?
[ all x : this.datatype | this in x.ownedAttribute ]
association -> Association ?
[ all x : this.association | this in x.memberEnd ]
defaultValue : ValueSpecification ?
qualifier : Property *
[ parent in associationEnd ]
associationEnd -> Property ?
[ all x : this.associationEnd | this in x.qualifier ]
abstract Enumeration : DataType
ownedLiteral : EnumerationLiteral *
[ parent in enumeration ]
abstract DataType : Classifier
ownedAttribute : Property *
[ parent in datatype ]
abstract EnumerationLiteral : InstanceSpecification
enumeration -> Enumeration ?
[ all x : this.enumeration | this in x.ownedLiteral ]
abstract PrimitiveType : DataType
abstract Classifier : NamedElement
isAbstract ?
feature -> Feature *
[ all x : this.feature | this in x.featuringClassifier ]
inheritedMember -> NamedElement *
general -> Classifier *
generalization : Generalization *
[ parent in specific ]
attribute -> Property *
redefinedClassifier -> Classifier *
powertypeExtent -> GeneralizationSet *
[ all x : this.powertypeExtent | this in x.powertype ]
abstract Feature : NamedElement
isStatic ?
featuringClassifier -> Classifier *
[ all x : this.featuringClassifier | this in x.feature ]
enum VisibilityKind = package | private | protected | public
abstract LiteralBoolean : LiteralSpecification
value ?
abstract LiteralSpecification : ValueSpecification
abstract LiteralString : LiteralSpecification
value : String ?
abstract LiteralNull : LiteralSpecification
abstract LiteralInteger : LiteralSpecification
value -> Integer ?
abstract LiteralUnlimitedNatural : LiteralSpecification
value : UnlimitedNatural ?
abstract StructuralFeature : Feature
isReadOnly ?
isOrdered ?
isUnique ?
lower -> Integer ?
upper : UnlimitedNatural ?
upperValue : ValueSpecification ?
lowerValue : ValueSpecification ?
abstract InstanceSpecification : NamedElement
slot : Slot *
[ parent in owningInstance ]
classifier -> Classifier *
specification : ValueSpecification ?
abstract Slot : Element
owningInstance -> InstanceSpecification
[ all x : this.owningInstance | this in x.slot ]
value : ValueSpecification *
definingFeature -> StructuralFeature
abstract InstanceValue : ValueSpecification
instance -> InstanceSpecification
abstract Generalization : DirectedRelationship
isSubstitutable ?
specific -> Classifier
[ all x : this.specific | this in x.generalization ]
general -> Classifier
generalizationSet -> GeneralizationSet *
[ all x : this.generalizationSet | this in x.generalization ]
abstract Association : Classifier
relatedElement -> Element +
isDerived ?
ownedEnd : Property *
[ parent in owningAssociation ]
endType -> NamedElement +
memberEnd -> Property 2..*
[ all x : this.memberEnd | this in x.association ]
// extra constraints
[ # memberEnd > 2 => memberEnd in ownedEnd ]
abstract ExtensionEnd : Property
enum AggregationKind = composite | none | shared
abstract GeneralizationSet : NamedElement
isCovering ?
isDisjoint ?
powertype -> Classifier ?
[ all x : this.powertype | this in x.powertypeExtent ]
generalization -> Generalization *
[ all x : this.generalization | this in x.generalizationSet ]