SPMSSR — Request for non-duplication of PINBoxes in cases of multiplicities

On behalf of Gilles Malfreyt, Thales Group:

p.25: section 12.5 Multiplicities: it seems that what is proposed leads to duplicate pattern instances each time a role is multiple.
Maybe it would be interesting to also have the case where roles are multiple without duplicating pattern instances.

Clarify that MultiBranched Annotations can be used for multiple roles as well as multiple pattern instances

Submitter of issue requested change to add multiplicity annotation for roles, but the capability was already extant in the specification and figures. Explanatory text needed to be added to make this explicitly clear on reading.

Section 12.6.2, pg 30, paragraph 1 needs to be expanded. It currently reads as:

The MultiBranch annotation can also be used within an Expanded PINbox, as shown in Figure 23. Now, we are showing both instances of the Decorator pattern, unlike in Figure 17 where we showed only one.