In an object oriented program, Ownership helps to control aliasing and assists in structuring object relationships in a program. By using this ownership representation, an owner object can access the reference objects for verification purpose. Ownership types help the programmer track information about object aliasing. This paper aims to introduce ownership types information to UML/OCL for design specification. This helps the implementations easier to develop and less prone to error.