Abstract: A computer system implements a datastore for a plurality of generic terminal objects. Terminal objects are related to zero or more association objects that represent a relation between a plurality of terminal objects. An association object is typed according to the relationship being represented between the terminal objects. An association object has a state value corresponding to a state of the relation between the plurality of terminal objects. An association object also has a role object for each of the plurality of terminal objects being related to the association object. An association object may also represent the dynamic state of a single terminal object. A role object represents a relation between the association object and a terminal object. The role object is typed according to the relationship being represented between the associated object and the terminal object, and the role type is unique amongst the role objects within the association object.