BOB (Placeholder for ex:Thing)

BOBs have:
* an identity
* a set of invariant (== immutable) properties
* a set of mutable properties
There are no assumptions that the sets of properties are complete, or that the properties
are independent/orthogonal of each other.

A BOB is an information artifact about a state of an entity in the world.
A BOB is an invariant assertion, made at a particular point.
A BOB could be made by guessing, lying, observing, ...
A BOB is an assertion about an entity that is variant in the world.
A BOB consists of invariant characteristics.
A BOB has an identity that identifies the state of the entity.

---

Process Execution

A process execution is an activity that uses (zero or more) entity states,
described by BOBs, performs a piece of work, and generates (zero or more)
new entity states, described by BOBS.

A process execution is an activity that performs a piece of work.

Generation

Generation is the action/transition/event by which a process
execution creates a new entity state.

Generation is the creation of a new entity state by a process
execution.

Use

Use is the consumption of an entity state by a process execution.

Derivation

Derivation expresses that some entity is transformed from, created from, or affected by an other entity.
An entity state B is derived from an entity state A if the values of some properties of B are at least
partially determined by the values of some properties of A.

Agent

An agent is an entity capable of activity. It can be asserted to be an agent or can be inferred
to be an agent by involvement in a process execution.
An agent is described by an agent state

An agent is a BOB capable of activity. It can be asserted to be an agent or can be inferred
to be an agent by involvement in a process execution.

An agent is an entity capable of activity. It is represented as a BOB. It can be asserted to be
an agent or can be inferred
to be an agent by involvement in a process execution.

An agent is a SOMETHING (TBD) capable of activity. It can be asserted to be an agent or can be inferred
to be an agent by involvement in a process execution.

IVP of

Let A and B be two entity states. An assertion "B is an IVP of A" indicates that, for its asserter, A and B represent the same entity in the world, and the entity states modelled by A and B are consistent. "B is an IVP of A" is valid ony if, for its asserter, the following holds:

the properties they share must have corresponding values

some mutable properties of A correspond to some immutable properties of B