The Graph

At the core of execution is the graph, made up of vertices and their links. A vertex is described by a class, detailing its attributes. The vertex also has a store of links, themselves described by an appropriate class. Each Vertex has a unique numerical id, and a list of its links. Each Link has a target vertex, referenced by its id.

Isolation

One of the key constraints imposed that ensure distributability, is the isolation of each vertex from every other vertex. This means no direct access to the attributes of another vertex, whether read or write.

Given that vertices cannot interact directly, they must act indirectly, through Messages.