Statistics for A formalization of an extended object model using views