Protocol Projection

[objectiser]

Some questions:

ParticipantList - can remove projected participant, but without scanning the protocol, it would not be possible to know what other participants should remain in the list.

Choice (or any other located activity) - could be located at a participant not technically included in the projected protocol - but could simply be that if the named participant is not the located participant, then that is enough - or possibly if the located participant is not defined, then that should be assumed to mean a remote participant.

Choice when projected, representing a single path, with no preceding or following activities, should the choice be filtered out?