Generate property rules in Atlas

[stefjoosten]

Once the Atlas is editable, users will want to edit the multiplicity properties of their relations, such as INJ, TOT, ASY, etc. The atlas must then generate the multiplicity rules, so the exec engine in the prototype can enforce them.

[RieksJ]

When I was still an active member, multiplicity rules were invariants, not process rules. The exec-engine doesn't enforce them as it cannot know how the user wants that to be done (there are various options). Having said that, and not having seen an editable atlas, I can imagine that editing multiplicities would generate the associated invariant rules.