verigraph
verigraph copied to clipboard
Grammar with Multiplicities
Investigate the implementation of multiplicities in the type graph and the corresponding restrictions over the grammar and the analyses provided by verigraph.
One possible line to follow is the use graph constraints to formally model and implement multiplicity.