The paper presents the formalization of statical structure (of object model) comprising abstract and concrete (individual) objects. While the space of identifiers is organized into poset and the only building blocks used for the representation of object model are identifiers, single-valued and multi-valued functions, the space of values (including signatures) forms a poset of complex structures reflecting the poset of identifiers.
Static semantics of object model is presented using denotational semantics. \emph{Valuation} of object can be seen as detailing the information about corresponing (object) identifier. \emph{Interpretation} of object includes all its instances including the instances of all more specific abstract objects (classes). The consistency between identifier and value posets is shown by presenting the correspondence between sintactical ordering and denotational subsumption.
The first part of the paper presents the formalization of the classical object model where we have a strict distinction between the schema and instance levels of the representation. In the second part of the paper the consequences of releasing the boundary between the schema and the instance levels of an object model is observed by allowing the definition of objects which include data from both levels. We show that few changes are needed in order to augment the previously presented formal definition of the structural part of object language to represent the extended object model.