We have found that it is much easier to differentiate the arrow types (async vs sync also known as blocking vs non-blocking) in a sequence diagram by assigning a different color to these arrow types e ...

0004-arrows-colors.puml: Highlights how to use different colors for arrows in your sequence diagrams. 0005-notes.puml: Demonstrates how to add explanatory notes and comments to your sequence diagrams.

A new test cases generation approach is presented which based on UML sequence diagrams and Object Constraint Language (OCL). In this approach, a tree representation of sequence diagrams is constructed ...