Where used: Classification Model, Composition Model, Mapping Model, Object Type And Relation Model, Operation Model, Partition Model, State Change And Event Model, State Machine Model, State Model

Object Type

Read First: Object 
Read Next: specializes/generalizes, Relation, Metaobject Type

An object type is a way of talking about some objects without having to
talk about each one individually.  Aspects of the objects that are
common to them all is recorded in one place, in the object type.  In
OOIE, all things are objects, including numbers, string, etc, so all
things can be typed.  The objects of any particular type are usually
called the instances of that type, but OOIE calls them the objects of
that type to distinguish them from implementation instances that may be
C++, or other OO languages.

The information recorded in the object type must be true of all its
objects.  However, object types may have no instances, for example, the
type Unicorn.  This is because object types are just concepts that may
or may not exist in reality.  Conversely, reality may have no pattern at
all to it, so the information recorded in the object type is just the
list of its objects. For example, since there is no way to predict which
nouns are masculine in French, the MasculineFrenchNoun object type just
records the list of those nouns.

Read Next: specializes/generalizes, Relation


Attributes: None

Operations: None