I’m working in Alloy 6, trying to implement a workflow language based on tokens moving around and being consumed/created.
I’m trying to define a scope for my system, shown below.
I was just wondering if it is possible to set the scope for the “token” to unbounded, or something along these lines? Setting the tokens higher seems to make the enumeration much much slower.
Tokens are the only var objects in my system, so it would be ideal to have the scope variable too.
Here is the signature to my Token variable:
var sig Token {
var pos: one StartEvent + Activity + SequenceFlow
}