Generation of participant behavior descriptions
Interaction models describe the control and data flow between interactions happening between different participants. Participant behavior descriptions on the other hand describe the required interaction behavior of an individual participant.
Generation algorithms for deriving participant behavior descriptions are available
here and
here.
a) Generate the participant behavior description for the Seller.
b) Generate the participant behavior description for A.
More information on interaction modeling can be found in the book in chapter 5.