verigraph icon indicating copy to clipboard operation
verigraph copied to clipboard

Grammar with Multiplicities

Open jsbezerra opened this issue 7 years ago • 1 comments

Investigate the implementation of multiplicities in the type graph and the corresponding restrictions over the grammar and the analyses provided by verigraph.

jsbezerra avatar Mar 17 '17 19:03 jsbezerra

One possible line to follow is the use graph constraints to formally model and implement multiplicity.

jsbezerra avatar Mar 17 '17 19:03 jsbezerra