k3
k3 copied to clipboard
Provide an annotation for cardinality
The goal of this annotation is to tag a model element with a cardinality. Can be used as constraints on a model to check at a given instant.