Traceability from a logical model to implementation model

Im working a project where i need to create traceability from our logical model to an implementation model. On the logical side, I have traditional activity diagrams and callBehavior actions, and on the implementation, I have sequence diagrams.

Trying to figure out the best way to show the relationship. Im thinking there are 3 options:

1. Allocating from callBehaviorActions output pins to the SendMessage.

2. Allocating object flows to Send Messages

3. Allocating CallBehaviorActiond to lifelines.

Im thinking options 1 would work since the pins are typed by signal elements and that would show where in the sequence diagram that message will be sent.

Thoughts?