(currently not implemented)
To have a convenient notation to express UML diagrams textually,
we extend the class dictionary notation as follows:

An edge label may have an optional cardinality constraint part:
The following are examples of legal edge labels:

<l>
<l:1>    	// same as <l>
<l:0..*>
<l:1..3>
<l:1..*>

The presence of those cardinality constraints allows us to express
collections at a higher level of abstraction.

For example:

Constraints = <l:0..*> Constraint.

may have any number of implementations:

Implementation 1:
Constraints = <l> List(Constraint).
List(S) ~ {S}.

Implementation 2:
Constraints = [<l> NList(Constraint)].
NList(S) ~ S {S}.

Implementation 3:
Constraints = <l> MyList(S).
MyList(S) : Empty(S) | NonEmpty(S).
Empty(S) = .
NonEmpty(S) = <first> S <rest> MyList(S).

etc.

To translate class dictionaries into UML notation, we use the following
approach:

(see also:
http://www.ccs.neu.edu/research/demeter/course/f96/APbookWithDemJava.html
)

R ~ {S}.	R = <repetition:0..*> S.
R ~ S {S}.	R = <repetition:1..*> S.

List(S) ~ {S}.  	List(S) = <repetition:0..*> S.
NList(S) ~ S {S}.  	List(S) = <repetition:1..*> S.

Note: This is currently a design notation. No tool support yet.