Introduction to OCL Programming