MSC: "next message" semantics
Consider the following MSC:
[=] [=]
| |
| m1 |
|—->|
| |
| m2 |
|<—-|
| |
Right now, it means that if m1 is sent, then m2 can be sent “sometime in the future”.
However this is not much information. Plus, in practice I have the feeling that what one more often means is that “the next message going through the channel should be m2”.
Therefore I suggest to make the latter the default semantics, and to provide a modality-sort-of to still give the possibility to interpret a message as being “sometimes in the future”.
(from redmine: issue id 1907, created on 2014-01-24, closed on 2017-11-29)