Pattern-based analysis of UML activity diagrams · Study