class Association extends Classifier,Relationship
{
        operation endTypes() : Type[+] { ordered }
        {
	        body: self.memberEnd->collect(e : Property | e.type);
        }
        operation getOwnerClassOfProperty(p : Property) : Class[?];
	operation getOwnerClassifierOfProperty(p : Property) : Classifier[?];
	property memberEnd#association : Property[2..*] { ordered composes };
	property endType : Type[+] { ordered derived transient }
	{
		derivation: endTypes();
	}
}

class Has_part extends FoundationalRelation,Association
{
	operation getOwnerClassOfProperty(p : Property) : Class[?]
	{
		body:
		if self.oclAsType(Association).memberEnd->indexOf(p) = 1 then self.oclAsType(OboRelation).relationshipSource else null endif;
	}
	operation getOwnerClassifierOfProperty(p : Property) : Classifier[?]
	{
		body:
		if self.oclAsType(Association).memberEnd->indexOf(p) = 1 then self.oclAsType(OboRelation).relationshipSource else self.oclAsType(OboRelation).relationshipTarget endif;
	}
}
	

class Part_of extends FoundationalRelation,Association
{
	operation getOwnerClassOfProperty(p : Property) : Class[?]
	{
		body:
		if self.oclAsType(Association).memberEnd->indexOf(p) = 1 then self.oclAsType(OboRelation).relationshipSource else null endif;
	}
        operation getOwnerClassifierOfProperty(p : Property) : Classifier[?]
	{
		body:
		if self.oclAsType(Association).memberEnd->indexOf(p) = 1 then self.oclAsType(OboRelation).relationshipSource else self.oclAsType(OboRelation).relationshipTarget endif;
	}
}


class Property extends StructuralFeature
{
	operation getOwnerClass() : Class[?]
	{
		body: self.oclAsType(Property).association.getOwnerClassOfProperty(self);
	}
	operation getOwnerClassifier() : Classifier[?]
	{
		body: self.oclAsType(Property).association.getOwnerClassifierOfProperty(self);
	}
	operation types() : Type[?]
	{
		body: self.oclAsType(Property).getOwnerClassifier();
	}
	property association#memberEnd : Association[?];
	property class#ownedAttribute : Class[?] { derived transient }
	{
		derivation: self.oclAsType(Property).getOwnerClass();
	}
	property classifier#attribute : Classifier[?] { derived transient volatile}
	{
		derivation: self.oclAsType(Property).getOwnerClassifier();
	}
}

class Class extends Classifier
{
	operation getOwnedAttributes() : Property[*] { ordered }
	{
		body: Property.allInstances()->select(p : Property | p.class = self);
	}
	property ownedAttribute#class : Property[*] { ordered derived transient }
		{
			derivation: getOwnedAttributes();
		}
	}
}

class Classifier extends RedefinableElement,Type
{
        operation getAttributes() : Property[*] { ordered }
	{
		body:
			Property.allInstances()->select(p : Property | p.getOwnerClassifier() = self;
	}
	property attribute#classifier : Property[*] { ordered derived transient volatile }
	{
		derivation: self.oclAsType(Classifier).getAttributes();
	}
}