SYSML16 — ParticipantProperty stereotype is redundant

ParticipantProperty is a property which duplicates and references an AssociationEnd. Reasoning of this duplication is not explained in the spec and creates issues for implementation and model users.

Association ends can be represented in IBD diagram of AssociationBlock directly.

ParticipantProperty stereotype is redundant

The difference is that association end properties are for navigating from instances of one end class to
instances of another, while participant properties are for navigating from instances of association classes to instances
of the end classes. This covered in 8.3.2.12 ParticipantProperty.

Association end properties can be represented in association block IBD only when they are owned by the
association, which is only the case for non-navigable association end properties in SysML (non-navigable
= properties that are not guaranteed to be efficiently navigable, see the paragraph above the last Note in UML
11.5.3.1 Associations, but might be in some tools). Non-navigable association end properties can still be navigated
from instances of one end class to instances of another, it's just not guaranteed to be efficient. In any case,
they do not provide the same navigation as participant properties, see above.