Specifying and Verifying UML Activity Diagrams via Graph Transformation