Objects are considered as the basic system blocks in object oriented software construction．This paper contributes to establish a formal semantic model for objects．An object is defined as an entity endowed with attributes and behavior satisfying some static and temporal constraints．Based upon object morphism，the notion of object aggregation，specialization．inheritance and object class etc．are interpreted in the model further．