ftsrg / gamma

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
http://gamma.inf.mit.bme.hu
30 stars 25 forks source link

Visualization issues for raised events in execution traces #162

Closed grbeni closed 6 months ago

grbeni commented 11 months ago

We should indicate that raised events in execution traces do not have a particular ordering in synchronous systems, i.e., if A.a, B.b and C.c are all raised, they can appear in any order in the trace with the same meaning.

marci543 commented 11 months ago

A possible PlantUML syntax might be:

grbeni commented 6 months ago

See d315633 for the implemented solution.