I have a couple of questions about modeling in Papyrus-RT. Thanks for any idea.

Q1: I wonder if this is how to create multiple triggers for a transition T (in order for transition T to fire, all of its triggers must happen and in a desirable order):
In "Trigger" tab select multiple protocol messages from ports and the sequence of selected messages in "Trigger" tab is indeed the required order in order for the transition fire.

Q2: If a transition from state1 to state2 can fire by any messages of a protocol (either m1, m2 or mn), how to specify that (except for adding many transitions from state1 to state2). I mean, is it possible to have one transition with multiple triggers assigned to it (which one of the triggers should at least fire in order for the transition to take place) Let's assume the entry/exit action codes are similar (e.g. empty). Thanks.

When a transition have multiple triggers then in practice there is an OR between them, i.e. any single one of the triggers can cause the transition to be taken. So regarding your Q2 that is exactly how multiple triggers for a transition works. If you have a transition that you want shall be taken for any protocol message received on a port, then you can select the * in the trigger creation dialog. The * is a "catch all" which gets triggered disregarding which protocol message is received (on one or more ports). So instead of individually selecting all protocol messages (which in practice creates multiple triggers, one for each selected protocol message), you can select * only and you now only have one single trigger.

Considering this, the way to solve your Q1 is to explicitly model the desired order between multiple triggers using multiple states and transitions, to make it clear in your state machine which the expected order between the triggers actually are.

I just realized that we have had an unfortunate regression in the trigger creation dialog. The intention, and what I also implicitly referred to in my previous response, is that the create trigger dialog should allow multiple protocol messages to be selected, which in practice then creates multiple triggers at once when the dialog is dismissed, i.e. one for each selected protocol message. This should be a convenient way to create multiple triggers at once, without having to bring up the create trigger dialog multiple times. I have written bug 514904 to track this unfortunate regression.

So in the current 0.9 release you are able to only select one protocol message, and to be able to create multiple triggers for a transition, you need to bring up the create trigger dialog multiple times (using the green + button above the trigger table in the properties view for a transition).