isa-group/IDLReasoner

Separate model from data

AML14 opened this issue · 1 comments

AML14 commented

For all operations parameters that are not enum or boolean, their data (input values) should be modeled by third-party applications, e.g. RESTest. To do this, those variables must be modeled without data, and a .dzn file should be created containing all input values for those variables (in an enum way).

AML14 commented

Update: it is better to have all parameters split into model and data, even the pSets. That way, it can be customized what values are allowed for each parameter and whether they can be used or not.