Shared state model element

[Nils Olsson]

A shared state is a way to declare that two models share the same state, and can therefore travel between them. At the moment, only the active state is evaluated.

I propose that we create a shared state element, that can be seen as a collection of states, and when evaluated all states are evaluated, the in/out edges is the sum of all containing states edges and so on.

Benefits

• Algorithms, PathGenerators and StopCondition can span multiple models
• Transitions between models will be simpler, because they are seen as one model

Problems

• At the moment implementing classes extends ExecutionContext that gives the user the possibility to directly talk to the model, but each model is also it's own context, for this to work we probably need to run the combined model in one ScriptContext but at the same time delegate executions to different objects maybe through java.lang.reflect.Proxy