States 1.1

A State represents a life-cycle stage of a function fulfiller. It bundles all information that is relevant for that particular life-cycle stage. A State object cannot exist independently but is always uniquely associated with its owner function fulfiller.

A State has a narrow relationship with Baseline. In fact States represent the various baseline aspects of one and the same Function Fulfiller. For this reason it is recommended practice to give the State object the same name as its associated Baseline object.
A Function Fulfiller refers to its most recent State through the currentState relation. A State refers to its direct predecessor through the previousState relation. All States refer to their owner Function Fulfiller through the stateOf relation.