I would like to know if the following class diagram is logically correct or not, i.e. a parent class, VirtualisationContainer, is associated with class KubernetesPod, DockerContainer is a type of VirtualisationContainer, and KubernetesPod is composed of DockerContainer. Is this correct from the object oriented point of view? Specifically, can a derived type of a class can be used to compose an associated class?