Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams