Modalities in MSC (GUI)
Deal with the different semantics of messages in MSC.
A message can have one of the three following meanings:
- it may happen (possibility)
- the implementation must ensure that it happens (necessity)
- the environment/input/user/… ensures that it happens (assumption)
The same would apply to time specifications.
This issue deals only with the GUI, not any potential use of modalities (e.g., in analyses).
(from redmine: issue id 1855, created on 2013-12-06, closed on 2014-01-30)
- Relations:
- relates #1860 (closed)
- relates #1895 (closed)