UML2 Sementics

UML의 표기를 수학적 모델로 표기한 내용입니다.


Subclass relation
∈∀ ∉

Nil ∈ UOID

∀C ∈ UCLASS: Nil ∉ oids(C)
∀o  ∈ INSTANCE : o.this ≠ Nil
UOID={Nil} ⋃ Uc∈ UCLASS objects(C)
INSTANCE =  Uc∈ UCLASS objects(C)