Where used: State Model

inState / ofObject

Object inState State

State ofObject Object

Read First: State

Gives the states of an object, either partial or complete.  The
cardinality on the State end has a maximum Many, because an object can
have many partial states.

Since a tuples can span many objects, we make a state be the state of
many objects.  The current model, with cardinality of exactly one on the
object side, was chosen for simplicity.  It is assumed that a state of
many objects can be modelled as the state of one "aggregate" object.