Page History

...

From a model, GraphWalker will generate a path through it. A model has a start element, and a generator which rules how the path is generated, and an associated stop condition which tells GraphWalker when to stop generating the path.

...

Multiple models can interact with one another (i.e. jump from one to other another and vice-versa), using shared states (i.e. vertices that have a "shared name").

...

When we "execute the model", it will walk the path (i.e. go over from vertex to vertex through a given edge) and performing checks in the vertices. If those checks are successful until the stop condition(s) is achiviedachieved, we can say that it was successful; otherwise, the model is not a good representation of the system as it is and we can say that it "failed".

...