Nowadays, software designers have adopted modelling languages that help to communicate the dynamic behavior of UML behavioral diagrams. As it is with other software artefacts, these diagrams tend to get more complex ...